Weekly Bulletin
AISB Weekly Bulletin Items for May 2012
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 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/
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)
Miscellaneous Bulletin
Subscribe to miscellaneous bulletin.
All Bulletin Items by Month
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.
