Notice

Weekly Bulletin

AISB Weekly Bulletin Items for May 2016

Event Bulletin

Subscribe to event bulletin.

CALL FOR PARTICIPATION: Type Theory and Philosophy, 9-10 Jun 2016, Canterbury, UK
more details: https://ncatlab.org/davidcorfield/show/Type+Theory+and+Philosophy.

CALL FOR PARTICIPATION: 33rd International Conference on Machine Learning, June 19 - 24, 2016, New York City, USA (DEADLINE: 07:09:2016)
more details: http://icml.cc/2016/

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

CALL FOR PARTICIPATION: Workshop on Proofs, Justifications and Certificates, 3-4 Jun 2016, Toulouse, FRANCE
more details: http://www.cimi.univ-toulouse.fr/cippmi/en/workshop-ii-3-4th-june

CALL FOR PAPERS: 8th European Starting AI Researcher Symposium, 26 Aug - 2 Sept 2016, The Hague, HOLLAND (DEADLINE: 16:05:2016)
more details: http://www.ecai2016.org/calls/stairs-call-for-papers/

CALL FOR PARTICIPATION: 5th CSLI Workshop on Logic, Rationality, and Intelligent Interaction, 28-29 May 2016, Stanford CA (U.S.A.)

CALL FOR PAPERS: 10th International Conference on Web Reasoning and Rule Systems, Sep 9-11, 2016, Aberdeen, Scotland, UK - EXTENDED DEADLINE (DEADLINE: 23:05:2016)
more details: http://www.abdn.ac.uk/events/rr-2016/

CALL FOR PAPERS: Theoretical Aspects of Computing, 24-31 Oct 2016, Taipei, TAIWAN (DEADLINE: 16:05:2016)
more details: http://cc.ee.ntu.edu.tw/~ictac2016

CALL FOR PAPERS: 2nd International Congress on Love and Sex with Robots, 19-20 Dec 2016, London, UK
more details: loveandsexwithrobots.org/

CALL FOR PARTICIPATION: Computability Theory, 4-5 Jul 2016, Gent, BELGIUM

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

CALL FOR PAPERS: Vampire 2016, 2 Jul 2016, Coimbra, PORTUGAL (DEADLINE: 27:05:2016)
more details: http://easychair.org/smart-program/Vampire2016/Overview.html

CALL FOR PAPERS: "From Basic Cognition to Mathematical Practice", 19-21 Sep 2016, Seville, SPAIN (DEADLINE: 27:05:2016)

CALL FOR PARTICIPATION: NASA Formal Methods Symposium, 7-9 Jun 2016, Minneapolis MN (U.S.A.)

CALL FOR PAPERS: What can FCA do for AI?, 30 Aug 2016, Den Haag, THE NETHERLANDS (DEADLINE: 05:06:2016)
more details: http://www.fca4ai.hse.ru/2016

CALL FOR PARTICIPATION: "Autopoietic theory, enactivism and computationalism: possible ways of integration", 7 June 2016, Goldsmiths, London, UK
more details: http://www.gold.ac.uk/calendar/?id=9959

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

CALL FOR PRESENTATIONS: Highlights of Logic, Games and Automata, 6-9 Sep 2016, Brussels, BELGIUM (DEADLINE: 03:06:2016)
more details: http://highlights-conference.org

Opportunities Bulletin

Subscribe to opportunities bulletin.

Postdoctoral position in non-monotonic logics and formal argumentation, Bochum, GERMANY (DEADLINE: 31:05:2016)

Postdoctoral position in Algorithms, Munich, GERMANY (DEADLINE: 01:06:2016)

PhD student position in "The Nature of Representation", Stockholm, SWEDEN (DEADLINE: 26:05:2016)
more details: http://www.ub.edu/diaphora/wp-content/uploads/2016/04/DIAPHORA_third-call-for-applications.pdf

Grant opportunities for Master or PhD students in philosophy, Rio de Janeiro, BRAZIL (DEADLINE: 12:05:2016)

esearch Fellow (Automated Planning in Unpredicted Situations), University of Melbourne, AUSTRALIA (DEADLINE: 11:05:2016)

Position as "Lektor" for philosophy at Vittorio Klostermann, Frankfurt, GERMANY

Postdoctoral position in mathematical logic, Salerno, ITALY (DEADLINE: 10:05:2016)

Postdoctoral or PhD student position in Computation with Bounded Resources, Innsbruck, AUSTRIA (DEADLINE: 31:05:2016)

Lecturer positions in Computer Science, Rochester NY (U.S.A.)
more details: https://www.rochester.edu/faculty-recruiting/login

PhD student position in Algorithms, Bergen, NORWAY (DEADLINE: 29:05:2016)
more details: https://www.jobbnorge.no/en/available-jobs/job/125338/phd-position-in-algorithms

Postdoctoral position in logic, Amsterdam, THE NETHERLANDS (DEADLINE: 15:05:2016)
more details: https://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/16-218-postdoctoral-researcher-in-logic.html

CALL FOR PARTICIPATION: Barcelona Cognition, Brain and Technology Summer School, 5-16 Sep 2016, University Pompeu Fabra, Barcelona, SPAIN (DEADLINE: 27:07:2016)
more details: http://bcbt.upf.edu/bcbt16

CALL FOR NOMINATIONS: Oberwolfach Prize 2016 in Discrete Mathematics, Logic or Theoretical Computer Science (DEADLINE: 01:09:2016)
more details: http://www.mfo.de/math-in-public/prizes/oberwolfach-prize

CALL FOR PARTICIPATION: Agent Systems Summer School, 25-30 Jul 2016, Catania, ITALY (DEADLINE: 27:05:2016)
more details: http://easss2016.dmi.unict.it

CALL FOR PAPERS: Special issue of JICPR on "Pluralism in Mathematics" (DEADLINE: 20:05:2016)

Postdoctoral position (2y) on meta-ontology, Uppsala, SWEDEN (DEADLINE: 01:06:2016)
more details: http://uu.se/en/about-uu/join-us/details/?positionId=102524

PhD student position in deontic logic and medical ethics, Gent, BELGIUM (DEADLINE: 10:07:2016)

Lectureship in mathematical logic or formal epistemology, Utrecht, THE NETHERLANDS (DEADLINE: 12:06:2016)
more details: http://www.academictransfer.com/34065

Grants for doctoral students and postdocs: Intensive Research Program on Large Cardinals and Strong Logics, Barcelona, SPAIN

Postdoctoral position in stochastic games, Bordeaux, FRANCE

Reader/SL/Lecturer in Machine Learning, University of Bath, UK
more details: https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=FY3923

PhD student position in algorithms, Bergen, NORWAY (DEADLINE: 29:05:2016)
more details: https://www.jobbnorge.no/en/available-jobs/job/125338/phd-position-in-algorithms

Postdoctoral position in logic, Amsterdam, THE NETHERLANDS (DEADLINE: 15:06:2016)
more details: https://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/16-218-postdoctoral-researcher-in-logic.html

Research fellowship in machine learning, information theory or artificial intelligence, Canberra, AUSTRALIA (DEADLINE: 30:06:2016)
more details: http://jobs.anu.edu.au/cw/en/job/508515/

CALL FOR PAPERS: Special issue of Philosophy and Technology on "Logic as Technology" (DEADLINE: 15:06:2016)

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

11th Madrid UPM Advanced Statistics and Data Mining Summer School, June 27th - July 8th, 2016, Madrid, SPAIN

2017 Essay Prize of the Metaphysics of Entanglement Project: "What is Structure?" (DEADLINE: 16: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/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.