Notice

Weekly Bulletin

AISB Weekly Bulletin Items for April 2016

Event Bulletin

Subscribe to event bulletin.

FINAL CALL FOR PARTICIPATION: AISB 2016, 4-6 April 2016, Sheffield, UK – Early-bird registration has been extended
more details: http://www.sheffieldrobotics.ac.uk/conferences/aisb-2016/

CALL FOR PAPERS: 4th IEEE International Workshop on Formal Methods Integration, July 28-30, 2016, Pittsburgh, USA (DEADLINE: 15:04:2016)
more details: http://www.sis.pitt.edu/iri2016/workshop_fmi.html

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

CALL FOR PAPERS: 20th workshop on the Semantics and Pragmatics of Dialogue, 16-18 Jul 2016, New Brunswick NJ (U.S.A.), (DEADLINE: 20:04:2016)
more details: http://semantics.rutgers.edu/jersem/

CALL FOR INFORMAL PRESENTATIONS: Computability in Europe, 27 Jun - 1 Jul 2016, Paris, FRANCE (DEADLINE: 23:04:2016)
more details: http://lipn.univ-paris13.fr/CIE2016/

2nd CALL FOR PAPERS: Cognitive Knowledge Acquisition and Applications, 9-11 Jul 2016, New York NY (U.S.A) (DEADLINE: 18:04:2016)
more details: http://cognitum.ws/

CALL FOR ABSTRACTS: Symposium on History and Philosophy of Computing, 23-29 Jul 2017, Rio de Janeiro, BRAZIL (DEADLINE: 15:04:2016)

CALL FOR PAPERS: Formal Modelling and Analysis of Times Systems, 24-26 Aug 2016, Quebec City QC, CANADA (DEADLINE: 22:04:2016)
more details: http://formats2016.lsv.fr

CALL FOR PARTICIPATION: Knowledge Representation and Reasoning, 25-29 Apr 2016, Cape Town, SOUTH AFRICA
more details: http://kr.org/KR2016/

CALL FOR ABSTRACTS: Syntax meets Semantics, 5-9 Sep 2016, Barcelona, SPAIN (DEADLINE: 30:04:2016)
more details: http://sysmics-16.iiia.csic.es/

CALL FOR PAPERS: Automated Reasoning in Quantified Non-Classical Logics, 1 Jul 2016, Coimbra, PORTUGAL (DEADLINE: 25:04:2016)
more details: http://iltp.de/ARQNL-2016/

CALL FOR PAPERS: Reachability Problems, 19-21 Sep 2016, Aalborg, DENMARK (DEADLINE: 13:05:2016)
more details: http://rp16.cs.aau.dk/

CALL FOR PAPERS: Bridging the gap between human and automated reasoning, 9 Jul 2016, New York NY (U.S.A.) (DEADLINE: 18:04:2016)

CALL FOR PAPERS: Mathematical Foundations of Computer Science, 22-26 Aug 2016, Krakow, POLAND (DEADLINE: 21:04:2016)
more details: http://mfcs.ki.agh.edu.pl

CALL FOR POSTERS: 3th International Conference on Algorithms for Computational Biology, June 21-22, 2016, Trujillo, SPAIN (DEADLINE: 14:05:2016)
more details: http://grammars.grlmc.com/AlCoB2016/

CALL FOR ABSTRACTS: Logic Colloquium, 31 Jul - 6 Aug 2016, Leeds, UK (DEADLINE: 29:04:2016)

CALL FOR PAPERS: Logics for Resources, Processes and Programs, 1 Jul 2016, Coimbra, PORTUGAL (DEADLINE: 06:05:2016)
more details: http://www.loria.fr/~galmiche/LRPP2016.html

CALL FOR PAPERS: Computational Creativity and Games, June 27th, 2016, Paris, FRANCE (DEADLINE: 01:05:2016)
more details: http://www.ccgworkshop.org/

FINAL CALL FOR PAPERS: 10th Workshop on Language Technology for Cultural Heritage, Social Sciences, and Humanities, Aug 11, 2016, Berlin, GERMANY (DEADLINE: 01:05:2016)
more details: https://sighum.wordpress.com/events/latech-2016/

CALL FOR PAPERS: 1st International Workshop on AI aspects of Reasoning, Information, and Memory, 11-14 Sep 2016, Gdansk, POLAND (DEADLINE: 09:05:2016)
more details: https://www.fedcsis.org/2016/airim

CALL FOR PAPERS: Games, Automata, Logics and Formal Verification, 14-16 Sep 2016, Catania, ITALY (DEADLINE: 20:05:2016)
more details: http://gandalf2016.dmi.unict.it

CALL FOR PAPERS: 8th French Philosophy of Mathematics Workshop, Nov 3-5, 2016, Université d'Aix-Marseille, FRANCE (DEADLINE: 15:05:2016)
more details: https://fpmw8-2016.sciencesconf.org/

