Notice

Weekly Bulletin

AISB Weekly Bulletin Items for July 2016

Event Bulletin

Subscribe to event bulletin.

CALL FOR PARTICIPATION: Third International Wormshop: Proof Theory, Modal Logic,and Reflection Principles, 5-9 Sep 2016, Tbilisi, GEORGIA
more details: http://www.phil.uu.nl/~jjoosten/Wormshop2016/

CALL FOR SHORT PAPERS: The 26th International Conference on Inductive Logic Programming, 4th - 6th September, 2016, London, UK (DEADLINE: 24:07:2016)

CALL FOR PAPERS: Australasian Postgraduate Philosophy Conference 2016, 24-26 Sep 2016, Canberra. AUSTRALIA (DEADLINE: 31:07:2016)

CALL FOR PAPERS: Computational Linguistics, 11-16 Dec 2016, Osaka, JAPAN (DEADLINE: 26:08:2016)
more details: http://coling2016.anlp.jp/

CALL FOR ABSTRACTS: Argument Strength, 1-2 Dec 2016, Bochum, GERMANY (DEADLINE: 01:08:2016)
more details: http://homepages.ruhr-uni-bochum.de/defeasible-reasoning/Argument-Strength-2016.html

CALL FOR PARTICIPATION: Artificial Intelligence in Health & Life Sciences, Oct 4th, 2016 London, UK - REDUCED RATES FOR AISB MEMBERS
more details: http://ai-healthandlifesciences.com/

CALL FOR COURSE AND WORKSHOP PROPOSALS: Logic, Language and Information, 17-28 July 2017, Toulouse, FRANCE (DEADLINE: 15:07:2016)
more details: https://www.irit.fr/esslli2017

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

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

CALL FOR PAPERS: Workshop on Logical Constants, 5-6 Oct 2016, Munich, GERMANY (DEADLINE: 25:07:2016)

CALL FOR PAPERS: "Rational Animals", 4-6 Oct 2016, Bochum, GERMANY (DEADLINE: 20:07:2016)
more details: http://www.rub.de/philosophy/rationalanimals

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 PARTICIPATION: Neural-Symbolic Learning and Reasoning, 16-17 Jul 2016, New York NY (U.S.A.)
more details: http://www.neural-symbolic.org/NeSy16/

CALL FOR ABSTRACTS: "Metaphor and (Un)Consciousness", 6th International Conference of the Scandinavian Association for Language and Cognition, April 20-22, 2017, Lund University, SWEDEN (DEADLINE: 14:08:2016)

CALL FOR WORKSHOP PAPERS: Text, Speech, Dialogue, 12-16 Sep 2016, Brno, CZECH REPUBLIC (DEADLINE: 03:08:2016)
more details: http://www.tsdconference.org/

CALL FOR PARTICIPATION: Real AI, Oct 7th 2016, BCS, London, UK
more details: http://www.bcs-sgai.org/realai2016

CALL FOR PAPERS: "Argument Strength", 1-2 Dec 2016, Bochum, GERMANY (DEADLINE: 01:08:2016)
more details: http://homepages.ruhr-uni-bochum.de/defeasible-reasoning/Argument-Strength-2016.html

CALL FOR PAPERS: British Logic Colloquium, 6-8 Sep 2016, Edinburgh, SCOTLAND (DEADLINE: 22:07:2016)
more details: http://conferences.inf.ed.ac.uk/blc/

CALL FOR PAPERS: Concurrency, Specification, and Programming, 28-30 Sep 2016, Rostock, GERMANY (DEADLINE: 31:07:2016)

1st CALL FOR PAPERS:Methods for Modalities, 8-10 Jan 2017, Kanpur, INDIA (DEADLINE: 02:09:2016)
more details: https://www.cse.iitk.ac.in/users/icla/M4M/

CALL FOR PARTICIPATION: Formal Modeling and Analysis of Timed Systems, 24-26 Aug 2016, Quebec City QC, CANADA
more details: http://formats16.lsv.fr/

CALL FOR PAPERS: 34th International Symposium on Theoretical Aspects of Computer Science March 8-11, 2017, Hannover, GERMANY (DEADLINE: 25:09:2016)
more details: https://stacs2017.thi.uni-hannover.de

CALL FOR PAPERS: Experimental evaluation of algorithms & 15th Conference of the Italian Association for AI, 28 Nov - 1 Dec 2016, Genova, ITALY (DEADLINE: 08:09:2016)
more details: http://rcra.aixia.it/rcra2016

