Notice

Weekly Bulletin

AISB Weekly Bulletin Items for April 2011

Event Bulletin

Subscribe to event bulletin.

CALL FOR PARTICIPATION: "Constraint Solving and Constraint Logic Programming", 12-13 April 2011, YORK (UK)
more details: http://wiki.ercim.eu/wg/Constraints

CONFERENCE: "Contexts, Perspectives, and Relative Truth", 9-11 June 2011, GERMANY
more details: http://rvps2011.net/relativism/

LAST CALL FOR PAPERS: " Logic-Based Program Synthesis and Transformation", July 18-20 2011, DENMARK (DEADLINE: 03:04:2011)
more details: http://users.dsic.upv.es/~lopstr11/

CALL FOR PARTICIPATION: "Computational Creativity", 27-29 April 2011, MEXICO (DEADLINE: 09:09:2011)
more details: http://iccc11.cua.uam.mx

LAST CALL FOR PAPERS: "Automated Specification and Verification of Web Systems", June 9, 2011, ICELAND (DEADLINE: 04:04:2011)
more details: http://rap.dsi.unifi.it/wwv2011/

FINAL CALL FOR PAPERS: "Logic Symposium", July 4 - 8 2011, GREECE (DEADLINE: 02:04:2011)
more details: www.cs.uoi.gr/~pls8/

SYMPOSIUM: "Logic & Culture", 8 April 2011, THE NETHERLANDS
more details: http://www.cs.vu.nl/~femke/lc2011.html

2nd CALL FOR PAPERS: "Logics for Games and Social Choice", July 17-18, 2011. SPAIN (DEADLINE: 04:04:2011)
more details: http://centria.di.fct.unl.pt/events/climaXII/sessions.html

CALL FOR PAPERS: "Automated Reasoning about Context and Ontology Evolution", 17-18 Jul 2011, SPAIN (DEADLINE: 06:04:2011)
more details: http://www.arcoe.org/2011

CALL FOR PAPERS: "Interdisciplinary Musicology", Aug 30-Sep 3 2011, SCOTLAND (DEADLINE: 15:04:2011)
more details: http://www.n-ism.org/CIM2011

CALL FOR PAPERS: "Computational Models of Natural Argument", 7 August 2011, USA (DEADLINE: 22:04:2011)
more details: http://wwww.cmna.info/CMNA11/

FINAL CALL FOR PAPERS: "Mathematics of Language", 6-8 Sep 2011, JAPAN (DEADLINE: 02:04:2011)
more details: http://sites.google.com/site/mol12nara/

FINAL CALL FOR PAPERS: " Modern Set Theory: Foundations & Applications", 1-5 Aug 2011, SLOVENIA (DEADLINE: 15:04:2011)
more details: http://www.easychair.org/conferences/?conf=mstesslli2011

CALL FOR PAPERS: "Semantics and Philosophy in Europe 4", 26 Sep - 1 Oct 2011, GERMANY (DEADLINE: 15:06:2011)
more details: http://www.rub.de/phil-lang/spe4

CALL FOR PAPERS: "German Conference on Artificial Intelligence, 4-7 October 2011, GERMANY (DEADLINE: 01:05:2011)
more details: http://ki2011.de

1st CALL FOR PAPERS: "Computational Logic with Applications, 10-13 Oct 2011, PORTUGAL (DEADLINE: 10:05:2011)
more details: http://epia2011.appia.pt/

2nd CALL FOR PAPERS: "Language, Logic and Computation", 26--30 September 2011, GEORGIA (RUSSIA) (DEADLINE: 01:05:2011)
more details: http://www.illc.uva.nl/Tbilisi/Tbilisi2011/

CONFERENCE: "Logic and the Foundations of Game and Decision Theory", 18-20 June 2012, SPAIN
more details: http://personal.us.es/hvd/loft/

CONFERENCE: "Philosophy in an Age of Science": 31 May - 3 Jun 2011, USA
more details: http://www.fas.harvard.edu/~phildept/putnamconference.html

CALL FOR PAPERS: "Culturally Motivated Virtual Characters", 14 Sep 2011, ICELAND (DEADLINE: 01:07:2011)
more details: http://www.macs.hw.ac.uk/cmvc/

2nd CALL FOR CONTRIBUTIONS: "Innovative Techniques and Applications of Artificial Intelligence", 13-15 Dec 2011, Cambridge, UK (DEADLINE: 31:05:2011)
more details: http://www.bcs-sgai.org/ai2011/

MEETING: "Turing MAMLS", 13-15 Jan 2012, USA
more details: http://math.fau.edu/richman/FAU2012.html

CALL FOR ABSTRACTS: "SAT for Practical Applications", 23 Jun 2011, USA (DEADLINE: 22:04:2011)
more details: http://baldur.ira.uka.de/~olga/Site/SPA2011

