Notice
Weekly Bulletin
AISB Weekly Bulletin Items for January 2012
Event Bulletin
CALL FOR PAPERS: "Foundations of Enactive Cognitive Science", 27-28th Feb, 2012, UK (DEADLINE: 30:01:2012)
more details: http://reading.ac.uk/cinn/enactivism
2nd CALL FOR PAPERS: PhDs in Logic IV, 12-13 April 2012, Gent, BELGIUM (DEADLINE: 15:01:2012)
CALL FOR PAPERS - 1st Understanding Problems Workshop (GECCO-UP), July 7-11, 2012, Philadelphia, USA (DEADLINE: 28:03:2012)
The Alan Turing Year 2012 has started
more details: http://www.turingcentenary.eu
NEW BOOK: Bridges-Vita, Apartness and Uniformity
CALL FOR PARTICIPATION: Turing in Context (TiC@King's), 18-19 February 2012, Cambridge (U.K.),
more details: http://www.math.uni-hamburg.de/home/loewe/TiC@Kings/
CALL FOR PAPERS: Logic Programming, 4-8 Sep 2012, Budapest, HUNGARY (DEADLINE: 29:01:2012)
more details: http://www.cs.bme.hu/iclp2012/
CALL FOR PAPERS: British Colloquium for Theoretical Computer Science, 2-5 April 2012, Manchester (U.K.), (DEADLINE: 16:01:2012)
more details: http://bctcs2012.cs.manchester.ac.uk
CALL FOR PAPERS: Workshop on Declarative Agent Languages and Technologies, 4 or 5 June 2012, Valencia, SPAIN (DEADLINE: 28:01:2012)
more details: http://www.di.unito.it/~baldoni/DALT-2012/
CALL FOR PAPERS: Trends in Logic XII, 3-5 June 2012, Bochum, GERMANY (DEADLINE: 12:02:2012)
more details: http://www.ruhr-uni-bochum.de/philosophy/trendsxi
CALL FOR DEMOS: AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 4-8 June 2012,Valencia, SPAIN (DEADLINE: 24:01:2012)
more details: http://swarmlab.unimaas.nl/aamas2012_demos/
CALL FOR DEMOS: AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 4-8 June 2012,Valencia, SPAIN (DEADLINE: 24:01:2012)
more details: http://swarmlab.unimaas.nl/aamas2012_demos/
2nd CALL FOR PAPERS: International Joint Conference on Automated Reasoning, June 26-July 1, 2012, Manchester (U.K.), (DEADLINE: 23:01:2012)
more details: http://ijcar.cs.manchester.ac.uk/
2nd CALL FOR PAPERS: Logical Approaches to Barriers in Complexity II, 26-30 Mar 2012, Cambridge (U.K.) (DEADLINE: 26:01:2012)
more details: http://www.newton.ac.uk/programmes/SAS/sasw01.html
CALL FOR PAPERS: Formal Ontologies in Information Systems, 24-27 July 2012, Graz, AUSTRIA (DEADLINE: 31:01:2012)
more details: http://purl.org/icbofois2012
CALL FOR PAPERS: Gaze in HRI: From Modeling to Communication Workshop, March 5, 2012, Boston, MA USA (DEADLINE: 20:01:2012)
more details: http://homepages.stca.herts.ac.uk/~hri/
CALL FOR PAPERS: Symposium on Computational Philosophy, 2-6 Jul 2012, Birmingham (U.K.) (DEADLINE: 01:02:2012)
more details: http://events.cs.bham.ac.uk/turing12/
FINAL CALL FOR PAPERS: International Conference on Machine Learning, 30 June and July 1, 2012, Edinburgh, SCOTLAND (DEADLINE: 10:02:2012)
more details: http://icml.cc/2012/call-for-workshops/
SPECIAL LECTURE: "IBM Watson from Jeopardy! to Healthcare", 17 Feb 2012, Cambridge (U.K.)
more details: http://www.math.uni-hamburg.de/home/loewe/TiC@Kings/watson.html
FINAL 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 PAPERS: AISB Symposium on Computing, Philosophy and the Question of Bio-Machine Hybrids,July 2nd to 6th, 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 PAPERS: Ethics/Morality symposia at AISB/IACAP 2012, 2-6 July 2012, Birmingham, UK. (DEADLINE: 01:02:2012)
more details: http://events.cs.bham.ac.uk/turing12/symposia.php
CALL FOR PAPERS: ‘The 21st Century Body’ Symposium, 18th May 2012, London (DEADLINE: 28:02:2012)
more details: http://www.bioethics.ac.uk/news/Call-for-Papers--The-2st-Century-Body-.php
CALL FOR PAPERS: 3rd Workshop on Visualisation in Genetic and Evolutionary Computation, July 7-11, Philadelphia, PA, USA (DEADLINE: 19:03:2012)
more details: http://www.sigevo.org/gecco-2012
CALL FOR PAPERS: 13th IEEE International Conference on Information Reuse and Integration, 8-10 Aug 2012 , Las Vegas, USA (DEADLINE: 12:03:2012)
CALL FOR PAPERS: Foundations of Logical Consequence, 8-10 June 2012, St. Andrews, SCOTLAND (DEADLINE: 29:02:2012)
CALL FOR PAPERS: Deontic Logic in Computer Science, 16-18 July 2012, Bergen, NORWAY (DEADLINE: 27:02:2012)
more details: http://dl.dropbox.com/u/596427/deon12/DEON_2012/Home.html
CALL FOR PAPERS: Automated Reasoning Workshop, 2-4 April 2012, Manchester (U.K.) (DEADLINE: 12:03:2012)
more details: http://arw2012.cs.man.ac.uk/
2nd CALL FOR PAPERS: Sixth Workshop in Decisions, Games & Logic , 28-30 June 2012, Munich, GERMANY (DEADLINE: 01:02:2012)
more details: http://www.meansandends.com/workshop12/
CALL FOR PAPERS: Declarative Agent Languages and Technologies, 4-5 June 2012, Valencia, SPAIN (DEADLINE: 28:02:2012)
more details: http://www.di.unito.it/~baldoni/DALT-2012/
CALL FOR PAPERS: 11th World Conference on "Mobile Learning in Context", 16-18 October 2012 in Helsinki, FINLAND (DEADLINE: 30:05:2012)
more details: www.mlearn.org/mlearn2012
FINAL CALL FOR PAPERS: Turing Centenary Conference (CiE 2012), June 18 to 23, 2012, University of Cambridge, UK (DEADLINE: 27:01:2012)
more details: http://www.cie2012.eu
2nd CALL FOR PAPERS: Symposium on Understanding & Modelling Collective Phenomena, 2-6 July 2012,Birmingham, UK (DEADLINE: 02:03:2012)
more details: http://umocop.3void.com
CALL FOR PARTICIPATION: 5th Young Set Theory Workshop, 30 Apr - 4 May 2012, Luminy, FRANCE
more details: http://math.univ-lyon1.fr/~melleray/yst2012-info.html
CALL FOR PAPERS: Philosophy, Mathematics, Linguistics: Aspects of Interaction, 22-25 May 2012, St. Petersburg, RUSSIA (DEADLINE: 01:03:2012)
more details: http://www.pdmi.ras.ru/EIMI/2012/PhML/index.htm
CALL FOR PAPERS: Computational Linguistics for Literature, 8 June 2012, Montreal QC, CANADA (DEADLINE: 12:03:2012)
more details: https://sites.google.com/site/clfl2012/
CALL FOR PAPERS: Satisfiability Testing, 17-20 Jun 2012, Trento, ITALY (DEADLINE: 05:02:2012)
more details: http://sat2012.fbk.eu/
CALL FOR PAPERS: Formal Ontologies in Information Systems, 24-27 July 2012, Graz, AUSTRIA (DEADLINE: 31:01:2012)
more details: http://purl.org/icbofois2012
CALL FOR PAPERS: Logic and the Foundations of Game and Decision Theory, June 18-20, 2012, Sevilla, SPAIN (DEADLINE: 01:03:2012)
more details: http://personal.us.es/hvd/loft/
CALL FOR WORKSHOP PROPOSALS: 28th International Conference on Logic Programming, Sep 4-8, 2012, Budapest, HUNGARY (DEADLINE: 10:02:2012)
more details: http://www.cs.bme.hu/iclp2012/
CALL FOR PAPERS: Cognitive Agents for Virtual Environments Workshop@AAMAS 2012, June 4 or 5, 2012, Valencia, SPAIN (DEADLINE: 28:02:2012)
more details: http://www.staff.science.uu.nl/~dignu101/CAVE12/
CALL FOR PARTICIPATION: Amsterdam Workshop in Set Theory, 10-11 Feb 2012, Amsterdam, THE NETHERLANDS
more details: http://staff.science.uva.nl/~zhenhao/SetThy12/index.html
CALL FOR SHORT PAPERS: Logic for Programming, Artificial Intelligence and Reasoning, March 11-15, 2012, Merida, VENEZUELA (DEADLINE: 10:02:2012)
more details: www.LPAR-18.info
CALL FOR PARTICIPATION: Games, Interactive Rationality and Learning, 19-21 Apr 2012, Lund, SWEDEN
more details: http://www.fil.lu.se/conferences/conference.asp?id=49&lang=se
CALL FOR PAPERS: Games, Game Theory and Game Semantics, 18-20 May 2012, Riga, LATVIA (DEADLINE: 12:02:2012)
Opportunities Bulletin
Subscribe to opportunities bulletin.
Two postdoctoral fellowships (1y each) in history and philosophy of mathematics, Berlin, GERMANY (DEADLINE: 15:02:2012)
more details: http://www.mpiwg-berlin.mpg.de/en/research/projects/MRGdeRisi
Temporary part-time professorship (1y, .5 fte) in theoretical computer science, Darmstadt, GERMANY (DEADLINE: 19:01:2012)
CALL FOR APPLICATIONS: NSF Funded Joint Conference Grant & Research Fellowship (DEADLINE: 01:02:2012)
Postdoctoral position in statistical model checking algorithms, Rennes, FRANCE
Master's programme (MA) in IT and Cognition, Copenhagen, DENMARK
more details: http://itandcognition.ku.dk
Postdoctoral fellowship: Foundations and future of AI, Oxford (U.K.) (DEADLINE: 23:01:2012)
CALL FOR PAPERS: Special Issue on Domain Theory (DEADLINE: 29:02:2012)
CALL FOR PAPERS: Special Issue on "Themes from Luciano Floridi's Philosophy of AI" (DEADLINE: 01:07:2012)
CALL FOR PAPERS: Special Issue of Knowledge-based systems on cognitive models and reasoning for human-aware interaction (DEADLINE: 16:03:2012)
CALL FOR PAPERS: Special Issue on Epistemology of Modeling and Simulation (DEADLINE: 15:01:2012)
CALL FOR PAPERS: Book in memory of William McCune: "Automated Reasoning and Mathematics" (DEADLINE: 01:03:2012)
more details: >
EPSRC PhD studentships, Imperial College, LONDON
more details: http://www3.imperial.ac.uk/computing/research/research-groups
PhD studentships in the Evolutionary and Adaptive Systems Group, Sussex University, UK (DEADLINE: 14:02:2012)
CALL FOR PAPERS: Special issue on Emotional Intelligence for Online Learning (DEADLINE: 28:02:2012)
more details: http://maiga.athabascau.ca/editors/JDET-Special_Issue-2011-Emotional_Intelligence.htm
PhD student position in multi-agent organisations, Delft, THE NETHERLANDS (DEADLINE: 31:01:2012)
Postdoctoral position in Theoretical Computer Science, Stockholm, SWEDEN (DEADLINE: 31:01:2012)
more details: http://www.csc.kth.se/~jakobn/openings/D-2011-0603-Eng.php
Postdoctoral fellowship in history and philosophy of science, Pittsburgh PA (U.S.A.) (DEADLINE: 15:02:2012)
CALL FOR NOMINATIONS: IFAAMAS Award for Influential Papers (DEADLINE: 03:02:2012)
PhD student positions in programming methodology, Zuerich, SWITZERLAND
Two Lectureships (assistant professorships) in Robotics, King's College London
more details: http://www.kcl.ac.uk/depsta/pertra/vacancy/external/pers_detail.php?jobindex=11121
Postdoctoral position in software agents for model based diagnosis, London (U.K.) (DEADLINE: 09:02:2012)
more details: http://www.rhul.ac.uk/jobs/home.aspx
Research Fellow post in Intelligent Language/ Multimodal Interfaces, University of Aberdeen, SCOTLAND (DEADLINE: 10:02:2012)
PhD student or postdoctoral position in reasoning under uncertainty, Muenchen, GERMANY
Professorship in nonclassical logics in computer science, Vienna, AUSTRIA (DEADLINE: 18:02:2012)
1st CALL FOR PAPERS: Special Issue on Inforgs and the Infosphere: Themes from Luciano Floridi's Philosophy of Artificial Intelligence (DEADLINE: 01:07:2012)
UCLA Logic Center Summer School, 24 Jun - 14 Jul 2012, Los Angeles CA (U.S.A.),
CALL FOR PAPERS: Special issue on Game Theoretic Models of Communication (DEADLINE: 31:03:2012)
W1 Junior Professorship in Algorithmic Game Theory, Paderborn, GERMANY (DEADLINE: 29:02:2012)
CALL FOR PAPERS: Special Issue in Logics, Agents, and Mobility (DEADLINE: 20:05:2012)
12th International Summer School and Symposium on Humour and Laughter, Savonlinna, FINLAND (DEADLINE: 31:03:2012)
more details: http://www.humoursummerschool.org/12/
Fellowships in the Center for Mind, Brain and Cognitive Evolution, Bochum , GERMANY (DEADLINE: 01:06:2012)
more details: http://www.ruhr-uni-bochum.de/philosophy/mibra/index_en.html
Alexander Tamas Research Fellowship on Machine Superintelligence, Oxford (U.K.) (DEADLINE: 27:02:2012)
Miscellaneous Bulletin
Subscribe to miscellaneous bulletin.
NEW BOOK: "New Frontiers in Human-Robot Interaction"
more details: http://homepages.feis.herts.ac.uk/~comqkd/NFHRI-AIS-2011.pdf
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.