CALL FOR PAPERS: Practical Aspects of Declarative Languages, 16-17 Jan 2017, Paris, FRANCE (DEADLINE: 12:09:2016)
more details: http://bit.ly/PADL-2017

CALL FOR PAPERS: Computability Theory and Foundations of Mathematics, 20-21 Sep 2016, Tokyo, JAPAN (DEADLINE: 31:08:2016)
more details: http://www.sendailogic.com/CTFM2016/

CALL FOR PAPERS: 32nd SIGAPP Symposium on Applied Computing: Track on Knowledge Representation and Reasoning, 3-7 Apr 2017, Marrakech, MOROCCO (DEADLINE: 15:09:2016)
more details: http://www.dmi.unipg.it/bista/organizing/KR@sac2017/

CALL FOR POSTERS:4th International Conference on Statistical Language and Speech Processing, Oct11-12, 2016, Pilsen, CZECH REPUBLIC (DEADLINE: 04:09:2016)
more details: http://grammars.grlmc.com/SLSP2016/

CALL FOR PAPEPRS: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 18-22, 2017, Skopje, MACEDONIA
more details: www.ecmlpkdd2017.org

Opportunities Bulletin

Subscribe to opportunities bulletin.

Postdoctoral position (3y) in philosophy of science, Rome, ITALY (DEADLINE: 28:07:2016)

Four PhD student positions and two postdoctoral positions on "Knowledge beyond natural science", Stirling, SCOTLAND (DEADLINE: 18:07:2016)

PhD student positions in philosophy, Rome, ITALY (DEADLINE: 11:07:2016)
more details: http://dottorati.uniroma2.it/index.php/56-bando-2016-17/103-istruzioni

Postdoctoral Associate position on information flow security, London, ENGLAND

Lectureships in Knowledge Representation and Reasoning (and other areas of computer science), Cardiff, WALES (DEADLINE: 14:07:2016)
more details: http://www.jobs.ac.uk/job/ANX560/lecturer-teaching-and-research-in-computer-science-and-informatics/

Postdoctoral position in mathematics, Kiel, GERMANY (DEADLINE: 15:07:2016)

PhD student positions in Computer Science, Lucca, ITALY (DEADLINE: 13:07:2016)

Postdoctoral position and two PhD student positions on Hilbert's 24th problem, Lisbon, PORTUGAL (DEADLINE: 28:07:2016)

Part-time teaching position in philosophy (2y), Koeln , GERMANY (DEADLINE: 20:07:2016)

Junior Research Fellowship in Philosophy, Oxford, ENGLAND (DEADLINE: 19:09:2016)

Postdoctoral position in epistemology / decision theory, Hamburg, GERMANY
more details: https://moritzschulz.com/projekt/

Assistant or Associate Professorship in Theoretical Computer Science (tenure-track), Amsterdam, THE NETHERLANDS (DEADLINE: 01:09:2016)
more details: http://www.vu.nl/nl/werken-bij-de-vu/vacatures/2016/16191.aspx#accept.

Research Fellow in Learning Qualitative Activity Models from Robot Perception, School of Computing, University of Leeds, UK (DEADLINE: 28:07:2016)
more details: www.leeds.ac.uk/hr/index.htm

Assistant Professorship (permanent) in mathematical logic, Krakow, POLAND
more details: http://logika.net.pl/wp-content/uploads/others/pdf/application-logic-position.pdf

2016 Autumn School on Computational Logic, 16-17 Oct 2016, New York NY (U.S.A.)
more details: http://iclp16school.webs.upv.es/

Six-month teaching contract for logic in philosophy, Perth, AUSTRALIA

Master in Pure and Applied Logic, Barcelona, SPAIN
more details: http://www.ub.edu/masterlogic/

Two PhD student positions in Science Studies and History of Science, Zuerich, SWITZERLAND (DEADLINE: 31:08:2016)
more details: https://apply.refline.ch/845721/4767/pub/1/index.html

CALL FOR PAPERS: Special issue of JANCL on Logic and Argumentation (DEADLINE: 15:11:2016)

CALL FOR PARTICIPATION AND STUDENT GRANTS: Autumn School on Linear Logic, 7-8 Nov 2016, Lyon, FRANCE (DEADLINE: 20:09:2016)
more details: https://ll2016.sciencesconf.org/

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