LAST CALL FOR PAPERS:" Nonmonotonic Reasoning, Action and Change", 17-18 July 2011, SPAIN (DEADLINE: 08:04:2011)
more details: http://www.cs.rmit.edu.au/~ssardina/NRAC2011

CALL FOR PAPERS: Australasian Association of Logic, 14-15 Dec 2011, NEW ZEALAND (DEADLINE: 01:08:2011)
more details: http://www.victoria.ac.nz/hppi/about/events-philosophy.aspx#AAL2011

3rd CALL FOR PAPERS: "Topology, Algebra and Categories in Logic", July 26-30 2011, FRANCE (DEADLINE: 18:04:2011)
more details: http://www.lif.univ-mrs.fr/tacl2011/

CALL FOR TUTORIAL PROPOSALS AND PAPERS: "Recommender Systems", October 23-27, 2011, USA (DEADLINE: 09:05:2011)
more details: http://recsys.acm.org/2011/

CALL FOR PAPAERS: "Concept Lattices and Their Applications", 17-21 Oct 2011, FRANCE (DEADLINE: 20:06:2011)
more details: http://cla2011.loria.fr/

FINAL CALL FOR PAPERS: "Intelligent Techniques for Web Personalization & Recommender Systems", July 16, 2011, SPAIN (DEADLINE: 20:04:2011)
more details: http://ls13-www.cs.uni-dortmund.de/homepage/itwp2011/index.shtml

CALL FOR PAPERS: "Integrated Uncertainty in Knowledge Modelling and Decision Making", Oct 28-30, 2011, CHINA (DEADLINE: 10:05:2011)
more details: http://iukm.zju.edu.cn/

CALL FOR PAPERS: 2nd International Conference on Computational Logistics, September 19-22, 2011, GERMANY (DEADLINE: 01:05:2011)
more details: www.iccl2011.de

2nd CALL FOR PAPERS: "Solomonoff 85th Memorial Conference", 30 Nov. - 2 Dec. 2011, AUSTRALIA (DEADLINE: 20:05:2011)
more details: http://www.Solomonoff85thMemorial.monash.edu/

CALL FOR PROPOSALS: "Machine Learning and Principals and Practice of Knowledge Discovery in Databases", 2013, ATHENS (GREECE) (DEADLINE: 30:06:2011)
more details: http://www.ecmlpkdd.org/content/call-proposals-ecml-pkdd-2013

SYMPOSIUM: 11th Prague Topological Symposium, 7-13 Aug 2011, CZECH REPUBLIC
more details: http://www.toposym.cz

2nd CALL FOR PAPERS: "Decisions, Games and Logic 2011" 7-9 Jul 2011, THE NETHERLANDS (DEADLINE: 25:04:2011)
more details: http://www.meansandends.com/workshop11/

CALL FOR PAPERS, TUTORIALS, PANELS: "Computational Logics, Algebras, Programming, Tools, and Benchmarking, 25-30 Sep 2011, ITALY (DEADLINE: 01:05:2011)
more details: http://www.iaria.org/conferences2011/COMPUTATIONTOOLS11.html

CALL FOR PARTICIPATION & STUDENT PAPERS: "Two Faces of Complexity", 29 May 2011, SERBIA (DEADLINE: 30:04:2011)
more details: http://cl-informatik.uibk.ac.at/events/2fc11/

2nd CALL FOR PAPERS: "History and Philosophy of Computing", 7-10 Nov 2011, BELGIUM (DEADLINE: 15:05:2011)
more details: http://www.computing-conference.ugent.be

CALL FOR COURSE & WORKSHOP PROPOSALS: Summer School in Logic, Language and Information, 6-17 Aug 2012, POLAND (DEADLINE: 14:06:2011)
more details: http://www.esslli2012.pl

ANNOUNCING LONDON HOPPER COLLOQUIUM 2011, 24 May 2011, BCS, LONDON OFFICE, UK

CALL FOR PARTICIPATION: "Language and Automata Theory and Apllications", 26-31 May 2011, SPAIN
more details: http://grammars.grlmc.com/LATA2011/

CALL FOR PAPERS: "Social Robotics", November 24-25 2011, THE NETHERLANDS (DEADLINE: 01:06:2011)
more details: http://www.icsr2011.org, http://icsr2011.org/poster.pdf

CALL FOR PAPERS: "Temporal Representation and Reasoning", September 12-14, 2011, GERMANY (DEADLINE: 23:04:2011)
more details: http://www.isp.uni-luebeck.de/time11/

CALL FOR PAPERS: "General Artificial Intelligence", 10-13 Oct 2011, PORTUGAL (DEADLINE: 10:05:2011)

