Notice

Weekly Bulletin

AISB Weekly Bulletin Items for April 2014

Event Bulletin

Subscribe to event bulletin.

CALL FOR PAPERS: 15th International Workshop on Computational Logic in Multi-Agent Systems, Aug 18-19, 2014, Prague, CZECH REPUBLIC (DEADLINE: 11:05:2014)
more details: http://www-sop.inria.fr/members/Serena.Villata/climaXV.html

FINAL CALL FOR PAPERS: Workshop on Quantification, 18 Jul 2014, Vienna, AUSTRIA - EXTENDED DEADLINE (DEADLINE: 25:04:2014)
more details: http://vsl2014.at/quantify

CALL FOR PAPERS: Applications of Semantic Technologies, 22 Sep 2014, Stuttgart, GERMANY (DEADLINE: 22:04:2014)
more details: http://ast2014.fzi.de

CALL FOR PAPERS AND POSTERS: AI-2014, December 9-11, 2014, Cambridge, UK, (DEADLINE: 27:05:2014)
more details: http://www.bcs-sgai.org/ai2014/

CALL FOR PARTICIPATION: Workshop on Propositions, 7-8 May 2014, Leeds (U.K.)
more details: http://natureofrepresentation.wordpress.com/activities/

CALL FOR PARTICIPATION: PhDs in Logic VI, 24-25 Apr 2014, Utrecht, THE NETHERLANDS
more details: http://phdsinlogic2014.wp.hum.uu.nl

CALL FOR PAPERS: Constraint Solving and Language Processing, 17-18 Jun 2014, Toulouse, FRANCE (DEADLINE: 24:04:2014)
more details: http://control.ruc.dk/CSLP2014

CALL FOR ABSTRACTS: Automated Reasoning Workshop & Deduktionstreffen, 23-24 Jul 2014, Vienna, AUSTRIA (DEADLINE: 01:05:2014)
more details: http://vsl2014.at/pages/ARWDT-index.html

CALL FOR PAPERS: Boolean Problems, 17-19 Sep 2014, Freiberg, GERMANY (DEADLINE: 30:04:2014)
more details: http://www.informatik.tu-freiberg.de/prof2/ws_bp11/index.html

CALL FOR PAPERS: International Symposium on Visual Information Communication and Interaction, Aug 5-8, Sydney, AUSTRALIA - EXTENDED DEADLINE (DEADLINE: 22:04:2014)
more details: http://www.vinci-conf.org/

CALL FOR PARTICIPATION: Doxastic Agency and Epistemic Responsibility, 2-3 Jun 2014, Bochum, GERMANY
more details: http://www.ruhr-uni-bochum.de/philosophy/logic/doxastic_agency/home-DAER.html

CALL FOR PAPERS: Computational Social Science and Social Computer Science: Two Sides of the Same Coin, 23.-24.6.2014, University of Surrey, UK - EXTENDED DEADLINE (DEADLINE: 18:04:2014)
more details: http://www.ias.surrey.ac.uk/workshops/computational/index.php

CALL FOR PAPERS: Logics for Games and Strategic Reasoning and Social Choice, 18-19 Aug 2014,Prague, CZECH REPUBLIC (DEADLINE: 11:05:2014)
more details: http://www-sop.inria.fr/members/Serena.Villata/climaXVsessions.html

CALL FOR PAPERS: French Philosophy of Mathematics Workshop, 9-11 Oct 2014, Toulouse, FRANCE (DEADLINE: 15:05:2014)

CALL FOR PAPERS: Concept Invention, Generation, Adaptation, and Representation, 22 Sep 2014, Rio de Janeiro, BRAZIL (DEADLINE: 15:05:2014)
more details: http://www.cogsci.uos.de/~cigar/

CALL FOR PAPERS: Algorithmic Learning Theory, 8-10 Oct 2014 Bled, SLOVENIA (DEADLINE: 09:05:2014)
more details: http://www-alg.ist.hokudai.ac.jp/~thomas/ALT14/index.html

CALL FOR PAPERS: Workshop on Modal Syllogistics, 11-13 Sep 2014, Lisbon, PORTUGAL (DEADLINE: 31:05:2014)
more details: http://www.lancog.com/modalsyllogistics.html

CALL FOR PAPERS: Proof, Structure and Computation, 17-18 Jul 2014, Vienna, AUSTRIA (DEADLINE: 01:05:2014)
more details: http://vsl2014.at/psc/

