Weekly Bulletin

AISB Weekly Bulletin Items for May 2013

Event Bulletin

Subscribe to event bulletin.

CALL FOR PARTICIPATION: Workshop on Intensionality in Mathematics, 11-12 May 2013, Lund, SWEDEN
more details: http://www.fil.lu.se/index.php?id=18879

FIRST ANNOUNCEMENT & CALL FOR PAPERS: Philosophy and Theory of Artificial Intelligence, 21-22 Sep 2013, Oxford (U.K.) (DEADLINE: 13:06:2013)
more details: http://www.pt-ai.org/2013/

REGISTRATION & GRANT ANNOUNCEMENT: History and Philosophy of Infinity, 20-23 Sep 2013, Cambridge, UK (DEADLINE: 31:05:2013)
more details: http://www.math.uni-hamburg.de/home/loewe/HiPhI/

CALL FOR PAPERS & AGENT SUBMISSIONS: IJCAI 2013 Angry Birds AI Competition, 6-9 August 2013 , Beijing, CHINA (DEADLINE: 30:06:2013)
more details: http://www.aibirds.org

CALL FOR PAPERS: 16th International Conference on Principles and Practice of Multi-Agent Systems, Dec 3-6, 2013, Dunedin, NEW ZEALAND (DEADLINE: 01:07:2013)
more details: http://prima2013.otago.ac.nz/

2nd CALL FOR INFORMAL PRESENTATIONS: COMPUTABILITY IN EUROPE 2013: The Nature of Computation, July 1 - 5, 2013, Milan, ITALY (DEADLINE: 31:05:2013)
more details: http://cie2013.disco.unimib.it

CALL FOR PAPERS: IEEE International Workshop on Formal Methods Integration, August 14-16, 2013, San Francisco, USA-DEADLINE EXTENDED (DEADLINE: 25:05:2013)
more details: http://www.sis.pitt.edu/~iri2013/FMi_workshop.html

FINAL CALL FOR PAPERS: 3rd International Conference on ALGORITHMIC DECISION THEORY, Nov. 13-15, 2013, Brussels, BELGIUM (DEADLINE: 10:05:2013)
more details: www.adt2013.org

CALL FOR PAPERS: Workshop on Cloud Computing Issues and Trends, Oct 7-9, 2013 , London UK (DEADLINE: 20:05:2013)
more details: http://thesai.org/SAIConference2013/CCIT_CFP

CALL FOR PAPERS: Investigating Semantics, 10-12 Oct 2013, Bochum, GERMANY (DEADLINE: 16:06:2013)
more details: http://www.rub.de/phil-lang/investigating/

CALL FOR PAPERS: 7th Int'l Workshop on Modular Ontologies, 15 Sep, 2013, Corunna, SPAIN (DEADLINE: 05:07:2013)
more details: http://www.iaoa.org/womo/2013.html

1st CALL FOR PAPERS: Computational Logic in Multi-Agent Systems, 16-17 Sep 2013, Corunna, SPAIN (DEADLINE: 06:06:2013)
more details: http://centria.di.fct.unl.pt/events/climaXIV/

CALL FOR PAPERS: Norms and Normative Multi-Agent Systems, 16-17 Sep 2013, Corunna, SPAIN (DEADLINE: 06:06:2013)
more details: http://centria.di.fct.unl.pt/events/climaXII/

CALL FOR PAPERS: Algorithms and Computation, 16-18 Dec 2013, Hong Kong, CHINA (DEADLINE: 15:06:2013)
more details: http://www.cs.hku.hk/isaac2013/

CALL FOR PAPERS: 26th Australasian Joint Conference on Artificial Intelligence, 3-6 Dec., Dunedin, New Zealand (DEADLINE: 01:07:2013)
more details: http://ai2013.otago.ac.nz

CALL FOR PAPERS: 12th Scandinavian Conference on Artificial Intelligence, Nov 20-22, 2013, Aalborg, DENMARK (DEADLINE: 01:06:2013)
more details: http://scai2013.cs.aau.dk/

CALL FOR PAPERS International Workshop on Experimental Economics and Machine Learning, Dec 8 2013, Dallas, Texas, USA (DEADLINE: 20:07:2013)
more details: http://eeml2013.hse.ru/

FINAL CALL FOR PAPERS: History and Philosophy of Computing, 28-31 October, Paris, FRANCE-EXTENDED DEADLINE (DEADLINE: 15:05:2013)
more details: http://hapoc2013.sciencesconf.org

FINAL CALL FOR PAPERS: IEEE International Workshop on Formal Methods Integration, August 14-16, 2013, San Francisco, USA (DEADLINE: 25:05:2013)
more details: http://www.sis.pitt.edu/~iri2013/FMi_workshop.html

CALL FOR PARTICIPATION: Socratic Dialogue 'What is my responsibility to my community?', London 1 June 2013, St. Mary’s University College, London

CALL FOR PARTICIPATION: 60th Parallel Workshop on Constructivism and Proof Theory, 20-21 May 2013, Stockholm, SWEDEN
more details: www.math.su.se/~palmgren/parallel60.html

CALL FOR PARTICIPATION: British Logic Colloquium 2013, 4-5 Sep 2013, Leeds (U.K.)
more details: http://www1.maths.leeds.ac.uk/~blc2013/

