Notice
Weekly Bulletin
AISB Weekly Bulletin Items for December 2011
Event Bulletin
2nd CALL FOR PAPERS: "Computability in Europe 2012: How the World Computes", 18-23 June 2012, Cambridge, UK (DEADLINE: 20:01:2012)
more details: http://www.cie2012.eu
CALL FOR PARTICIPATION: "Questions, Games, Logic", 1 Dec 2011, Amsterdam, THE NETHERLANDS
more details: HTTPS://SITES.GOOGLE.COM/SITE/QUESTIONSGAMESLOGIC/HOME
CALL FOR PAPERS: Semantic Web Conference, 27-31 May 2012, Heraklion, GREECE (DEADLINE: 05:12:2011)
CALL FOR PAPERS: Theory and Applications of Satisfiability Testing, 17-20 June 2012, Trento, ITALY (DEADLINE: 05:02:2012)
more details: http://sat2012.fbk.eu/
CALL FOR PAPERS: Symposium on Computational Philosophy, July 2nd-6th, 2012, Birmingham, UK (DEADLINE: 01:02:2012)
more details: http://www.aisb.org.uk/convention/aisb12/
CALL FOR PAPERS: "Symposium on the History and Philosophy of Programming", July 2012, Birmingham (U.K.) (DEADLINE: 01:02:2012)
more details: http://events.cs.bham.ac.uk/turing12/index.php
CALL FOR PAPERS: Symposium on Social Computing, Social Cognition, Social Networks and Multiagent Systems, 2-3 July 2012, Birmingham (U.K.) (DEADLINE: 01:02:2012)
more details: http://www.aisb.org.uk/convention/aisb12/
CALL FOR PAPERS: Computability and Complexity in Analysis, 24-27 June 2012, Cambridge, UK (DEADLINE: 01:04:2012)
CALL FOR PAPERS: Symposium on "Computing, Philosophy & the Question of Bio-Machine Hybrids", 2-6 July, 2012, Birmingham, UK (DEADLINE: 01:02:2012)
more details: http://extranet.smuc.ac.uk/events-conferences/AISB-symposium-computing-philosophy/Pages/default.aspx
CALL FOR PARTICIPATION: "The Mathematical Legacy of Alan Turing" (Spitalfields Day), 9 Jan 2012, Cambridge (U.K.)
more details: http://www.newton.ac.uk/programmes/SAS/sasw05.html
CALL FOR PAPERS: "Implementation of Logics" & APS-6: "Analytic Proof Systems", 10 Mar 2012, Merida, VENEZUELA (DEADLINE: 17:01:2012)
more details: http://www.eprover.org/EVENTS/IWIL-2012.html
CALL FOR PAPERS: IEEE IRI 2012 - Conference on Information Reuse and Integration, 8-10 Aug 2012, Las Vegas, USA (DEADLINE: 12:03:2012)
more details: http://www.sis.pitt.edu/~iri2012/
CALL FOR PAPERS: ICMI 2012: INTERNATIONAL CONFERENCE ON MULTIMODAL INTERACTION, October 22-26 Oct, 2012 Santa Monica, CA, USA (DEADLINE: 22:12:2011)
more details: http://www.acm.org/icmi/2012
CALL FOR GRAND CHALLENGES: ICMI 2012: INTERNATIONAL CONFERENCE ON MULTIMODAL INTERACTION, October 22-26 Oct, 2012 Santa Monica, CA, USA (DEADLINE: 22:12:2011)
more details: http://www.acm.org/icmi/2012
CALL FOR PAPERS: Structural Information & Communication Complexity, 30 June - 2 July 2012, Reykjavik, ICELAND (DEADLINE: 27:02:2012)
more details: http://sites.google.com/site/sirocco2012iceland/
CALL FOR PAPERS: Symposium on the History and Philosophy of Programming, 5-6 July 2012, Birmingham (U.K.) (DEADLINE: 01:02:2012)
more details: http://www.computing-conference.ugent.be/hapop12
CALL FOR PAPERS: Symposium on "Mathematical Practice and Cognition II", 2-4 July 2012, Birmingham (U.K.) (DEADLINE: 01:02:2012)
CALL FOR PAPERS: MFPS XXVIII: Mathematical Foundations of Programming Semantics, 6-9 June 2012, Bath (U.K.) (DEADLINE: 24:02:2012)
more details: http://www.math.tulane.edu/~mfps/MFPS28
CALL FOR PAPERS: Logic in computer Science (LICS 2012), 25--28 June 2012, Dubrovnik, CROATIA (DEADLINE: 06:01:2012)
more details: http://informatik.hu-berlin.de/lics/lics12
CALL FOR PAPERS: COMMA 2012: Computational Models of Argument, 10-12 Sep 2012, Vienna, AUSTRIA (DEADLINE: 26:03:2012)
more details: http://www.kr.tuwien.ac.at/comma2012/
CALL FOR ABSTRACTS: Computability, Complexity and Randomness, 2-6 July 2012, Cambridge (U.K.), (DEADLINE: 25:02:2012)
more details: http://math.uni-heidelberg.de/logic/conferences/ccr2012/
CALL FOR PAPERS: Symposium on Understanding and Modelling Collective Phenomena (UMoCoP 2012), 2-6 July 2012, Birmingham UK (DEADLINE: 01:02:2012)
more details: http://umocop.3void.com
CALL FOR PAPERS: Int'l Symposium on "Enhancing Human Experience via Emerging Technologies", 27-28 March 2012, Laval FRANCE (DEADLINE: 23:01:2012)
more details: http://www.laval-virtual.org/?p=87&l=en
1st ANNOUNCEMENT: Colloquium Logicum 2012, 13-15 Sep 2012, Paderborn, GERMANY
more details: http://www.math.uni-hamburg.de/home/loewe/CL2012/
CALL FOR PAPERS: IEEE Symposium on Visual Languages and Human-Centric Computing, Sep 30 - Oct 4, 2012, Innsbruck, AUSTRIA (DEADLINE: 09:03:2012)
more details: http://vlhcc.org/
CALL FOR PARTICIPATION: Opening "Genial & Geheim", special 12-month exhibition on Alan Turing, 10 Jan 2012, Paderborn, GERMANY
more details: http://www.hnf.de
CALL FOR PAPERS: "Foundations of Enactive Cognitive Science", Feb 27-28th, 2012, UK (DEADLINE: 30:01:2012)
more details: http://reading.ac.uk/cinn/enactivism
CALL FOR PAPERS: Symposium on ‘The 21st Century Body’, 18th May 2012, London UK (DEADLINE: 28:02:2012)
more details: http://www.bioethics.ac.uk/news/Call-for-Papers--The-2st-Century-Body-.php
2nd CALL FOR PAPERS: Computational Models of Narrative, 26-27 May 2012, Istanbul, TURKEY (DEADLINE: 24:02:2012)
CALL FOR PAPERS: Symposium on "Natural/Unconventional Computing and its philosophical significance", 2-3 July 2012, Birmingham. UK (DEADLINE: 01:02:2012)
CALL FOR PAPERS: Special session on modelling and support of cognitive and affective human processes, 9-12 June 2012, Dalian , CHINA (DEADLINE: 06:01:2012)
more details: http://www.cs.vu.nl/~mhoogen/iea-aie-2011/
CALL FOR PAPERS: Rewriting Techniques and Applications, 28 May - 2 Jun 2012, Nagoya, JAPAN (DEADLINE: 04:01:2012)
more details: http://rta2012.trs.cm.is.nagoya-u.ac.jp/
Opportunities Bulletin
Subscribe to opportunities bulletin.
Postdoctoral Research position in Ontology Evolution, SOUTH AFRICA
more details: http://cair.cs.ukzn.ac.za
MSc programme in Logic, Amsterdam, THE NETHERLANDS (DEADLINE: 01:04:2012)
more details: http://www.illc.uva.nl/MScLogic/
2 assistant professor positions at Penn State IST
more details: http://ist.psu.edu/research/assistant-professor-of-ist
Postdoctoral Position in Human Robot Interaction, QATAR
more details: http://www.qatar.cmu.edu/~msakr/postdoc_hri/
15 PhD studentships in Neuroinformatics and Computational Neuroscience, Edinburgh, UK (DEADLINE: 16:12:2011)
more details: http://www.anc.ed.ac.uk/dtc
RA position in cognitive science, Hunter College, New York, USA
Research assistant position, Asturias, SPAIN (DEADLINE: 04:12:2011)
5 Tenure Track Positions at all levels in Game Design at Northeastern University, USA (DEADLINE: 30:12:2011)
Full professorship in Communication and Cognition, Tilburg, THE NETHERLANDS (DEADLINE: 01:02:2012)
more details: http://erec.uvt.nl/vacancy?inc=UVT-EXT-2011-0517
Postdoctoral position in mathematical logic, Utrecht ,THE NETHERLANDS (DEADLINE: 15:01:2012)
PhD student position on Forensic Bayesian networks, Groningen & Utrecht , THE NETHERLANDS (DEADLINE: 15:01:2012)
Tenure Track and Research Track Faculty Opportunities at HCI, Carnegie Mellon University, PA, USA (DEADLINE: 15:01:2012)
more details: http://www.cs.cmu.edu/~scsdean/HiringPage/
CALL FOR ARTICLES: AISBQ
more details: http://www.aisb.org.uk/aisbq
Postdoctoral position in theoretical computer science, Ann Arbor MI (U.S.A.)
PhD or Postdoctoral position in theoretical computer science, Bayreuth, GERMANY (DEADLINE: 16:01:2012)
Readership / Professorship in Philosophy of Mind / Psychology / Language, London (U.K.) (DEADLINE: 03:01:2012)
more details: http://www.kcl.ac.uk/depsta/pertra/vacancy/external/pers_detail.php?jobindex=10980
PhD student positions in computer science, Liverpool (U.K.) (DEADLINE: 15:02:2012)
more details: http://www.csc.liv.ac.uk/~pwg/2012-studentships.htm
Postdoctoral position in mathematical logic (2y), Stockholm, SWEDEN (DEADLINE: 23:01:2012)
more details: http://www.math.su.se/pub/jsp/polopoly.jsp?d=14714&a=101279
PhD student or postdoc in knowledge representation and applied reasoning, Karlsruhe, GERMANY (DEADLINE: 31:01:2012)
Postdoctoral position on networks, computing and economics, Ithaca NY (U.S.A.) (DEADLINE: 30:01:2012)
Postdoctoral position in philosophy of science (3y), Muenster, GERMANY (DEADLINE: 15:01:2012)
International Master's in Robotics and Intelligent Systems, SWEDEN (DEADLINE: 16:01:2012)
CALL FOR PAPERS: Special issue on History and Philosophy of Computing (DEADLINE: 15:04:2012)
CALL FOR PAPERS: Special issue on "Logical Issues in the History and Philosophy of Computing" (DEADLINE: 15:04:2012)
North-American Summer School in Logic, Language and Information, 18-22 June 2012, Austin TX (U.S.A.)
more details: http://nasslli2012.com/
FINAL CALL FOR PAPERS: Coalgebraic Methods in Computer Science, 31 Mar-1 Apr 2012, Tallin, ESTONIA (DEADLINE: 04:01:2012)
more details: www.coalg.org/cmcs12
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.
