Notice

Weekly Bulletin

AISB Weekly Bulletin Items for October 2016

Event Bulletin

Subscribe to event bulletin.

CALL FOR PAPERS: Workshop on Coalgebra, Horn Clause Logic Programming and Types, 28-29 Nov 2016, Edinburgh, SCOTLAND (DEADLINE: 15:10:2016)
more details: https://ff32.host.cs.st-andrews.ac.uk/lpti16/

CALL FOR PARTICIPATION: 4th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING, Oct 11-12, 2016, Pilsen, CZECH REPUBLIC
more details: http://grammars.grlmc.com/SLSP2016/

CALL FOR PAPERS: NASA Formal Methods Symposium, 16-18 May 2017, Moffett Field CA (U.S.A.) (DEADLINE: 28:11:2016)
more details: http://ti.arc.nasa.gov/events/nfm-2017/

CALL FOR PAPERS: International Conference on Choreographic Strategies – New Perspectives, 19-20 Nov 2016, Lodz, POLAND (DEADLINE: 16:10:2016)

CALL FOR PAPERS: The 17th SIAM INTERNATIONAL CONFERENCE ON DATA MINING, 27 - 29 April 2017 The Westin Galleria Houston Houston, Texas, USA (DEADLINE: 08:10:2016)
more details: www.siam.org/meetings/sdm17/

CALL FOR REGISTRATION: AI-2016, Dec 13th-15th 2016, Cambridge, UK
more details: http://www.bcs-sgai.org/ai2016/

CALL FOR PARTICIPATION: 13th International Symposium on Distributed Autonomous Robotic Systems, Nov 6-9, 2016, Natural History Museum, London, UK
more details: http://dars2016.org

CALL FOR ABSTRACTS: Symposium "The interface between the study of cultural diversity in science and decision-making in science policy", 23-29 Jul 2017, Rio de Janeiro, BRAZIL (DEADLINE: 10:11:2016)

CALL FOR PAPERS: 10th Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, 28-29 Jan 2017, Cambridge, UK (DEADLINE: 21:10:2016)
more details: http://www.phil.cam.ac.uk/events/camb-grad-conf-2017

CALL FOR PAPERS: 14th International Symposium on Neural Networks, June 21-23, 2017 Sapporo, Hokkaido, Japan, (DEADLINE: 01:12:2016)
more details: https://conference.cs.cityu.edu.hk/isnn/

CALL FOR PARTICIPATION: Situations, Information, and Semantic Content, Munich Center for Mathematical Philosophy (MCMP), Dec 16-18, 2016, LMU Munich, GERMANY
more details: http://www.situatedcontent2016.philosophie.uni-muenchen.de/index.html

CALL FOR PAPERS: Computability in Europe (Unveiling Dynamics and Complexity), 12-16 Jun 2017, Turku, FINLAND (DEADLINE: 05:01:2017)
more details: http://math.utu.fi/cie2017/

CALL FOR PAPERS: 10th Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, 28-29 Jan 2017, Cambridge, UK (DEADLINE: 21:10:2016)
more details: http://www.phil.cam.ac.uk/events/camb-grad-conf-2017

CALL FOR PAPERS: Logic Colloquium 2017, 14-20 Aug 2017, Stockholm, SWEDEN (DEADLINE: 05:05:2017)

CALL FOR PAPERS: Phylogenetic Methods in Historical Linguistics, 27-31 Mar 2017, Tuebingen, GERMANY (DEADLINE: 31:12:2016)
more details: https://easychair.org/conferences/?conf=pmhl2017

CALL FOR PARTICIPATION: Dynamics in Logic 2016, October 29th, 2016, Delft, THE NETHERLANDS

CALL FOR PARTICIPATION: 15th European Conference on Logics in Artificial Intelligence, 9-11 Nov 2016, Larnaca, CYPRUS
more details: http://www.cyprusconferences.org/jelia2016/

CALL FOR PAPERS: Theory and Applications of Models of Computation, 20-22 Apr 2017, Bern, SWITZERLAND (DEADLINE: 31:10:2016)
more details: http://www.tamc2017.unibe.ch/

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

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

CALL FOR PARTICIPATION: 2016 IEEE International Conference on Bioinformatics & Biomedicine, Dec 15-18, 2016, Shenzhen, Guangdong, CHINA
more details: https://cci.drexel.edu/ieeebibm/bibm2016/index.html

CALL FOR ABSTRACTS: Language, cognition, and computation, AISB 2017, 19-21 April 2017, Bath, UK (DEADLINE: 12:12:2016)
more details: https://stmarysphilosophy.wordpress.com/aisb/

CALL FOR PARTICIPATION: Real possibilities and branching time, 12 Nov 2016, Utrecht, THE NETHERLANDS

CALL FOR WORKSHOP PROPOSALS: Computer Science Logic, 20-24 August 2017, Stockholm, SWEDEN (DEADLINE: 15:11:2016)
more details: https://www.csl17.conf.kth.se/

