Notice

Weekly Bulletin

AISB Weekly Bulletin Items for September 2012

Event Bulletin

Subscribe to event bulletin.

CALL FOR PAPERS:Workshop on Information and Decisions in Social Networks, 8-9 Nov 2012, Cambridge MA (U.S.A.) (DEADLINE: 15:09:2012)
more details: http://wids.lids.mit.edu/

CALL FOR PAPERS: 8th Australasian Ontology Workshop, 4 Dec 2012, Sydney, AUSTRALIA (DEADLINE: 10:10:2012)
more details: http://aow2012.yolasite.com/

CALL FOR PARTICIPATION: German Conference on Artificial Intelligence, 24-27 Sep 2012, Saarbruecken, GERMANY
more details: http://www.dfki.de/KI2012/

CALL FOR PARTICIPATION: International Semantic Web Conference, 11-15 Nov 2012, Boston MA (U.S.A.)

CALL FOR PARTICIPATION: Calcutta Logic Circle, 29 Sep - 1 Oct 2012, Kolkata, INDIA
more details: http://home.iitk.ac.in/~mohua/clc2012.htm

CALL FOR PARTICIPATION: Reachability Problems, 17-19 Sep 2012, Bordeaux, FRANCE

BCS Machine Intelligence Competition and Real AI 2012
more details: http://www.bcs-sgai.org/micomp/

CALL FOR PARTICIPATION: 21st ACM International Conference on Information and Knowledge Management, Oct. 29 Nov. 2, 2012, Maui, HAWAII
more details: http://www.cikm2012.org

CALL FOR SYMPOSIA PROPOSALS: AISB '13, 2-5 April 2013, University of Exeter, UK- DEADLINE EXTENSION (DEADLINE: 14:09:2012)
more details: http://www.aisb.org.uk/convention/aisb13

CALL FOR PARTICIPATION: "New Scholastic meets Analytic Philosophy", 7-8 Dec 2012, Cologne, GERMANY
more details: http://www.lindenthal-institut.de/index.php/colloquientermin/events/new-scholastic-meets-analytic-philosophy.html

FINAL INVITATION TO REGISTER: Real AI Day and Machine Intelligence competition, Oct 5th, 2012, London, UK
more details: http://www.bcs-sgai.org/micomp/

CALL FOR PAPERS: 30th International Symposium on Theoretical Aspects of Computer Science, Feb 27-March 2, 2013, Kiel, GERMANY (DEADLINE: 21:09:2012)

CALL FOR PAPERS: EUMAS 2012, 18-19 December, Dublin, IRELAND - EXTENDED DEADLINES (DEADLINE: 30:09:2012)
more details: http://eumas2012.ucd.ie/

CALL FOR PAPERS: Designing Intelligent Robots: Reintegrating AI II, March 25th-27th 2013, Stanford University, USA (DEADLINE: 05:10:2012)
more details: http://people.csail.mit.edu/gdk/dir2/

CALL FOR PAPERS: What is/was logic? 3-7 April 2013, Rio de Janeiro, BRAZIL (DEADLINE: 01:11:2012)
more details: http://uni-log.org/start4.html

CALL FOR PAPERS: 12th International Conference on Autonomous Agents and Multiagent Systems, May 6-10, 2013, Saint Paul, Minnesota, USA (DEADLINE: 08:10:2012)
more details: http://aamas2013.cs.umn.edu/

1st CALL FOR PAPERS: Shapes 2.0: The shape of things, 29 Mar - 7 Apr 2013, Rio de Janeiro, BRAZIL (DEADLINE: 12:11:2012)
more details: http://cindy.informatik.uni-bremen.de/cosy/events/shapes2/

2nd CALL FOR PAPERS: 7th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, April 2-5, 2013, Bilbao, SPAIN (DEADLINE: 09:11:2012)
more details: http://grammars.grlmc.com/LATA2013/

CALL FOR PAPERS: 30th International Conference on Machine Learning, June 16-21, 2013, Atlanta, Georgia, USA (DEADLINE: 01:10:2012)

CALL FOR REGISTRATION AND PARTICIPATION: Computational Logic: 70th birthday of Melvin Fitting, 4-5 Oct 2012, New York NY (U.S.A.)
more details: http://cslogic.info/ComputationalLogicFitting70/

CALL FOR PARTICIPATION: Turing100.nl: symposium & theatre performance, 5 Oct 2012, Amsterdam, THE NETHERLANDS
more details: http://www.turing100.nl/

