Weekly Bulletin

AISB Weekly Bulletin Items for January 2017

Event Bulletin

Subscribe to event bulletin.

CALL FOR MULTIMODAL GRAND CHALLENGES: International Conference on Multimodal Interaction, Nov 13-17th, 2017, Glasgow, SCOTLAND (DEADLINE: 13:01:2017)
more details:

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:

CALL FOR PAPERS: Phylogenetic Methods in Historical Linguistics, 27-31 Mar 2017, Tuebingen, GERMANY - EXTENDED DEADLINE (DEADLINE: 15:01:2017)

CALL FOR PAPERS: 17th Philosophy of Logic, Mathematics, and Physics Graduate Conference, 15-16 Jun 2017, London ON, CANADA (DEADLINE: 28:02:2017)
more details:

CALL FOR PAPERS: Language, cognition, and computation, AISB 2017, 19-21 April 2017, Bath, UK (DEADLINE: 16:01:2017)
more details:

CALL FOR PAPERS: Intuitionistic Modal Logic and Applications, 17-28 Jul 2017, Toulouse, FRANCE (DEADLINE: 01:03:2017)
more details:

CALL FOR PAPERS: Causal Reasoning for Embedded and Safety-critical Systems Technologies, 29 Apr 2017, Uppsala, SWEDEN (DEADLINE: 27:01:2017)

CALL FOR PAPERS: Cognitive Modelling and Computational Linguistics, 3 Apr 2017, Valencia, SPAIN (DEADLINE: 16:01:2017)
more details:

CALL FOR PAPERS: Flexible Query Answering Systems, 21-23 Jun 2017, London, ENGLAND (DEADLINE: 01:02:2017)
more details:

CALL FOR PAPERS: Logic for Programming, Artificial Intelligence and Reasoning, 8-12 May 2017, Maun, BOTSWANA (DEADLINE: 18:01:2017)
more details:

CALL FOR PAPERS: PhDs in Logic IX, 2nd - 4th May 2017, Bochum, GERMANY (DEADLINE: 02:02:2017)
more details:

CALL FOR PAPERS: Symposium on Computational Modelling of Emotion: Theory and Applications, AISB 2017, 19-21st April 2017, Bath, UK (DEADLINE: 25:01:2017)
more details:

CALL FOR DEMOS: International Workshop on Coordination, Organizations, Institutions and Norms, 8 or 9 May 2017, Sao Paulo, BRAZIL (DEADLINE: 07:02:2017)
more details:

CALL FOR PARTICIPATION: Workshop "Culture and Cognition", 9 Feb 2017, Goettingen, GERMANY

CALL FOR PAPERS: Model Checking of Software, 13-14 Jul 2017, Santa Barbara CA (U.S.A.) (DEADLINE: 10:02:2017)
more details:

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:

CALL FOR PAPERS: ESSLLI 2017 Student Session, 17-28 Jul 2017, Toulouse, FRANCE (DEADLINE: 07:02:2017)
more details:

CALL FOR PAPERS: Implementation and Application of Automata, 27-30 Jun 2017, Paris, FRANCE (DEADLINE: 01:03:2017)
more details:

CALL FOR PAPERS: Mathematics of Language, 13-14 Jul 2017, London, ENGLAND (DEADLINE: 03:03:2017)
more details:

CALL FOR PAPERS: Computability & Complexity in Analysis, 24-27 Jul 2017, Daejeon, SOUTH KOREA (DEADLINE: 03:04:2017)
more details:

CALL FOR PAPERS: Metafinite model theory and definability and complexity of numeric graph parameters, 19 Jun 2017, Reykjavik, ICELAND (DEADLINE: 07:04:2017)
more details:

more details:

CALL FOR PAPERS: 'The Power of Passion: Human Reason and its Emotional Foundations', AISB 2017, 19-21 April 2017, Bath, UK (DEADLINE: 28:01:2017)
more details:

CALL FOR PAPERS: Developments in Implicit Computational Complexity & Foundational and Practical Aspects of Resource Analyssis, 22-23 Apr 2017, Uppsala, SWEDEN (DEADLINE: 19:02:2017)
more details:

Opportunities Bulletin

Subscribe to opportunities bulletin.

CALL FOR APPLICATIONS: Summer School on Mathematical Philosophy for Female Students 2017, 30 Jul - 5 Aug 2017, Munich, GERMANY (DEADLINE: 05:03:2017)
more details:

Associate Professorship in Automated Verification, Oxford, ENGLAND (DEADLINE: 03:03:2017)
more details:

Postdoctoral position (5y) in computational logic, Innsbruck, AUSTRIA (DEADLINE: 02:02:2017)

1st School on Foundations of Programming and Software Systems, 29 May - 4 Jun 2017, Braga, PORTUGAL
more details:

PhD student position in logic, Amsterdam, THE NETHERLANDS (DEADLINE: 15:02:2017)
more details:

Visiting Fellowships in Logic, Ethics and Philosophy of Science, Tilburg, THE NETHERLANDS (DEADLINE: 25:01:2017)

W1 Junior Professorship in Computational Intelligence, Mainz, GERMANY

Twelve PhD student positions in situated cognition, Bochum/Osnabrueck, GERMANY (DEADLINE: 14:02:2017)

W3 Professorship in Machine Learning, Konstanz, GERMANY (DEADLINE: 29:01:2017)

W2 Professorship in Theoretical Computer Science, Bonn, GERMANY (DEADLINE: 12:02:2017)

Journal of Artificial Intelligence Research (JAIR) Special Track on Deep Learning, Knowledge Representation, and Reasoning (DEADLINE: 28:02:2017)
more details:

Request for nomination of AISB fellows

Two postdoctoral positions in trusted quantum software via a formally verified functional quantum programming language, Halifax NS, CANADA (DEADLINE: 20:01:2017)

Postdoctoral Researcher in Ethics of Biomedical Big Data, University of Oxford, UK (DEADLINE: 03:02:2017)
more details:

Assistant Professorship in Theoretical Philosophy, Zuerich, SWITZERLAND (DEADLINE: 19:02:2017)
more details:

Postdoctoral position in artificial intelligence, Cardiff, WALES (DEADLINE: 04:02:2017)

Postdoctoral position in formal methods, Bordeaux, FRANCE

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

2017 BSPS Doctoral Scholarship Competition, UK (DEADLINE: 07:03:2017)

CALL FOR PAPERS: Personal & Ubiquitous Computing Journal, Special theme Issue on Multisensory Internet (DEADLINE: 31:01:2017)
more details:

Miscellaneous Bulletin

Subscribe to miscellaneous bulletin.

All Bulletin Items by Month

Jan. Feb. Mar. Apr. May Jun. Jul. Aug. Sep. Oct. Nov. Dec.

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.