CALL FOR ABSTRACTS: 18th Amsterdam Colloquium, 19-21 Dec 2011, THE NETHERLANDS (DEADLINE: 01:09:2011)
more details: http://www.illc.uva.nl/AC/AC2011/

CALL FOR PAPERS: "Description Logics", 13-16 July 2011, SPAIN (DEADLINE: 01:05:2011)
more details: http://dl.kr.org/dl2011/

CALL FOR PAPERS: " Computational Models for Spatial Language Interpretation", 20-23 July 2011, USA (DEADLINE: 13:05:2011)
more details: http://www.cosli.org

CALL FOR ABSTARCTS: "Formal Epistemology Meets Experimental Philosophy", 29-30 September 2011, THE NETHERLANDS (DEADLINE: 01:05:2011)
more details: http://tinyurl.com/FEMEP2011

FINAL CALL FOR PAPERS: "Artificial Intelligence", 4-7 October 2011, GERMANY (DEADLINE: 01:05:2011)
more details: http://ki2011.de

CALL FOR PAPERS: "Social Robotics", November 24-25, 2011, THE NETHERLANDS (DEADLINE: 01:06:2011)
more details: http://www.icsr2011.org

CONFERENCE: BLAST 2011, 1-5 June 2011, USA (DEADLINE: 15:05:2011)
more details: http://www.math.ku.edu/conferences/blast2011

MEETING: "Recent Developments in Model Theory", 5-11 June 2011, FRANCE
more details: http://modeltheory2011.univ-lyon1.fr/

2nd CALL FOR PAPERS: "Logics, Agents and Mobility", 10 Sep 2011, GERMANY (DEADLINE: 13:06:2011)
more details: http://web.me.com/farwer/LAM11

CALL FOR DEMOS: Recommender Systems (DEADLINE: 10:06:2011)

2nd CALL FOR PAPERS: "Reasoning about other minds", 11 July 2011, THE NETHERLANDS (DEADLINE: 04:05:2011)
more details: http://www.ai.rug.nl/conf/reasoningminds/

CALL FOR PAPERS: "Formal Methods", 26-30 Sep 2011, BRAZIL (DEADLINE: 30:05:2011)
more details: http://www.each.usp.br/cbsoft2011/

2nd CALL FOR PAPERS: " LOGIC, RATIONALITY AND INTERACTION", October 10-13, 2011, CHINA (DEADLINE: 01:06:2011)
more details: http://www.golori.org/lori2011/

CALL FOR CONTRIBUTIONS: AI-2011, Dec 13-15 2011, Cambridge, UK (DEADLINE: 31:05:2011)
more details: http://www.bcs-sgai.org/ai2011/

CALL FOR PAPERS: "Granular Computing ", 8-10 Nov 2011, TAIWAN (DEADLINE: 01:05:2011)
more details: http://grc2011.nuk.edu.tw/

Opportunities Bulletin

Subscribe to opportunities bulletin.

PhD studentship on "resilient interactive medical devices", UCL, London (DEADLINE: 11:05:2011)
more details: www.chi-med.ac.uk/docs/2011_studentship.doc

NEW BOOK: Computation and Logic in the Real Worlds
more details: http://www.worldscibooks.com/mathematics/p577.html

Four PhD student positions in linguistics, THE NETHERLANDS (DEADLINE: 18:04:2011)
more details: http://www.uu.nl/faculty/humanities/EN/research/researchinstitutes/uilots/Pages/phdprogramme.aspx

W3 Professorship in Logic and Theory of Discrete Systems, GERMANY (DEADLINE: 20:05:2011)

Assistant Professorships and Professorships in Foundations of Computer Science, NAMIBIA
more details: http://www.sit.polytechnic.edu.na/

Two PhD studentships in computational logic, GERMANY (DEADLINE: 15:04:2011)
more details: http://www.uni-kassel.de/pvabt3/stellen/extern/15734.ghk

PhD student or postdoctoral researcher in cognitive/computer science, GERMANY (DEADLINE: 30:04:2011)
more details: http://www.sfb673.org

Two postdoctoral positions on Dialogue Systems, SCOTLAND (DEADLINE: 03:05:2011)

CALL FOR NOMINATIONS: E W Beth Dissertation Prize 2010
more details: http://www.folli.org

PhD Opportunity: Handling Complexities in Large Clinical Datasets, HULL (UK) (DEADLINE: 27:05:2011)
more details: http://www2.hull.ac.uk/science/pdf/CS%20Chandra%20Ad%20for%202011%20PhD%20Studentships.pdf

LAST CALL FOR PARTICIPATION: " GAMES-EPIT Spring School 2011, 23-27 May 2011, FRANCE (DEADLINE: 04:04:2011)
more details: http://games-epit.labri.fr/