CALL FOR PAPERS: Scientiae 2017: disciplines of knowing in the early modern world, 19-22 Apr 2017, Padua, ITALY (DEADLINE: 15:12:2016)

CALL FOR PAPERS: Italian Society for Logic and Philosophy of Science, 20-23 Jun 2017, Bologna, ITALY (DEADLINE: 15:01:2017)
more details: http://www.silfs.it/silfs-2017-cfp/

Opportunities Bulletin

Subscribe to opportunities bulletin.

Westerdijk fellowship for young female researchers in computing science, Utrecht, THE NETHERLANDS
more details: https://www.academictransfer.com/employer/UU/vacancy/35436/lang/en/

Two postdoctoral fellowships in philosophy of reasoning / physics, decision theory, epistemology, Munich, GERMANY (DEADLINE: 30:10:2016)
more details: http://www.mcmp.philosophie.uni-muenchen.de/news/post_doc_20160926/index.html

Postdoctoral position in information assurance, Luxembourg, LUXEMBOURG (DEADLINE: 20:10:2016)
more details: http://recruitment.uni.lu/en/details.html?nPostingId=6531&nPostingTargetId=8703&id=QMUFK026203F3VBQB7V7VV4S8&LG=UK&mask=karriereseiten&sType=SR

British Computer Society Machine Intelligence Competition 2016 - a free event
more details: http://bcs-sgai.org/micomp/

Postdoctoral position on dependently typed lambda encodings, Iowa City IA (U.S.A.)

Assistant Professorship in Philosophy, Logic and Scientific Method, London, UK (DEADLINE: 07:11:2016)
more details: http://www.lse.ac.uk/philosophy/blog/2016/09/14/open-assistant-professorship/

Three postdoctoral positions on formal epistemology, Prague, CZECH REPUBLIC (DEADLINE: 31:10:2016)
more details: http://www.flu.cas.cz/cz/3-positions-for-postdoctoral-researchers

Grote Chair of Philosophy of Mind and Logic, London, UK (DEADLINE: 28:10:2016)

Postdoctoral fellowship on formal concepts, Oslo (Norway)

Postdoctoral position on "Ideological bias and ideological diversity in philosophy of science", Leuven, BELGIUM
more details: http://hiw.kuleuven.be/claw/

IUHPST Essay Prize in History and Philosophy of Science (DEADLINE: 30:11:2016)
more details: http://iuhps.net/pages/inter-division-commissions/joint-commission.php

Strathclyde Chancellor's Fellowship (tenure-track fellowships), Glasgow,, SCOTLAND (DEADLINE: 13:11:2016)
more details: http://www.strath.ac.uk/workwithus/fellowship/

Junior Research Fellowships in Sciences and Humanities, Cambridge, UK (DEADLINE: 08:11:2016)
more details: http://www.magd.cam.ac.uk/

Postdoctoral position on dependently typed lambda encodings, Iowa City IA (U.S.A.)

Postdoctoral position in mathematics and its applications, Lisbon, PORTUGAL (DEADLINE: 14:11:2016)

Postdoctoral position in verification of linear dynamical systems, Oxford, ENGLAND
more details: http://www.cs.ox.ac.uk/news/1195-full.html

Junior Research Fellowship in the Arts (3y), Cambridge, ENGLAND (DEADLINE: 05:12:2016)
more details: https://jrf.clare.cam.ac.uk/rf_2017/

CALL FOR PAPERS: Special issue of the AI Communications on Automated Reasoning (DEADLINE: 01:01:2017)

David MacKay Newton stipendiary research fellowship in mathematics and information theory, Cambridge, ENGLAND (DEADLINE: 21:11:2016)
more details: http://www.dar.cam.ac.uk/research-fellowships

Temporary Assistant Professorship (4y) in formal modelling of language and cognition, Amsterdam, THE NETHERLANDS (DEADLINE: 04:11:2016)
more details: http://www.illc.uva.nl/NewsandEvents/News/Positions/#item8227

CALL FOR NOMINATIONS: 2017 Covey Award in Computing and Philosophy (DEADLINE: 15:09:2016)
more details: http://www.iacap.org/iacap-2017/

W1 Junior Professorship in Artificial Intelligence, Duesseldorf, GERMANY (DEADLINE: 01:12:2016)
more details: http://www.dualcareer-rheinland.de/dc-rheinland/DE/Home/home_node.html

W3 Professorship in Digital Phonetics, Stuttgart, GERMANY (DEADLINE: 01:12:2016)
more details: http://www.uni-stuttgart.de/dual-career/

W3 Professorship in Machine Learning, Hamburg, GERMANY (DEADLINE: 01:12:2016)

Professorship in Semantical Systems, Klagenfurt, AUSTRIA (DEADLINE: 11:12:2016)
more details: https://www.aau.at/universitaet/service-kontakt/stellenausschreibungen/informationen-zur-aau/

W1 Junior Professorship in Algorithms, Hamburg, GERMANY (DEADLINE: 01:12: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/20167/20168/20169/201610/201611/201612/2016
20171/20172/20173/2017


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.