Notice

Weekly Bulletin

AISB Weekly Bulletin Items for January 2012

Event Bulletin

Subscribe to 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 PARTICIPATION: "Perspectives on Wittgenstein's Philosophy of Mathematics, 24-25 Aug 2012, Zurich, SWITZERLAND

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 PARTICIPATION: Interdisciplinary College on "Emotion and Aesthetics" , March 16 - 23, 2012, GERMANY

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

Whitehead lecture on approaches to computational creativity. Wed 25th Jan 2012, Goldsmiths College, LONDON

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)

new association: CADILLAC, Copenhagen Association for Dynamics, Interaction, Logic, Language And Computation

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

NEW BOOK: Bridges-Vita, Apartness and Uniformity

NEW BOOK: Halbeisen, Combinatorial Set Theory


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