Notice

Weekly Bulletin

AISB Weekly Bulletin Items for May 2012

Event Bulletin

Subscribe to event bulletin.

2nd CALL FOR PAPERS: IFCoLog-CiE student session, 18-23 June 2012, Cambridge (U.K.) (DEADLINE: 11:05:2012)
more details: http://www.ifcolog.net/?page_id=6149

CALL FOR PARTICIPATION: "Modality and Modalities", 29-30 May 2012, Copenhagen, DENMARK
more details: http://modalityandmodalities.weebly.com/

CALL FOR PARTICIPATION: Logic Colloquium 2012, 12-18 July 2012, Manchester (U.K.)
more details: http://www.mims.manchester.ac.uk/LC2012/

CALL FOR PAPERS: 1st INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE, October 1-5, 2012, Tarragona, SPAIN-DEADLINE EXTENDED (DEADLINE: 08:05:2012)
more details: http://grammars.grlmc.com/tpnc2012/

2nd CALL FOR PAPERS: 6th Int'l Workshop on Modular Ontologies, 24 July 2012, Graz , AUSTRIA (DEADLINE: 11:05:2012)
more details: http://www.informatik.uni-bremen.de/~ts/womo2012

2nd CALL FOR PAPERS: 6th International Workshop on Reachability Problems, 17-19 Sep 2012, Bordeaux , FRANCE (DEADLINE: 10:05:2012)
more details: http://rp12.labri.fr/

CALL FOR PAPERS: 8th Scandinavian Logic Symposium, 20-21 Aug 2012, Roskilde, DENMARK - DEADLINE EXTENDED (DEADLINE: 01:06:2012)
more details: http://scandinavianlogic.org/

CALL FOR PARTICIPATION:11th Trends in Logic: Advances in Philosophical Logic, 3-5 June 2012, Bochum, GERMANY
more details: http://www.ruhr-uni-bochum.de/philosophy/trendsxi

CALL FOR PARTICIPATION: Knowledge Representation and Reasoning, 10-14 June 2012, Rome, ITALY
more details: http://www.kr.org/KR2012/

2nd CALL FOR PAPERS: 2012 annual conference of the Australasian Association of Logic, 29-30 June 2012, Sydney, AUSTRALIA (DEADLINE: 11:05:2012)

CALL FOR PAPERS: Social Robotics, 29-31 October 2012, Chengdu, CHINA- EXTENDED DEADLINE (DEADLINE: 07:06:2012)
more details: www.icsoro.org

CALL FOR PAPERS: SVARM / VERIFY (Synthesis, Verification and Analysis of Rich Models), 30 Jun - 1 Jul 2012, Manchester (U.K.) (DEADLINE: 14:05:2012)

CALL FOR PARTICIPATION: "Intuitionism in 2012" & Heyting Lecture, 7 September 2012, Amsterdam, THE NETHERLANDS

CALL FOR PAPERS:Computational Logic in Multi-Agent Systems, 27-28 Aug 2012, Montpellier , FRANCE (DEADLINE: 28:05:2012)
more details: http://www.csc.liv.ac.uk/~michael/clima2012.html

CALL FOR PAPERS: FCA4AI: What can FCA do for AI?, 27 Aug 2012, Montpellier , FRANCE (DEADLINE: 25:05:2012)
more details: http://www.fca4ai.hse.ru

CALL FOR PAPERS: Acquisition, Representation and Reasoning with Contextualized Knowledge, 27-28 Aug 2012, Montpellier, FRANCE (DEADLINE: 28:05:2012)
more details: http://www.arcoe.org/2012

CALL FOR PAPERS: Computational Creativity, Concept Invention and General Intelligence, 27/28 Aug 2012, Montpellier, FRANCE (DEADLINE: 28:05:2012)
more details: http://www.cogsci.uos.de/~c3gi

CALL FOR PAPERS: Agent-based modeling for Policy Engineering, August 27-31, 2012, Montpellier, FRANCE (DEADLINE: 28:05:2012)
more details: http://ample2012.tudelft.nl

FINAL CALL FOR PARTICIPATION: 29th International Conference on Machine Learning, June 26 - July 1, 2012, Edinburgh, SCOTLAND (DEADLINE: 13:05:2012)
more details: http://icml.cc/2012/

CALL FOR PAPERS: Reachability Problems, 17-19 Sep 2012, Bordeaux, FRANCE - EXTENDED DEADLINE (DEADLINE: 24:05:2012)
more details: http://rp12.labri.fr/

CALL FOR PARTICIPATION: 28th Conference on the Mathematical Foundations of Programming Semantics, 6 - 9 June 2012, University of Bath, UK
more details: http://www.math.tulane.edu/~mfps/MFPS28

CALL FOR COURSE AND WORKSHOP PROPOSALS: European Summer School in Logic, Language and Information, 5-16 August 2013, Duesseldorf , GERMANY (DEADLINE: 15:06:2012)
more details: http://esslli2013.de/