CALL FOR PAPERS: 15th IEEE International Conference on Cognitive Informatics & Cognitive Computing, Aug. 22-23, 2016, Stanford University, USA (DEADLINE: 30:04:2016)
more details: http://www.ucalgary.ca/icci_cc/iccicc-16

Opportunities Bulletin

Subscribe to opportunities bulletin.

PhD position on higher-order verification, Bordeaux, FRANCE (DEADLINE: 09:09:2016)

PhD student position in 'Making scientific inferences more objective', Tilburg, THE NETHERLANDS (DEADLINE: 08:05:2016)
more details: http://tinyurl.com/TiLPSPhDObjectivity

Hilbert-Bernays Summer School on Logic and Computation, 24-30 July 2016, Goettingen, GERMANY
more details: http://www.uni-goettingen.de/en/530211.html

PhD student position in semantics / pragmatics of disagreement, Barcelona, SPAIN (DEADLINE: 22:04:2016)
more details: http://www.ub.edu/grc_logos/files/user343/1458724633-DIAPHORA_second%20call%20for%20applications.pdf

PhD Studentship in the History and Philosophy of Computing, London (U.K.) (DEADLINE: 18:04:2016)
more details: http://www.mdx.ac.uk/courses/postgraduate-research-degrees/research-studentships/david-tresman-caminer-studentship-for-the-history-of-computing

Postdoctoral position on epistemic logic and social epistemology (3y), Bayreuth, GERMANY (DEADLINE: 30:04:2016)

Research Assistant in Data Ethics, Alan Turing Institute, London, UK (DEADLINE: 17:04:2016)
more details: https://turing.ac.uk/jobs/research-assistant-in-data-ethics/

Postdoctoral position (2+2y) in "Coordination, Collective Goal and Cooperation", Milan, ITALY (DEADLINE: 26:04:2016)
more details: http://www.unimi.it/cataloghi/ass_collaborazione_ricerca/BANDO_tipo_A_2014eng_def_per_sito.pdf

CALL FOR PARTICIPATION: Interdisciplinary School on Applied Ontology, 27 Jun - 1 Jul 2016, Bolzano, ITALY
more details: http://isao2016.inf.unibz.it

Assistant Professorship in Philosophy of Science, Tilburg, THE NETHERLANDS (DEADLINE: 22:04:2016)
more details: http://www.tilburguniversity.edu/about-tilburg-university/working-at/wp/

PhD student position in formal methods for software and systems modeling, Konstanz, GERMANY
more details: http://www.uni-konstanz.de/stellenangebote/?cont=stellausw&seite=2016/061&id=1

PhD student position in philosophical logic or formal epistemology, Bochum, GERMANY (DEADLINE: 21:04:2016)

PhD student position in on-line privacy using Multi-Agent Systems, London, UK (DEADLINE: 15:04:2016)
more details: https://www.royalholloway.ac.uk/studyhere/researchdegrees/applying/home.aspx

Postdoctoral position in "Recursion, Guarded Recursion and Computational Effects", Birmingham, UK (DEADLINE: 22:05:2016)
more details: http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/N023757/1

W2 Professorship in Theoretical Computer Science (Algorithms), Kaiserslautern, GERMANY (DEADLINE: 22:05:2016)

CALL FOR APPLICATIONS FOR STUDENT TRAVEL SCHOLARSHIPS: Verification Mentoring Workshop, 17-23 Jul 2016, Toronto ON, CANADA (DEADLINE: 20:04:2016)
more details: http://i-cav.org/2016/vmw

Associate / Full Professorship in computational linguistics, Stony Brook NY (U.S.A.) (DEADLINE: 01:05:2016)
more details: http://linguistlist.org/issues/27/27-1662.html

CALL FOR NOMINATIONS: E. W. Beth Dissertation Prize in Logic, Language, and Information (DEADLINE: 09:05:2016)

Three PhD studentships in Computational Linguistics, London (DEADLINE: 06:05:2016)
more details: http://www.jobs.ac.uk/job/ANK779/phd-studentships-in-electronic-engineering-and-computer-science/

Three-year full-time PhD studentships, University of Hertfordshire, UK

Full professorship in philosophical logic, Pisa, ITALY (DEADLINE: 31:05:2016)

Lectureship in Mathematical Logic, Leeds, UK (DEADLINE: 28:04:2016)

Two positions (one postdoc, one PhD student) in digital humanities, Graz, AUSTRIA (DEADLINE: 13:05:2016)
more details: http://informationsmodellierung.uni-graz.at/de/neuigkeiten/detail/article/stellenausschreibungen-2

PhD studentship in Faulty Ontology Detection and Repair, University of Edinburgh, UK (DEADLINE: 15:05:2016)
more details: http://www.ed.ac.uk/informatics/postgraduate/fees/research-scholarships/research-grant-funding/phd-in-faulty-ontology-detection-and-repair

CALL FOR NOMINATIONS: 2016 Shoenfield Prizes for outstanding expository writing in logic (DEADLINE: 01:11:2016)
more details: http://www.aslonline.org/info-prizes.html

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