Notice

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

FINAL CALL FOR PAPERS AND POSTERS : AI-2013: December 10th-12th 2013, Cambridge, UK (DEADLINE: 28:05:2013)
more details: http://www.bcs-sgai.org/ai2013/

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)

CALL FOR PAPERS: 2013 IEEE International Conference on Bioinformatics and Biomedicine, Dec 18-21 2013, Shanghai, CHINA (DEADLINE: 31:07:2013)
more details: http://bibm2013.tongji.edu.cn/

CALL FOR WORKSHOP PROPOSALS: 2013 IEEE International Conference on Bioinformatics and Biomedicine, Dec 18-21, 2013, Shanghai, CHINA (DEADLINE: 10:06:2013)

CALL FOR PAPERS & WORKSHOP PROPOSALS: 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 14-19 Dec 2013, Stellenbosch, SOUTH AFRICA (DEADLINE: 15:07:2013)
more details: www.LPAR-19.info

CALL FOR PAPERS: THEORY AND PRACTICE OF NATURAL COMPUTING, Dec 3-5, 2013, Cáceres, SPAIN (DEADLINE: 16:07:2013)
more details: http://grammars.grlmc.com/tpnc2013/

CALL FOR PAPERS: Logic and Computational Complexity, 6 Sep 2013, Torino, ITALY (DEADLINE: 20:06:2013)
more details: http://csl13.di.unito.it/

CALL FOR PAPERS: Salzburg Conference for Young Analytic Philosophy, 12-14 Sep 2013, Salzburg, AUSTRIA (DEADLINE: 09:06:2013)
more details: http://www.sophia-conference.org/

CALL FOR PROPOSALS: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (DEADLINE: 30:06:2013)

CALL FOR PAPERS: Workshop on Reinforcement Learning with Generalized Feedback: Beyond Numeric Rewards, Sep 23rd 2013, Prague, CZECH REPUBLIC (DEADLINE: 28:06:2013)
more details: http://www.ke.tu-darmstadt.de/events/PBRL-13/pbrl-13.html

CALL FOR PARTICIPATION: Postgraduate workshop on alternative set theories, 22-24 June 2013, Amsterdam, THE NETHERLANDS
more details: http://www.math.uni-hamburg.de/home/loewe/AST2013/

CALL FOR ABSTRACTS: Orienting Solutions 2013: Solution-focused, enactive and narrative research conference, 19-20 Sep 2013, University of Hertfordshire, Hatfield, UK (DEADLINE: 15:06:2013)
more details: http://www.asfct.org/research.php

CALL FOR PAPERS: Workshop on Logics for Resources, Processes and Programs, 16 Sep 2013, Nancy, FRANCE (DEADLINE: 24:06:2013)
more details: http://www.loria.fr/~galmiche/LRPP2013.html

FINAL CALL FOR PAPERS: 14th International Workshop on 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 AND POSTERS: AI-2013, December 10th-12th 2013, Cambridge, UK (DEADLINE: 07:06:2013)
more details: http://www.bcs-sgai.org/ai2013/

CALL FOR PAPERS: Ethics of Cyber Conflict, November 2013, Rome, ITALY (DEADLINE: 09:09:2013)

CALL FOR PAPERS: 4th INTERNATIONAL WORKSHOP ON LOGIC, RATIONALITY AND INTERACTION, Oct 9 - 12, 2013, Hangzhou, P.R. CHINA- EXTENDED DEADLINE (DEADLINE: 07: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)

Postdoctoral Fellowship on Virtual Agents, Carnegie Mellon University, USA

Postdoctoral position (2y) in set theory, Torino, ITALY (DEADLINE: 28:05:2013)

Associate Professors in Computer Science at Aarhus University, DENMARK (DEADLINE: 15:08:2013)
more details: http://www.cs.au.dk/

CSIRO Intelligent Sensing and Systems Laboratory (ISSL) positions, TASMANIA (DEADLINE: 26:05:2013)

Summer School on Advanced Statistics and Data Mining, Madrid, SPAIN
more details: http://www.dia.fi.upm.es/ASDM

Travel grants for "Goedel Philosopher: From Logic to Cosmology", 11-13 July 2013, Aix-en-Provence, FRANCE (DEADLINE: 30:05:2013)
more details: http://sites.univ-provence.fr/wceperc/spip.php?article1239

PhD scholarship in philosophy (epistemology), Utrecht, THE NETHERLANDS (DEADLINE: 02:06:2013)
more details: http://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/Vacancy.cfm?PortalID=4124&VacatureID=577638&BedrijfID=0,

New editorial board: book series Trends in Logic
more details: http://www.springer.com/series/6645

CALL FOR SUBMISSIONS: Advances in Cognitive Systems Journal
more details: http://www.cogsys.org/instructions/

PhD student or Postdoctoral position in Philosophy of Language, Neurolinguistics or Neurosemantics, Bochum, GERMANY (DEADLINE: 15:06:2013)

Temporary part-time teaching position in theoretical philosophy, Leiden, THE NETHERLANDS (DEADLINE: 10:06:2013)

CALL FOR SUBMISSIONS: Computational Cognitive Science Journal
more details: http://www.springer.com/engineering/computational+intelligence+and+complexity/journal/40469

CALL FOR BOOK REVIEW: 'Explaining the Computational Mind' by Marcin Milkowski
more details: http://www.amazon.co.uk/Explaining-Computational-Mind-Marcin-Milkowski/dp/0262018861/ref=sr_1_1?ie=UTF8&qid=1370005738&sr=8-1&keywords=explaining+the+computational+mind

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