CALL FOR PAPERS: BNC (Belief Change, Non-monotonic reasoning and Conflict resolution), August 2012, Montpellier , FRANCE (DEADLINE: 25:05:2012)
more details: http://cair.meraka.org.za/~bnc2012

CALL FOR PAPERS: Logics in Artificial Intelligence, 26-28 Sep 2012, Toulouse, FRANCE (DEADLINE: 22:05:2012)
more details: http://www.irit.fr/jelia2012

CALL FOR PARTICIPATION:14th Wessex Theory Seminar, 23 May 2012, Bath (U.K.)
more details: https://wiki.bath.ac.uk/display/wessex/14th+Wessex+Theory+Seminar

CALL FOR PAPERS: Spatio-Temporal Dynamics, 27-28 Aug 2012, Montpellier, FRANCE (DEADLINE: 01:06:2012)
more details: http://stedy.spatialnetwork.org/

CALL FOR CONTRIBUTIONS: AI-2012: Dec 11th-13th 2012, Cambridge, UK, (DEADLINE: 29:05:2012)
more details: http://www.bcs-sgai.org/ai2012/

CALL FOR PAPERS: 2012 IEEE International Conference on Bioinformatics and Biomedicine, Oct 4-7, 2012, Philadelphia, PA, USA (DEADLINE: 31:05:2012)
more details: http://www.ischool.drexel.edu/ieeebibm/bibm12/

CALL FOR PAPERS: Computational Creativity, 27-28 Aug 2012, Montpellier, FRANCE (DEADLINE: 28:05:2012)
more details: http://www.cogsci.uos.de/~c3gi

CALL FOR PAPERS: LEARNING AND DISCOVERY IN SYMBOLIC SYSTEMS BIOLOGY, 24 Sep 2012, University of Bristol, UK (DEADLINE: 29:06:2012)
more details: https://www.cs.bris.ac.uk/~oray/LDSSB12/

2nd CALL FOR PAPERS: Artificial Intelligence: Methodology, Systems, Applications, 12-15th Sep 2012, Varna, BULGARIA (DEADLINE: 03:06:2012)
more details: http://www.aimsaconference.org

CALL FOR GENERAL PARTICIPATION: AISB/IACAP World Congress 2012, 2-6 July 2012, Birmingham, UK (DEADLINE: 11:06:2012)
more details: http://www.aisb.org.uk/convention/aisb12/

CALL FOR PAPERS: AGI@Oxford: Artificial General Intelligence, 8-11 Dec 2012, Oxford (U.K.) (DEADLINE: 15:07:2012)
more details: http://agi-conf.org/2012/call-for-papers/

CALL FOR PAPERS: "Turing in Context II", 10-12 Oct 2012, Brussels, BELGIUM (DEADLINE: 20:07:2012)
more details: http://www.computing-conference.ugent.be/tic2

CALL FOR PAPERS: Colloquium Logicum 2012, 13-15 Sept 2012, Paderborn, GERMANY (DEADLINE: 15:07:2012)
more details: http://www.math.uni-hamburg.de/home/loewe/CL2012/

CALL FOR PAPERS: Formal Ethics 2012, 11-13 Oct 2012, Munich, GERMANY (DEADLINE: 15:06:2012)
more details: http://www.formalethics.net

Call for Posters and Demos: International Conference on Knowledge Engineering and Knowledge Management, Oct 8-12, 2012, Galway, IRELAND (DEADLINE: 02:07:2012)
more details: http://ekaw2012.ekaw.org/

CALL FOR PAPERS: Workshop on Lattices and Relations, 12-14 Sep 2012, Amsterdam, THE NETHERLANDS (DEADLINE: 15:06:2012)
more details: http://www.illc.uva.nl/Workshops/LR2012/

CALL FOR PAPERS: Logical and Semantic Frameworks with Applications, 29-30 Sep 2012, Rio de Janeiro, BRAZIL (DEADLINE: 01:06:2012)
more details: http://www.uff.br/lsfa/

CALL FOR PAPERS: SILFS Midterm Conference 2012, 20-21 Nov 2012, Milan, ITALY (DEADLINE: 15:06:2012)
more details: http://www.episteme.formazione.unimib.it/silfs2012

CALL FOR PARTICIPATION: Understanding and modelling collective phenomena, AISB/IACAP Symposium, 5 July 2012, Birmingham, UK
more details: http://umocop.3void.com

2nd CALL FOR PAPERS: IEEE International Conference on Bioinformatics and Biomedicine, Oct 4-7, 2012, Philadelphia, PA, USA (DEADLINE: 31:05:2012)
more details: http://www.ischool.drexel.edu/ieeebibm/bibm12/

CALL FOR PAPERS: Salzburg Conference for Young Analytic Philosophy, 13-15 Sep 2012, Salzburg, AUSTRIA (DEADLINE: 31:05:2012)
more details: http://www.sophia-conference.org/

