Notice

Weekly Bulletin

AISB Weekly Bulletin Items for December 2011

Event Bulletin

Subscribe to event bulletin.

CALL FOR PARTICIPATION: Computational Neurodynamics Seminar "Am I Spikes Over Time?", 7th Dec 2011, Imperial College, LONDON

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 PARTICIPATION: The Concept of Eternity and its development in the History of Philosophy", 19-20 Dec 2011, Bochum, GERMANY

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

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