Notice

Weekly Bulletin

AISB Weekly Bulletin Items for February 2017

Event Bulletin

Subscribe to event bulletin.

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

CALL FOR PAPERS: 14th International Conference on Logic Programming and Non-monotonic Reasoning, July 3-6, 2017, Hanasaari, Espoo, FINLAND (DEADLINE: 05:02:2017)
more details: http://lpnmr2017.aalto.fi/

CALL FOR PAPERS: AI & Games Symposium, AISB 2017, 19th -21st April 2017, University of Bath, UK (DEADLINE: 14:02:2017)

CALL FOR ABSTRACTS: BSC Women Lovelace Colloquium 2017, 12 Apr 2017, Aberystwyth, WALES (DEADLINE: 17:02:2017)
more details: https://www.aber.ac.uk/en/cs/engagement/lovelace-colloquium/

CALL FOR PAPERS: 23rd International Workshop on Cellular Automata and Discrete Complex Systems, June 7 - 9, 2017, Milan, ITALY (DEADLINE: 08:02:2017)
more details: https://automata2017.disco.unimib.it/

CALL FOR PAPERS: Ampliative Reasoning in the Sciences, 18-19 May 2017, Gent, BELGIUM (DEADLINE: 01:03:2017)
more details: http://www.lrr.ugent.be/ars/

CALL FOR PARTICIPATION: WIRED: Health 2017, 9th March, London, UK
more details: https://www.eventbrite.co.uk/e/wired-health-2017-tickets-29489764680?discount=AISBWHE

CALL FOR PAPERS: 1st Workshop on Smart cities & Smart mobility towards improving quality of life & Well-being, June 21-23, Rhodes, GREECE (DEADLINE: 05:03:2017)
more details: http://www.petrae.org/workshops/SoCIaL.html

CALL FOR REGISTRATION: AISB 2017, 19-21 Apil 2017, Bath, UK (DEADLINE: 21:02:2017)
more details: http://aisb2017.cs.bath.ac.uk/registration.html

CALL FOR PAPERS: 2nd Symposium on Problem-solving, Creativity and Spatial Reasoning in Cognitive Systems, ProSocrates 2017, 20-21 July, Hanse Wissenschaftskolleg, Delmenhorst, GERMANY (DEADLINE: 01:03:2017)
more details: http://creacogcomp.com/prosocrates2017.html

CALL FOR PAPERS: 1st International Workshop on Application of Semantic Web technologies in Robotics, May 29th, 2017, Portoroz, SLOVENIA (DEADLINE: 03:03:2017)
more details: http://answer.kmi.open.ac.uk/

CALL FOR PAPERS: Formal Techniques for Distributed Objects, Components and Systems, 19-22 Jun 2017, Neuchatel, SWITZERLAND- EXTENDED DEADLINE (DEADLINE: 17:02:2017)
more details: http://2017.discotec.org/calls/forte-2017

CALL FOR PAPERS: Implementation of Logics, 7 May 2017, Maun, BOTSWANA (DEADLINE: 20:03:2017)
more details: http://www.eprover.org/EVENTS/IWIL-2017.html

CALL FOR ABSTRACTS: Logic, Relativity and Beyond, 23-27 Aug 2017, Budapest, HUNGARY (DEADLINE: 26:02:2017)
more details: http://www.renyi.hu/conferences/lrb17/

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: Implementation & Application of Automata, 27-30 Jun 2017, Paris, FRANCE (DEADLINE: 01:03:2017)
more details: http://ciaa17.univ-mlv.fr/

CALL FOR PAPERS: Natural Language Generation, 4-7 Sep 2017, Santiago de Compostela, SPAIN, (DEADLINE: 01:03:2017)
more details: https://eventos.citius.usc.es/inlg2017/index

CALL FOR PAPERS: IEEE conference - Cognitive Computing | Neurocomputation | Cognitive Machine Learning | Brain-Inspired Systems, July 26-28, Oxford, UK (DEADLINE: 28:02:2017)
more details: http://www.ucalgary.ca/icci_cc/iccicc-17

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

CALL FOR PAPERS: 2nd International Workshop - Evaluating General-Purpose AI, August 19-21, 2016, Melbourne, AUSTRALIA, (DEADLINE: 05:05:2017)
more details: http://www.dsic.upv.es/~flip/EGPAI2017/

CALL FOR PAPERS: Practical Aspects of Answer Set Programming, 3 Jul 2017, Espoo, FINLAND (DEADLINE: 03:04:2017)
more details: https://sites.google.com/site/paoasp2017/

CALL FOR PAPERS: Learning & Automata, 19 Jun 2017, Reykjavik, INCELAND (DEADLINE: 01:04:2017)

CALL FOR PAPERS: 2nd International Workshop on User-Oriented Logic Paradigms, 3rd July 2017, Espoo, FINLAND (DEADLINE: 03:04:2017)
more details: http://iulp2017.uni-leipzig.de

CALL FOR PAPERS: 2nd International Workshop on User-Oriented Logic Paradigms, 3rd July 2017, Espoo, FINLAND (DEADLINE: 03:04:2017)
more details: http://iulp2017.uni-leipzig.de

CALL FOR PAPERS: Interactive Theorem Proving, 26-29 Sep 2017, Brasilia, BRAZIL (DEADLINE: 03:04:2017)
more details: http://itp2017.cic.unb.br/