CALL FOR PARTICIPATION: Spatial Representation and Logic, 11 Oct 2012, Lausanne, SWITZERLAND
more details: www.sgslps.ch

CALL FOR PARTICIPATION: Turing in Context II, Historical and Contemporary Research in Logic, Computing Machinery and Artificial Intelligence, 10-12 Oct 2012, Brussels, BELGIUM
more details: http://www.computing-conference.ugent.be/programme_tic2

CALL FOR PARTICIPATION: 2013 Human-Robot Interaction (HRI) Pioneers Workshop,March 3, 2013, Tokyo, JAPAN (DEADLINE: 01:11:2012)
more details: http://www.hripioneers.info/

CALL FOR PAPERS: 6th Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, 19-20 Jan 2013, Cambridge (U.K.) (DEADLINE: 16:11:2012)

Opportunities Bulletin

Subscribe to opportunities bulletin.

PhD student positions in finite and algorithmic model theory, Darmstadt , GERMANY

Professorship Logic and Philosophy of Science, Salzburg, AUSTRIA (DEADLINE: 17:09:2012)

W3 Professorship Theoretical Philosophy, Erlangen, GERMANY (DEADLINE: 14:09:2012)

Research fellow in Natural Language Generation, University of Aberdeen, SCOTLAND

Research Fellow in Intelligent User Interfaces, University of Aberdeen, SCOTLAND

PhD student position in logic and theoretical philosophy, Amsterdam, THE NETHERLANDS (DEADLINE: 08:10:2012)
more details: http://www.english.uva.nl/vacancies/vacancies.cfm/7D8B6D54-2571-4217-B793D4AC9C89490E

Visiting PhD student position (4m) in proof complexity, Prague, CZECH REPUBLIC (DEADLINE: 15:10:2012)
more details: http://www1.maths.leeds.ac.uk/maloa/Positions.html

Assistant Professorship in Phil of Mind or Logic, Stanford CA (U.S.A.) (DEADLINE: 11:11:2012)
more details: http://www.interfolio.com/apply/14053

PhD position in Algorithmic Game Theory, Amsterdam, THE NETHERLANDS (DEADLINE: 30:09:2012)

Postdoc position position in statistical machine translation, Amsterdam, THE NETHERLANDS (DEADLINE: 22:10:2012)

PhD student position in statistical machine translation, Amsterdam, THE NETHERLANDS (DEADLINE: 12:10:2012)

CALL FOR PAPERS: Special issue on THE QUESTION OF BIO-MACHINE HYBRIDS (DEADLINE: 28:02:2013)

PhD student position in grammatical formalisms, Umea , SWEDEN
more details: http://www8.umu.se/umu/aktuellt/arkiv/lediga_tjanster/313-776-12.html#eng

Two PhD student positions in formal frameworks for computer security, Luxembourg, LUXEMBOURG (DEADLINE: 15:10:2012)

W3 Professorship in Theoretical Computer Linguistics, Stuttgart, GERMANY (DEADLINE: 02:11:2012)

Postdoctoral position in digital humanities, Houston TX (U.S.A.) (DEADLINE: 15:10:2012)
more details: http://www.uh.edu/class/grants/digital-humanities-pd/index.php

Postdoc position (6 years) in philosophy of mind, Berlin , GERMANY

Two PhD student positions in natural language processing, Hamburg, GERMANY
more details: http://www.verwaltung.uni-hamburg.de/stellenangebote/Stipendium_CINACS_210812.pdf

W2 Professorship Theoretical Computer Science / Discrete Maths (FH), Hamburg, GERMANY

PhD student position and postdoc position in formal methods, Luebeck, GERMANY (DEADLINE: 07:10:2012)

CALL FOR PAPERS: Special issue on Artifact Categorization (DEADLINE: 15:11:2012)

Games Winter School 2013, 4-8 Feb 2013, Champery, SWITZERLAND (DEADLINE: 15:11:2012)
more details: http://isi.unil.ch/champery2013/

Postdoctoral position in automated reasoning, Verona, ITALY

Introduction of habilitation as a necessary requirement for applying for academic jobs in Italy (DEADLINE: 20:11:2012)

Miscellaneous Bulletin

Subscribe to miscellaneous bulletin.

"Breaking the Code", Theatre production of Hugh Whitemore's play in Paderborn, Hamburg, Braunschweig, Amsterdam, and Almere

Weizenbaum Award for AISB Fellow


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