Notice

Weekly Bulletin

AISB Weekly Bulletin Items for March 2017

Event Bulletin

Subscribe to event bulletin.

CALL FOR PAPERS: Artificial General Intelligence, 15-18 Aug 2017, Melbourne, AUSTRALIA (DEADLINE: 25:04:2017)
more details: http://www.agi-conf.org/2017/

CALL FOR PAPERS: Computability and Complexity in Analysis, 24-27 Jul 2017, Daejeon, SOUTH KOREA (DEADLINE: 03:04:2017)
more details: http://cca-net.de/cca2017/

CALL FOR PAPERS: Formal Structures for Computation and Deduction, 3-6 Sep 2017, Oxford, UK (DEADLINE: 07:04:2017)
more details: http://www.cs.ox.ac.uk/conferences/fscd2017/

CALL FOR PAPERS: 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 25-28, 2017, University of Brasilia, BRAZIL (DEADLINE: 18:04:2017)
more details: http://tableaux2017.cic.unb.br/

CALL FOR PAPERS: Formal Methods in Computer-Aided Design, 2-6 Oct 2017, Vienna, AUSTRIA (DEADLINE: 01:05:2017)
more details: http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD17/

CALL FOR PAPERS: ormal Grammar, 22-23 Jul 2017, Toulouse, FRANCE (DEADLINE: 14:03:2017)
more details: http://fg.phil.hhu.de/2017/

CALL FOR PAPERS: Knowledge Representation & Reasoning, 5-8 Sep 2017, Porto, PORTUGAL (DEADLINE: 15:04:2017)
more details: https://web.fe.up.pt/~epia2017/

CALL FOR PARTICIPATION: (In)Coherence of Discourse 4, 30-31 Mar 2017, Nancy, FRANCE
more details: http://discours.loria.fr/

CALL FOR PAPERS: Intuitionistic Modal Logic and Applications, 17-28 Jul 2017, Toulouse, FRANCE (DEADLINE: 29:03:2017)
more details: https://sites.google.com/site/imodallogic2013/

CALL FOR SATELLITE EVENT PROPOSALS: Theory & Practice of Software, 14-21 Apr 2018, Thessaloniki, GREECE (DEADLINE: 24:03:2017)
more details: http://www.etaps.org/2018/

CALL FOR PAPERS: Competitive Evaluation of QBF Solvers, 28 Aug - 1 Sep 2017, Melbourne, AUSTRALIA (DEADLINE: 01:04:2017)

CALL FOR PAPERS: Logic, Language, Information and Computation, 18-21 Jul 2017, London, UK (DEADLINE: 14:03:2017)
more details: http://www.eecs.qmul.ac.uk/~mehrs/wollic/wollic2017.html

CALL FOR PAPERS: 26th EACSL Annual Conference on Computer Science Logic (CSL 2017) August 20-24, 2017, Stockholm, SWEDEN (DEADLINE: 24:03:2017)
more details: https://www.csl17.conf.kth.se/

CALL FOR PAPERS: Computer-aided mathematical proof, 10-14 July 2017, Cambridge, ENGLAND (DEADLINE: 08:04:2017)
more details: https://www.newton.ac.uk/event/bprw01

CALL FOR PARTICIPATION: Algebra and Coalgebra meet Proof Theory, 10 - 12 April 2017, University of Strathclyde, Glasgow, SCOTLAND
more details: https://personal.cis.strath.ac.uk/clemens.kupke/ALCOP2017/

CALL FOR PARTICIPATION: AISB 2017: Society with AI, 19-21 April, Bath, UK
more details: http://aisb2017.cs.bath.ac.uk/

CALL FOR PAPERS: 2nd International Workshop on AI aspects of Reasoning, Information, and Memory, 3 - 6 Sep 2017, Prague, CZECH REPUBLIC (DEADLINE: 10:05:2017)
more details: https://www.fedcsis.org/2017/airim

CALL FOR PAPERS: Automated Reasoning: Challenges, Applications, Directions, Exemplary achievements, 6 Aug 2017, Gothenburg, SWEDEN (DEADLINE: 12:05:2017)
more details: http://www.cs.man.ac.uk/~regerg/arcade/

CALL FOR PAPERS: 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 21-25, 2017, Aalborg, DENMARK (DEADLINE: 20:04:2017)
more details: http://mfcs2017.cs.aau.dk/

CALL FOR PAPERS: Warsaw Workshop on Formal Truth Theories, 28-30 Sep 2017, Warsaw, POLAND (DEADLINE: 15:05:2017)
more details: http://formaltruththeories.pl/

Formal Structures for Computation and Deduction, 4-7 Sep 2017, Oxford, ENGLAND (DEADLINE: 07:04:2017)
more details: http://www.cs.ox.ac.uk/conferences/fscd2017/

2nd INVITATION TO REGISTER: BCS SGAI: Tenth UK Symposium on Knowledge Discovery and Data Mining, 8 May 2017, London, UK
more details: http://ukkdd.org.uk/