CALL FOR PAPERS: Vagueness, Imprecision and Uncertainty in Description Logics, 11-14 Oct 2013, Halifax, CANADA (DEADLINE: 25:01:2013)
more details: http://cs.smu.ca/jrs2013/

CALL FOR PAPERS: Workshop on Cloud Computing Issues and Trends, October 7-9, 2013, London UK (DEADLINE: 20:05:2013)
more details: http://thesai.org/SAIConference2013/CCIT_CFP

CALL FOR PAPERS: Doctoral Consortium at 13th International Conference on Intelligent Virtual Agents, August 29-31st, Edinburgh, Scotland, UK (DEADLINE: 29:05:2013)
more details: http://www.cstr.ed.ac.uk/iva2013/

CALL FOR PAPERS: Reachability Problems, 25-27 Sep 2013, Uppsala, SWEDEN (DEADLINE: 24:05:2013)
more details: http://www.it.uu.se/conf/RP2013/

CALL FOR PARTICIPATION: David Chalmers "Structuralism, Space and Skepticism", 21-23 May 2013, Bochum, GERMANY
more details: http://www.rub.de/philosophy/carnaplectures/Home.html

CALL FOR PAPERS: SCAI 2013 Doctoral Symposium - the 12th Scandinavian AI conference, November 20, 2013, Aalborg, DENMARK (DEADLINE: 01:08:2013)
more details: http://scai2013.cs.aau.dk/

CALL FOR WORKSHOP PROPOSALS: Australian Joint Conference on AI / PRIMA 2013, Dec 3-6. Dunedin, NEW ZEALAND (DEADLINE: 24:06:2013)

Opportunities Bulletin

Subscribe to opportunities bulletin.

Lectureship in Philosophy, Southampton (U.K.) (DEADLINE: 24:05:2013)
more details: www.jobs.soton.ac.uk

(Associate/Full) Professorship in Logic/Statistics/Computer Science, Kobe, JAPAN (DEADLINE: 31:05:2013)
more details: http://www.csi.kobe-u.ac.jp/english/koubo/20130403_e.pdf

DEL CAST PhD Studentship - Recommender system software platform for 360 MAM, NI (DEADLINE: 10:05:2013)
more details: www.ulster.ac.uk/applyonline

Temporary Professorship in Theoretical Philosophy (4 months), Vienna, AUSTRIA (DEADLINE: 22:05:2013)

Two postdoctoral research assistantships in automated verification and synthesis, Oxford, U.K (DEADLINE: 31:05:2013)
more details: http://www.cs.ox.ac.uk/news/636-full.html

Professorship in Theoretical Philosophy (specialization: Logic), Stockholm, SWEDEN (DEADLINE: 11:06:2013)
more details: http://www.su.se/english/about/vacancies/lecturers-researchers/professor-in-theoretical-philosophy-with-a-specialisation-in-logic-1.133749

PhD student position in automata theory, Bordeaux, FRANCE

Faculty positions in mathematics (lecturer / associate professor), Leeds (U.K.) (DEADLINE: 19:05:2013)
more details: http://www.maths.leeds.ac.uk

College Lectureship in Philosophy, Oxford (U.K.) (DEADLINE: 21:05:2013)
more details: http://www.philosophy.ox.ac.uk/vacancies/career-development_college_lecturership_in_philosophy,_trinity_college

Visiting Assistant Professorship in medieval philosophy / epistemology / logic, Asheville NC (U.S.A) (DEADLINE: 15:05:2013)

Postdoctoral position in logic, proof theory and semantics, Nancy , FRANCE (DEADLINE: 15:06:2013)

CALL FOR PAPERS: "The Life and Work of Leon Henkin" (Essays on His Contributions) (DEADLINE: 01:09:2013)
more details: http://logicae.usal.es/henkin

Faculty position in philosophy, Darussalam, BRUNEI (DEADLINE: 04:06:2013)

PhD student position or postdoctoral position in philosophy of language, Bochum, GERMANY (DEADLINE: 15:06:2013)

Senior Lectureship in Philosophy of Science, Stockholm, SWEDEN (DEADLINE: 11:06:2013)

Postdoctoral position in machine learning, San Diego CA (U.S.A.)

BCS Machine Intelligence Competition, 7 Oct 2013, London, UK (DEADLINE: 26:07:2013)
more details: http://www.bcs-sgai.org/micomp/

LoPhisc: Master in Logic, Philosophy of Science & Epistemology, Paris, FRANCE

European Master's programme in Computational Logic, Bolzano/Dresden/Lisbon/Vienna (ITALY/GERMANY/PORTUGAL/AUSTRIA)

Postdoctoral research fellow in philosophy of science, Johannesburg, SOUTH AFRICA (DEADLINE: 15:07:2013)

Full Professorship in Theoretical Philosophy, Vienna, AUSTRIA (DEADLINE: 21:06:2013)

MPhil by Research post on Integrating Computation and Knowledge, Aberdeen SCOTLAND
more details: http://www.findaphd.com/search/ProjectDetails.aspx?PJID=45058&LID=16

PhD scholarships in mathematics, Barcelona, SPAIN (DEADLINE: 20:06:2013)

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.