2nd CALL FOR PAPERS: AI Methodology, Systems, Applications, 12-15 Sep 2012, Varna, BULGARIA (DEADLINE: 03:06:2012)
more details: http://www.aimsaconference.org

Opportunities Bulletin

Subscribe to opportunities bulletin.

Research Fellowship in Design of Software Systems for inquiry-based Science Learning, The Open University, Milton Keynes, UK (DEADLINE: 24:05:2012)
more details: www.open.ac.uk/employment

Research Fellow: Intelligent Language/ Multimodal Interfaces, University of Aberdeen, SCOTLAND (DEADLINE: 21:05:2012)

MSc in Cognitive Science, Bochum, GERMANY
more details: http://www.ruhr-uni-bochum.de/philosophy/mcs

CALL FOR APPLICATIONS: European PhD Program in Computational Logic, ITALY, GERMANY, AUSTRIA, PORTUGAL (DEADLINE: 15:05:2012)
more details: http://www.epcl-study.eu/

W2 professorship theoretical computer science (FH), Leipzig, GERMANY (DEADLINE: 20:05:2012)

Joint Master's programme in Logic and Philosophy of Science, SPAIN (DEADLINE: 21:06:2012)

Summer School: History and Philosophy of Science: Revolutions in Science, 27-31 Aug 2012, Utrecht, THE NETHERLANDS
more details: http://www.utrechtsummerschool.nl

Three PhD student and one postdoc positions in computational logic, Luxembourg , LUXEMBOURG & Leuven, BELGIUM (DEADLINE: 31:05:2012)

Two full professorships (Philosophy of Language and Philosophical Logic), Amsterdam, THE NETHERLANDS (DEADLINE: 15:06:2012)
more details: http://www.uva.nl/vacatures/vacatures.cfm/53609EB2-4680-4BF1-B8E47046BBCFD4E2

Free online logic course at Stanford University
more details: http://www.coursera.org/intrologic

Post-doctoral researcher: Argumentation and Explanation, University of Aberdeen, SCOTLAND
more details: https://atsv7.wcn.co.uk/search_engine/jobs.cgi?SID=b3duZXI9NTA0MjIzOCZvd25lcnR5cGU9ZmFpciZqY29kZT0xMjQ5MjA3JnBvc3RpbmdfY29kZT0yNjcm

School in Algorithmic Game Theory, 14-21 July 2012, Samos, GREECE
more details: http://agt2012samos.wordpress.com/

CALL FOR SUBMISSIONS: Doctoral Consortium (Web Reasoning and Rule Systems), 10-12 Sep 2012, Vienna, AUSTRIA (DEADLINE: 14:05:2012)
more details: http://www.rr-conference.org/RR2012/

Postdoctoral position in computer science, Ulm, GERMANY (DEADLINE: 30:05:2012)

W3 Professorship in Theoretical Computer Science, Siegen, GERMANY (DEADLINE: 14:06:2012)

Postdoctoral position for logics for quantum interaction (2.5 years), Amsterdam, THE NETHERLANDS (DEADLINE: 06:06:2012)
more details: http://www.uva.nl/vacatures/vacatures.cfm/DE54516B-BAC5-4091-B048465780A099EB

Postdoctoral position (6y) in theoretical philosophy, Berlin, GERMANY (DEADLINE: 07:06:2012)

W2 professorship in theoretical computer science (FH), Darmstadt, GERMANY (DEADLINE: 31:05:2012)

CALL FOR NOMINATIONS: 2012 E W Beth Dissertation Prize (DEADLINE: 15:05:2012)

Postdoctoral position in mathematical logic, Udine, ITALY
more details: http://www.uniud.it/ricerca/finanziamenti/assegni/bandi_attivi?lingua=eng

2012 INTERNATIONAL SUMMER SCHOOL IN METHODS IN BIOINFORMATICS, August 27-31, 2012, Tarragone, SPAIN
more details: http://grammars.grlmc.com/ssmbio2012/

Two postdoctoral positions in stochastic / statistical model checking, Rennes, FRANCE

CALL FOR BOOK REVIEW: The Voice in the Machine by Roberto Pieraccini
more details: http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=12835

Postdoctoral position (1y) in knowledge and existence of mathematical objects, Montreal, CANADA (DEADLINE: 15:06:2012)

Postdoctoral position (3y) in philosophy of science / logic / epistemology, Konstanz, GERMANY

Summer School Information and Uncertainty, 4-8 Jun 2012, Olomouc, CZECH REPUBLIC
more details: http://mcin.upol.cz/SSWIU-2012/

Research Fellow in Computational Linguistics, University of Aberdeen, SCOTLAND

Summer School in Social Simulation, 9-13 July 2012, Barcelona, SPAIN (DEADLINE: 15:06:2012)
more details: http://sct.uab.cat/lsds/content/lsds-summer-school-2012

Miscellaneous Bulletin

Subscribe to miscellaneous bulletin.

AISB Fellow appointed Chairman of "The Onlife Initiative"


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/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.