Notice

Weekly Bulletin

AISB Weekly Bulletin Items for June 2016

Event Bulletin

Subscribe to event bulletin.

CALL FOR PAPERS: Logical Aspects of Computational Linguistics, Dec 5-7 2016, LORIA Nancy, FRANCE (DEADLINE: 15:06:2016)
more details: http://lacl.gforge.inria.fr/

CALL FOR PAPERS: Poznan Reasoning Week, 5-10 Sep 2016, Poznan, POLAND (DEADLINE: 30:06:2016)
more details: https://poznanreasoningweek.wordpress.com/

CALL FOR PARTICIPATION: Plural Foundations Conference, 17 Jun 2016, Leeds, ENGLAND

CALL FOR PAPERS: Colloquium Logicum, 10-12 Sep 2016, Hamburg, GERMANY (DEADLINE: 20:06:2016)
more details: http://www.math.uni-hamburg.de/spag/ml/CL2016

FINAL CALL FOR PAPERS: AI-2016 Cambridge, UK, 13th-15th 2016, Cambridge, UK (DEADLINE: 10:06:2016)
more details: http://www.bcs-sgai.org/ai2016/

CALL FOR PAPERS: Logic & Computational Complexity, 2-3 Sep 2016, Marseille, FRANCE (DEADLINE: 17:06:2016)
more details: http://lcc2016.cs.unibo.it/

CALL FOR PAPERS: Agency & Causation (Third Workshop on Logic, Reasoning, and Rationality), 27-28 Oct 2016, Gent, BELGIUM (DEADLINE: 17:06:2016)
more details: /ac>http://www.lrr.ugent.be/ac

CALL FOR REGISTRATION: ILP2016: 1st International Competition (DEADLINE: 01:01:2016)
more details: http://ilp16.doc.ic.ac.uk/competition

CALL FOR PARTICIPATION: Artificial Life and Intelligent Agents 2016 (ALIA 2016), 14th and 15th June, Aston University, UK.
more details: http://2016.aliasymposium.com/

CALL FOR ABSTRACTS: AISB Workshop: The Machine as Mirror, 6th Sep 2016, Leicester, UK (DEADLINE: 25:07:2016)
more details: https://machineasmirror.wordpress.com/2016/06/02/workshop-the-machine-as-mirror/

CALL FOR PAPERS: Temporal Representation and Reasoning, 17-19 Oct 2016, Kungens Lyngby, DENMARK (DEADLINE: 20:06:2016)
more details: http://time2016.compute.dtu.dk

CALL FOR PAPERS: Algorithms & Computation, 12-14 Dec 2016, Sydney, AUSTRALIA (DEADLINE: 24:06:2016)
more details: http://www.it.usyd.edu.au/~visual/isaac2016

CALL FOR COURSE & WORKSHOP PROPOSALS: Logic, Language and Information, 17-28 Jul 2017, Toulouse, FRANCE (DEADLINE: 15:07:2016)

CALL FOR PAPERS: What can FCA do for Artificial Intelligence, Aug 30 2016, The Hague, THE NETHERLANDS (DEADLINE: 15:06:2016)
more details: http://www.fca4ai.hse.ru/2016

CALL FOR ABSTRACTS: Foundations of Mathematical Structuralism, 12-14 Oct 2016, Munich, GERMANY (DEADLINE: 30:06:2016)
more details: http://www.mathematicalstructuralism2016.philosophie.uni-muenchen.de/index.html

CALL FOR PAPERS: Computational Creativity, Concept Invention, and General Intelligence, 20-21 Aug 2016, Bolzano, ITALY (DEADLINE: 19:06:2016)
more details: http://c3gi.inf.unibz.it/

CALL FOR PARTICIPATION: Computability in Europe, 27 Jun - 1 Jul 2016, Paris, FRANCE
more details: http://lipn.univ-paris13.fr/CIE2016/

CALL FOR ABSTRACTS: Truth: Deflationism & Beyond, 23-24 Sep 2016, Alghero, ITALY (DEADLINE: 03:07:2016)

CALL FOR PAPERS: The 29th Australasian Joint Conference on Artificial Intelligence, 5-9 Dec 2016, Hobart, Tasmania, AUSTRALIA, (DEADLINE: 10:07:2016)
more details: https://ai2016.net/

CALL FOR SYSTEM DEMOS: ECAI 2016, 29 Aug - 2 Sep 2016, Den Haag, THE NETHERLANDS) (DEADLINE: 27:06:2016)
more details: http://www.ecai2016.org/

CALL FOR PAPERS: Logics in Artificial Intelligence, 9-11 Nov 2016, Larnaca, CYRPUS (DEADLINE: 23:06:2016)
more details: http://www.cyprusconferences.org/jelia2016/

FINAL CALL FOR PAPERS: 13th International Symposium on Distributed Autonomous Robotic Systems, November 7-9, 2016. Natural History Museum, London, UK (DEADLINE: 05:07:2016)
more details: http://dars2016.org

CALL FOR PAPERS: Temporal Representation and Reasoning, 17-19 Oct 2016, Kungens Lyngby, DENMARK - EXTENDED DEADLINE (DEADLINE: 27:06:2016)
more details: http://time2016.compute.dtu.dk