CALL FOR PAPERS: Continuity, Computability, Constructivity, 26-30 Jun 2017, Nancy, FRANCE (DEADLINE: 17:04:2017)
more details: http://ccc2017.loria.fr/home.html

FINAL CALL FOR PAPERS: Language, Logic and Computation, 18-22 Sep 2017, Kakheti, GEORGIA (DEADLINE: 01:04:2017)
more details: http://events.illc.uva.nl/Tbilisi/Tbilisi2017/

CALL FOR PAPERS: Computability & Complexity in Analysis, 24-27 Jul 2017, Daejeon, SOUTH KOREA (DEADLINE: 03:04:2017)
more details: http://cca-net.de/cca2017/

CALL FOR PAPERS: Theoretical Aspects of Rationality and Knowledge, 24-26 Jul 2017, Liverpool, ENGLAND (DEADLINE: 12:04:2017)
more details: http://tark17.csc.liv.ac.uk/

Opportunities Bulletin

Subscribe to opportunities bulletin.

Research Fellowship in Mathematics, Prague, CZECH REPUBLIC (DEADLINE: 17:04:2017)
more details: http://www.math.cas.cz/recrutements/postes.php?lang=0

Two postdoctoral positions in logic & cognitive science/AI, Amsterdam, THE NETHERLANDS (DEADLINE: 07:05:2017)

Research Fellow in Bioinspired Control for Autonomous Systems in City Infrastructure, Leeds, UK (DEADLINE: 26:03:2017)
more details: https://jobs.leeds.ac.uk/vacancy.aspx?ref=ENGCP1043

MSc in Cognitive Systems, Open University of Cyprus.
more details: http://cogsys.ouc.ac.cy

E W Beth Dissertation Prize 2017 (DEADLINE: 21:04:2017)
more details: http://www.folli.info/

PhD and Post-doc positions in "Data, Knowledge, Society", Hamburg, GERMANY (DEADLINE: 06:04:2017)

PhD scholarships in computer science, Toulouse, FRANCE (DEADLINE: 09:05:2017)
more details: https://www.irit.fr/Members,526?lang=fr

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

PhD student position in logic for decision making in security, Bath, UK
more details: https://www.findaphd.com/search/ProjectDetails.aspx?PJID=83168

W3 Professorship in Corpus and Computational Linguistics, Erlangen, GERMANY

Assistant/Associate Professorship (tenure track) in computational linguistics, Trento, ITALY (DEADLINE: 30:03:2017)

CALL FOR PAPERS: Special issue of AMAI on "Formalisation of Geometry, Automated and Interactive Geometric Reasoning" (DEADLINE: 01:09:2017)

Postdoctoral position and PhD student position in "Oligomorphic clones", Vienna, AUSTRIA (DEADLINE: 15:04:2017)
more details: http://www.dmg.tuwien.ac.at/pinsker/papers/oligo/oligo.pdf

PhD student position in SAT solving, Stockholm, SWEDEN (DEADLINE: 31:03:2017)
more details: http://www.csc.kth.se/~jakobn/openings/D-2017-0118-Eng.php

Postdoctoral positions in theoretical computer science (proof complexity and SAT solving), Stockholm, SWEDEN) (DEADLINE: 31:03:2017)
more details: http://www.csc.kth.se/~jakobn/openings/D-2017-0137-Eng.php

Postdoctoral research fellowship on category theory, North Ride NSW, AUSTRALIA (DEADLINE: 31:03:2017)
more details: http://jobs.mq.edu.au/cw/en/job/500525/postdoctoral-research-fellow

PhD student or postdoc position in description logic, Bremen, GERMANY (DEADLINE: 31:03:2017)

PhD student position in quantitative logics and automata, Dresden, GERMANY (DEADLINE: 11:05:2017)
more details: https://lat.inf.tu-dresden.de/quantla/index.php/open-position

CALL FOR NOMINATIONS: Ackermann Award 2017 (DEADLINE: 01:04:2017)

PhD student position in formal verification of sensor networks, Liverpool, ENGLAND (DEADLINE: 17:04:2017)
more details: http://cgi.csc.liv.ac.uk/~michael/S4_PhD_2017.html

CALL FOR PAPERS: special issue of IfCoLog Journal of Logics and their Applications on "Argument Strength", (DEADLINE: 15:05:2017)

Masterclass in the Philosophy of Mathematical Practice, 17-19 May 2017, Brussels, BELGIUM (DEADLINE: 21:04:2017)

Hilbert-Bernays Summer School on Logic & Computation, 23-29 Jul 2017, Goettingen, GERMANY
more details: https://www.uni-goettingen.de/en/538662.html

CALL FOR PAPERS: Frontiers Special Issue: Modeling Play in Early Infant Development (DEADLINE: 14:04:2017)
more details: http://journal.frontiersin.org/researchtopic/5527/modeling-play-in-early-infant-development

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.