CALL FOR PAPERS: International Conference on Computational Creativity, June 19 - June 23, 2017 , Atlanta, Georgia, USA (DEADLINE: 03:03:2017)
more details: http://computationalcreativity.net/iccc2017/

CALL FOR PAPERS: Formal Models of Scientific Inquiry, 18-19 Jul 2017, Bochum, GERMANY (DEADLINE: 01:04:2017)
more details: https://www.mail-archive.com/logica-l@dimap.ufrn.br/msg08723.html

CALL FOR TUTORIAL PROPOSALS: 19th European Agent Systems Summer School, 7-11 August 2017, Gdańsk, POLAND (DEADLINE: 10:03:2017)
more details: http://easss2017.ipipan.waw.pl/

CALL FOR ABSTRACTS: Logic in Bochum III, 5-6 May 2017, Bochum, GERMANY (DEADLINE: 15:03:2017)

CALL FOR PAPERS: 1st International Workshop on Application of Semantic Web technologies in Robotics, May 28th or 29th, 2017, Portoroz, SLOVENIA (DEADLINE: 03:03:2017)
more details: http://answer.kmi.open.ac.uk/

CALL FOR PARTICIPATION: 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, March 13-16, 2017, Limassol, CYPRUS
more details: http://iui.acm.org/2017

CALL FOR PARTICIPATION: Social Robotics and Human Experience Workshop, 11 April 2017, University of Sussex, UK

CALL FOR PAPERS: MINDS MASTERING MACHINES [M³]: The ML and AI conference, Oct 9-11, 2017, London, UK (DEADLINE: 30:03:2017)
more details: http://www.mcubed.london/call-for-papers/

CALL FOR SPECIAL SESSIONS AND WORKSHOP PROPOSALS: 9th International Conference on Computational Collective Intelligence, 27 - 29 Sep 2017, Nicosia, CYPRUS (DEADLINE: 15:03:2017)
more details: http://cyprusconferences.org/iccci2017/

INVITATION TO REGISTER: 10th UK Symposium on Knowledge Discovery and Data Mining, May 8th 2017, London, UK
more details: http://ukkdd.org.uk/

Opportunities Bulletin

Subscribe to opportunities bulletin.

Assistant Professorship in Mathematical Philosophy, Gdansk, POLAND (DEADLINE: 28:02:2017)

Postdoctoral fellowships in philosophy, Mexico City, MEXICO (DEADLINE: 01:03:2017)

Carl Friedrich von Weizsaecker Professorship in Theory and History of Science, Tuebingen, GERMANY (DEADLINE: 10:02:2017)

Professor/Associate Professor in machine learning – up to two positions, University of Bergen, NORWAY (DEADLINE: 01:04:2017)

PhD student position in logic & security, London, UK (DEADLINE: 28:02:2017)
more details: https://www.prism.ucl.ac.uk/#!/?project=206

Three PhD student positions on algorithmic techniques for automated planning, Delft, THE NETHERLANDS (DEADLINE: 28:02:2017)
more details: http://www.alg.ewi.tudelft.nl/vacancies/

CALL FOR PAPERS: Special issue of "Philosophies" on logic, inference, probability, and paradox (DEADLINE: 20:07:2017)
more details: http://www.mdpi.com/journal/philosophies/special_issues/paradox

CALL FOR PAPERS: Special issue of TPLP on "Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming" (DEADLINE: 31:03:2017)

PhD student position in homotopy type theory, Amsterdam, THE NETHERLANDS (DEADLINE: 15:03:2017)
more details: http://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/8682/PhD-position-in-Homotopy-Type-Theory

Research Assistant in Robotics, University of Hertfordshire, School of Computer Science, Hatfield, UK (DEADLINE: 01:03:2017)
more details: http://www.herts.ac.uk/contact-us/jobs-and-vacancies/research-vacancies

Senior Research Assistant in Human-Robot Interaction, University of Hertfordshire, UK (DEADLINE: 05:03:2017)
more details: http://www.herts.ac.uk/contact-us/jobs-and-vacancies/research-vacancies

Research Fellow in Robotics, University of Hertfordshire, UK (DEADLINE: 16:03:2017)
more details: http://www.herts.ac.uk/contact-us/jobs-and-vacancies/research-vacancies

PhD student positions in artificial intelligence, Manchester, UK (DEADLINE: 17:03:2017)

CALL FOR REGISTRATIONS: INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING, July 17-21, 2017, Bilbao, SPAIN (DEADLINE: 24:02:2017)
more details: http://grammars.grlmc.com/DeepLearn2017/

W1 Junior Professorship (3+3y) in philosophy of mind and cognitive systems, Saarbruecken, GERMANY (DEADLINE: 17:03:2017)

PhD student position in "Les Corses avaient-ils raison?", Paris, FRANCE (DEADLINE: 21:04:2017)

Lecturer in Computer Science, Leeds, UK (DEADLINE: 03:03:2017)
more details: https://jobs.leeds.ac.uk/vacancy.aspx?ref=ENGCP1041

Miscellaneous Bulletin

Subscribe to miscellaneous bulletin.

LECTURE: "On Human Dignity as a Foundation for the Right to Privacy"

DISCUSSION about AI between John Searle and Luciano Floridi


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.