CALL FOR PAPERS: Theory and Practice of Natural Computing, 12-14 Dec 2016, Sendai, JAPAN (DEADLINE: 26:07:2016)
more details: http://grammars.grlmc.com/TPNC2016/

CALL FOR PAPERS: Artificial Intelligence, 7-9 Dec 2016, Chiang Mai, THAILAND (DEADLINE: 01:08:2016)
more details: http://khamreang.msu.ac.th/miwai16

CALL FOR PAPERS: Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, 40 years of CLE, 12-15 Sep 2016, Campinas, BRAZIL - EXTENDED DEADLINE (DEADLINE: 30:07:2016)
more details: http://www.cle.unicamp.br/trendsxvi/index.html

CALL FOR POSTERS AND DEMOS: Semantic Web, 17-21 Oct 2016, Kobe, JAPAN (DEADLINE: 07:07:2016)
more details: http://iswc2016.semanticweb.org

CALL FOR PAPERS: Computational Creativity, Concept Invention, and General Intelligence, 20-21 Aug 2016, Bolzano, ITALY-EXTENDED DEADLINE (DEADLINE: 29:06:2016)
more details: http://c3gi.inf.unibz.it/

CALL FOR PARTICIPATION: Artificial Intelligence, 29 Aug - 2 Sep 2016, Den Haag, THE NETHERLANDS (DEADLINE: 05:07:2016)
more details: http://www.ecai2016.org/

CALL FOR WORKSHOP PROPOSALS: Australasian Joint Conference on AI, 7-9 Dec 2016, Hobart, AUSTRALIA (DEADLINE: 01:07:2016)
more details: https://ai2016.net/

FREE PLACES at Disruptive Technologies, Sep 29th 2016, The Wellcome Collection, London, UK
more details: http://www.techdisruption.co.uk/

Opportunities Bulletin

Subscribe to opportunities bulletin.

Postdoctoral Researcher in Information Ethics, University of Oxford. UK (DEADLINE: 30:06:2016)
more details: http://tinyurl.com/jlbfg3e

Postdoctoral fellowship in situated semantics, Munich, GERMANY (DEADLINE: 15:06:2016)

PhD student or postdoctoral position on oligomorphic clones, Vienna, AUSTRIA

PhD student position in Logic for Multiscale Network Modelling, Leeds, UK (DEADLINE: 17:06:2016)

Associate Senior Lectureship (4y) in Computational Linguistics, Gothenburg, SWEDEN

European Master's Programme in Computational Logic, Bolzano/Dresden/Lisbon/Vienna (Italy/Germany/Portugal/Austria)
more details: http://www.emcl-study.eu/home.html

CALL FOR REGISTRATION: 18th European Agent Systems Summer School, 25-30 July 2016, Catania, ITALY (DEADLINE: 10:06:2016)
more details: http://easss2016.dmi.unict.it

PhD student position on formal methods for testing of networks of controllers, Grenoble, FRANCE (DEADLINE: 15:07:2016)
more details: http://convecs.inria.fr/jobs/2016c.html

Postdoctoral Researcher in Information of Ethics, Oxford, UK (DEADLINE: 30:06:2016)
more details: http://www.oii.ox.ac.uk/people/newpositions/#p55

Alan Turing Institute Fellowships (DEADLINE: 13:07:2016)
more details: https://turing.ac.uk/jobs/fellowships/

AI/RDF Developer/Researcher, Birmingham, UK - DEADLINE CLOSING SOON

CALL FOR PAPERS: IEEE Computer Special Issue on Quality-of-Life Technologies (DEADLINE: 01:07:2016)

W3 Professorship in Philosophy of Language and Mind, Konstanz, GERMANY (DEADLINE: 23:06:2016)

W1 Junior Professorship in Mathematical Logic, Muenster, GERMANY (DEADLINE: 09:09:2016)

NEW BOOK: Turing's Revolution - The impact of his ideas about computability, (eds) Giovanni Sommaruga and Thomas Strahm.

Postdoctoral position in epistemic protocol synthesis, Nancy, FRANCE (DEADLINE: 15:07:2016)

CALL FOR PAPERS: special issue of Journal of Symbolic Computation on "Symbolic Computation in Software Science" (DEADLINE: 27:06:2016)
more details: http://www.risc.jku.at/~tkutsia/organization/jsc-scss-2016.html

Masters in Logic and Theory of Science at the Eoetvoes University, Budapest, HUNGARY
more details: http://phil.elte.hu/logic/ma

CALL FOR REGISTRATION: Inductive Logic Programming: First International ILP Competition (DEADLINE: 01:08:2016)
more details: http://ilp16.doc.ic.ac.uk/competition

2017 Essay Prize of the Metaphysics of Entanglement Project: "What is Structure?", University of Oxford (DEADLINE: 16:12:2016)
more details: http://www.metaphysics-of-entanglement.ox.ac.uk

DGfS Summer School "Mapping Meaning", 15-26 Aug 2016, Tuebingen, GERMANY (DEADLINE: 30:06:2016)
more details: http://www.sfb833.uni-tuebingen.de/ev/dgfs-summer-school-2016-sfb-833.html

W2 professorship in philosophy (epistemology), Bayreuth, GERMANY (DEADLINE: 26:08:2016)

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/201410/201411/201412/2014
20151/20152/20153/20154/20155/20156/20157/20158/20159/201510/201511/201512/2015
20161/20162/20163/20164/20165/20166/2016


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.