CALL FOR ARTICLES: AISBQ
more details: http://www.aisb.org.uk/aisbq

PhD student position in modal logic, THE NETHERLANDS (DEADLINE: 15:05:2011)
more details: http://www.cs.vu.nl/~tcs/problog.pdf

CALL FOR PAPERS: Special Issue on "Reasoning with context" (DEADLINE: 15:06:2011)
more details: http://ees.elsevier.com/jws

FELLOWSHIPS: 'The Turing Centenary Research Project' (DEADLINE: 16:12:2011)
more details: http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?408

2nd CALL FOR PAPERS: Special Issue on "Integrating Computation and Cognition on Biological Grounds" (DEADLINE: 16:05:2011)
more details: http://www.editorialmanager.com/cogn/

CALL FOR PAPERS: Special Issue “From Natural Computing to Self-organizing Intelligent Complex Systems” (DEADLINE: 19:05:2011)
more details: www.igi-global.com/jitr

CALL FOR NOMINATIONS: E W Beth Dissertation Award 2011 (DEADLINE: 08:05:2011)
more details: http://www.folli.org

E-Business Intelligence Developer (KTP Associate), EAST YORKSHIRE (UK) (DEADLINE: 13:05:2011)
more details: www.hull.ac.uk/jobs

Visiting Assistant Professorship (1y) in Philosophy, USA (DEADLINE: 29:04:2011)

Assistant professorship (tenure-track) in medieval philosophy (AOC: logic), USA (DEADLINE: 09:09:2011)

CALL FOR PAPERS: Special Issue on "Ontologies and Terminologies" (DEADLINE: 15:05:2011)
more details: http://natalia.grabar.perso.sfr.fr/AO-CALL/

SUMMER SCHOOL & SYMPOSIUM: "Humour and Laughter", August 15 - 20, 2011, ESTONIA (DEADLINE: 30:04:2011)
more details: http://www.humoursummerschool.org/11/

Assistant Professorship (tenure-track) & Instructorship in Metaphysics and Epistemology, USA
more details: http://www.k-state.edu/philos

Junior Professorship in Philosophy of Physics, GERMANY (DEADLINE: 11:05:2011)

CALL FOR APPLICATIONS: European PhD Program in Computational Logic (EPCL) (DEADLINE: 15:05:2011)
more details: http://www.epcl-study.eu/

Postdoctoral position (AR a.Z., 3+3 years) in Theoretical Philosophy, GERMANY (DEADLINE: 30:04:2011)

PhD student position in Mathematical Neuroscience, SUSSEX, UK (DEADLINE: 01:06:2011)

Assistant professorship in mathematical logic, JAPAN
more details: http://www.jaist.ac.jp/jimu/syomu/koubo/logic-e-revised.htm

Postdoctoral position & PhD student positions in "Nominalisations", GERMANY (DEADLINE: 02:05:2011)
more details: http://phloxgroup.wordpress.com/2011/03/29/jobs/

SUMMER SCHOOL: Language and Speech Technologies, Aug 29 – Sep 2, 2011, SPAIN
more details: http://grammars.grlmc.com/sslst2011/

Miscellaneous Bulletin

Subscribe to miscellaneous bulletin.

Special issue on Hugh MacColl by Moktefi and Read
more details: http://poincare.univ-nancy2.fr/PhilosophiaScientiae/?contentId=9029


All Bulletin Items by Month

Jan. Feb. Mar. Apr. May Jun. Jul. Aug. Sep. Oct. Nov. Dec.
200611/200612/2006
20071/20072/20073/20074/20075/20076/20077/20078/20079/200710/200711/200712/2007
20081/20082/20083/20084/20085/20086/20087/20088/20089/200810/200811/200812/2008
20091/20092/20093/20094/20095/20096/20097/20098/20099/200910/200911/200912/2009
20101/20102/20103/20104/20105/20106/20107/20108/20109/201010/201011/201012/2010
20111/20112/20113/20114/20115/20116/20117/20118/20119/201110/201111/201112/2011
20121/20122/20123/20124/20125/20126/20127/20128/20129/201210/201211/201212/2012
20131/20132/20133/20134/20135/20136/20137/20138/20139/201310/201311/201312/2013
20141/20142/20143/20144/20145/20146/20147/20148/20149/201410/2014


Advertising within the Weekly Bulletin

Our weekly bulletin is emailed to all our members who have not opted out from it. It typically contains conference calls and job advertisements. This is a free service. If you wish to place an item in the bulletin please email the contents in plain text to bulletinXX at aisb dot org dot uk where XX are the last two digits of the year number.

We would really appreciate it if organisers of conferences and workshops advertised in the weekly bulletin were prepared to put up an AISB poster or place a few AISB flyers on a table somewhere. If you would be willing to do this please indicate as such when you send us your bulletin item.