FINAL CALL FOR PARTICIPATION: AAMAS-14, 5-9 May, Paris, FRANCE
more details: http://aamas2014.lip6.fr/index.php

CALL FOR PAPERS: Colloquium of Philosophy of Logic (at XVI SLALM), 29 Jul 2014, Buenos Aires, ARGENTINA (DEADLINE: 10:05:2014)

CALL FOR LATE BREAKING PAPERS: International Conference on Computational Creativity, 2014,June 10-13, Ljubljana, SLOVENIA (DEADLINE: 05:05:2014)
more details: http://computationalcreativity.net/iccc2014/

CALL FOR PARTICIPATION: Fibrations in computing 2014 (Fibs'14), 23-24 Jun 2014, Glasgow, SCOTLAND
more details: http://www.msp.cis.strath.ac.uk/fibs-2014/

CALL FOR PAPERS: Knowledge Intensive Automated Reasoning, 17 Jul 2014, Vienna, AUSTRIA (DEADLINE: 28:04:2014)
more details: http://userpages.uni-koblenz.de/~bpelzer/kinar2014/

CALL FOR PAPERS: The Notion of Proof, 7-11 Jul 2014M Coimbra, PORTUGAL (DEADLINE: 20:05:2014)
more details: http://cicm-conference.org/2014/cicm.php?event=nop&menu=general

CALL FOR PAPERS: Italian Conference on Theoretical Computer Science, 17-19 Sep 2014, Perugia, ITALY (DEADLINE: 27:05:2014)
more details: http://www.dmi.unipg.it/ictcs2014

CALL FOR PAPERS: Euler Diagrams, 28 Jul 2014, Melbourne, AUSTRALIA (DEADLINE: 28:04:2014)
more details: http://www.diagrams-conference.org/2014/ED2014

FINAL CALL FOR PAPERS: Scandinavian Logic Symposium 2014, 25-27 Aug 2014, Tampere, FINLAND (DEADLINE: 25:04:2014)
more details: http://www.sis.uta.fi/SLS2014/

CALL FOR PARTICIPATION: C.S.Pierce: Logic and Metaphysics, 12 May 2014, Paris, FRANCE

CALL FOR PARTICIPATION: 2nd Workshop of the Turing Centenary Research Project: Mind, Mechanism and Mathematics, 12-14 May 2014, New York NY (U.S.A.)

3rd CALL FOR PAPERS AND POSTERS: AI-2014, 9-11 December 2014, Cambridge, UK (DEADLINE: 27:05:2014)
more details: http://www.bcs-sgai.org/ai2014/

CALL FOR PARTICIPATION: Descriptive Set Theory, 9 May 2014, Lausanne, SWITZERLAND
more details: www.sgslps.ch

CALL FOR PAPERS: Defeasible and Ampliative Reasoning, 19 Aug 2014, Prague, CZECH REPUBLIC (DEADLINE: 25:05:2014)
more details: http://dare2014.yolasite.com

CALL FOR PAPERS: Modular Ontologies, 22 Sep 2014, Rio de Janeiro, BRAZIL (DEADLINE: 23:05:2014)
more details: http://womo2014.bio-lark.org

INVITATION TO REGISTER: BCS SGAI: Eighth UK Symposium on Knowledge Discovery and Data Mining, 16 June 2014, London, UK
more details: http://ukkdd.org.uk/

CALL FOR PAPERS: Hypothetical Reasoning, 23-24 Aug 2014, Tuebingen, GERMANY (DEADLINE: 12:05:2014)
more details: http://ls.informatik.uni-tuebingen.de/hypo/

CALL FOR PARTICIPATION: Proof Theory, Modal Logic and Reflection Principles, 29 Sep to 2 Oct 2014, Mexico City, MEXICO
more details: http://personal.us.es/dfduque/PMR/

2nd CALL FOR LATE BREAKING PAPERS: International Conference on Computational Creativity, 2014 June 10-13, Ljubljana, SLOVENIA (DEADLINE: 05:05:2014)
more details: http://computationalcreativity.net/iccc2014/

Opportunities Bulletin

Subscribe to opportunities bulletin.

Postdoctoral position in theoretical philosophy, Konstanz, GERMANY (DEADLINE: 20:04:2014)
more details: http://www.uni-konstanz.de/stellenangebote/?cont=stellausw&seite=2014/064&id=1

PhD position, Affective computing, University of Geneva, SWITZERLAND (DEADLINE: 20:05:2014)

CALL FOR APPLICATIONS: European PhD Program in Computational Logic (EPCL), Bolzano/Dresden/Wien/Lisbon (ITALY/GERMANY/AUSTRIA/PORTUGAL) (DEADLINE: 30:04:2014)
more details: http://www.epcl-study.eu/

PhD position in formal / experimental pragmatics, University of Tübingen, GEERMANY (DEADLINE: 21:04:2014)

CALL FOR VOLUNTEERS: Vienna Summer of Logic, 9-24 Jul 2014, Vienna, AUSTRIA (DEADLINE: 25:05:2014)
more details: http://vsl2014.at

Postdoctoral position in mathematical logic, Utrecht, THE NETHERLANDS (DEADLINE: 01:05:2014)
more details: http://www.uu.nl/NL/Informatie/sollicitanten/Pages/Vacatures.aspx

PhD student and postdoctoral positions in epistemic protocol analysis, Nancy, FRANCE (DEADLINE: 15:05:2014)

Postdoctoral position in philosophy of science (including mathematics), Bielefeld, GERMANY (DEADLINE: 15:04:2014)

CALL FOR PAPERS: Special issue of Opiniao Filosofica on logic and epistemology in Kant and Hegel (DEADLINE: 31:05:2014)
more details: http://www.abavaresco.com.br/revista/

PhD student position in theoretical philosophy, Stockholm, SWEDEN (DEADLINE: 15:04:2014)
more details: www.su.se/ledigaanstallningar

Senior Lecturer/Reader in Machine Learning, University of Bath, UK (DEADLINE: 22:05:2014)
more details: http://www.jobs.ac.uk/job/AIO636/reader-senior-lecturer-in-machine-learning/

Professorship in Computational Linguistics, Lancaster (U.K.) (DEADLINE: 18:05:2014)
more details: https://hr-jobs.lancs.ac.uk/Vacancy.aspx?ref=A964

PhD position in software verification, Paris, FRANCE
more details: http://www.liafa.univ-paris-diderot.fr/index_en.php

Professorship in analytic philosophy (philosophy of language), Vienna, AUSTRIA (DEADLINE: 30:04:2014)

PhD student position in theory of higher-order verification, London (U.K.) (DEADLINE: 31:05:2014)

CALL FOR PAPERS: Special issue of Topoi on Presuppositions (DEADLINE: 15:05:2014)
more details: http://www.springer.com/philosophy/journal/11245

Three PhD student positions in theoretical philosophy, logic and philosophy of science, Gothenburg, SWEDEN (DEADLINE: 12:05:2014)
more details: http://www.flov.gu.se/english/education/doctoral-studies-third- cycle/postgraduate-subjects/

PhD Scholarship in Semantic Internet of Things (IoT) for Pervasive Environment Assisted Robotics Intelligence Control (DEADLINE: 02:06:2014)
more details: http://www2.hull.ac.uk/student/admissions/postgraduate/howtoapply/researchmastersphd.aspx

,CALL FOR PAPERS: 15th Towards Autonomous Robotic Systems, Sep 1-3 2014. University of Birmingham, U.K (DEADLINE: 02:05:2014)
more details: www.taros.org.uk

Postdoctoral position (1y) in semantics of programming languages and logic in computer science, Lyon, FRANCE (DEADLINE: 04:05:2014)

Research fellowship / assistant professorship in knowledge representation, Bolzano, ITALY

Postdoctoral and PhD student position in logic, Gothenburg, SWEDEN (DEADLINE: 12:05:2014)
more details: http://www.gu.se/english/about_the_university/announcements-in-the-job-application-portal/?languageId=0&disableRedirect=true&id=19144&Dnr=607677&Type=E

PhD student position and postdoctoral position in Situated Cognition, Bochum, GERMANY (DEADLINE: 30:04:2014)

PhD student position in a project relating to set theory and theories of truth, Aberdeen, SCOTLAND
more details: http://www.abdn.ac.uk/cass/graduate/elphinstone-phd-scholarships-329.php

CALL FOR COMMENTARIES: "Individual differences predict sensitivity to the uncanny valley" by Karl F. MacDorman & Steven O. Entezari (DEADLINE: 30:06:2014)

Summer School on "Individuals and Indeterminacy", 28 Jul - 8 Aug 2014, Bamberg, GERMANY
more details: http://www.summerschool-bamberg.de

4th Summer School on Formal Techniques, 19-23 May 2014, Atherton CA (U.S.A.)
more details: http://fm.csl.sri.com/SSFT14

Miscellaneous Bulletin

Subscribe to miscellaneous bulletin.

AISB Committee news


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