Weekly Bulletin

AISB Weekly Bulletin Items for March 2014

Event Bulletin

Subscribe to event bulletin.

CALL FOR PARTICIPATION: ECAI 2014 Conference - Tutorials, Aug 18-22, 2014, Prague, CZECH REPUBLIC
more details:

CALL FOR PARTICIPATION: ECAI 2014 Conference - Workshops, Sep 18-22, 2014, Prague, CZECH REPUBLIC
more details:

CALL FOR PAPERS: Logic and Computational Complexity + Immerman's 60th Birthday, 12-13 Jul 2014, Vienna, AUSTRIA (DEADLINE: 02:05:2014)
more details:

CALL FOR PAPERS: User Interfaces for Theorem Provers, 17 Jul 2014, Vienna, AUSTRIA (DEADLINE: 04:05:2014)
more details:

CALL FOR PAPERS: Workshop on Logic and Games, 15 Jul 2014, Vienna, AUSTRIA (DEADLINE: 01:05:2014)

CALL FOR PARTICIPATION: 'Alan Turing - Codebreaker - A life in music' by James McCarthy, 26th April 2014, Barbican Hall, London, UK

1st CALL FOR PAPERS: 14th European Conference on Logics in Artificial Intelligence, Sep 24-26, 2014, Madeira Island, PORTUGAL (DEADLINE: 19:05:2014)
more details:

CALL FOR PAPERS: The Annual Meeting of the International Association for Computing and Philosophy, July 2-4. 2014, Thessaloniki, GREECE (DEADLINE: 15:03:2014)
more details:

CALL FOR PAPERS: The 8th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 8-12 Sep 2014, Imperial College, London (UK) (DEADLINE: 02:05:2014)
more details:

CALL FOR PAPERS: 18th International Database Engineering & Applications Symposium, 7-9 July 2014, Porto, PORTUGAL (DEADLINE: 24:03:2014)
more details:

CALL FOR PARTICIPATION: Public Lecture - Creativity and Invisibility: Gender and Music, Wed 26th March 2014, St Mary’s University, Twickenham, London, UK


CALL FOR PAPERS: CLIMA XV - Special Session on Logics for Agreement Technologies, Aug 18-19, 2014, Prague, CZECH REPUBLIC (DEADLINE: 11:05:2014)
more details:

2nd CALL FOR PAPERS: ESSLLI Student Session, 11-22 Aug 2014, Tuebingen, GERMANY (DEADLINE: 01:04:2014)
more details:

CALL FOR PARTICIPATION: 21st European Conference on Artificial Intelligence, Aug 18–22, Prague, CZECH REPUBLIC - REGISTRATION NOW OPEN

CALL FOR INFORMAL PRESENTATIONS COMPUTABILITY IN EUROPE 2014: Language, Life, Limits, 23-27 Jun 2014, Budapest, HUNGARY (DEADLINE: 23:03:2014)
more details:

CALL FOR ABSTRACTS East-Asian School on Logic, Language and Computation, 2-8 Jul 2014, Beijing, CHINA (DEADLINE: 01:04:2014)
more details:

CALL FOR PARTICIPATION: 'Bounded Rationality: Computational and Behavioural Aspects' workshop, 4 & 5 April 2014, Edinburgh, SCOTLAND

CALL FOR PAPERS: 15th Towards Autonomous Robotic Systems, 1-3 Sep 2014, University of Birmingham, U.K. (DEADLINE: 21:04:2014)
more details:

CALL FOR PAPERS: 27th International Workshop on Description Logics, July 17--20, 2014, Vienna, AUSTRIA, (DEADLINE: 07:04:2014)
more details:

CALL FOR PAPERS: 39th International Symposium on Mathematical Foundations of Computer Science, Aug 25--29, 2014, Budapest, HUNGARY (DEADLINE: 18:04:2014)
more details:

CALL FOR PAPERS: Logic, Algebra and Truth Degrees 2014, July 16 - 19, Vienna, AUSTRIA (DEADLINE: 06:04:2014)
more details:

CALL FOR PAPERS: Eighth European Conference of Analytic Philosophy, 28 Aug - 2 Sep 2014, Bucharest, ROMANIA (DEADLINE: 25:03:2014)
more details:

CALL FOR PAPERS: International Symposium on Visual Information Communication and Interaction, Aug 5-8, Sydney, AUSTRALIA. (DEADLINE: 25:03:2014)

CALL FOR PARTICIPATION: Adaptive and Learning Agents Workshop 2014, May 5-6, Paris, FRANCE

CALL FOR PARTICIPATION: Highlights of Logic, Games and Automata, 2-5 Sep 2014, Paris, FRANCE
more details:

CALL FOR PARTICIPATION & GRANT APPLICATIONS: Logic, Dynamics, and their interaction II, , 2-6 Jun 2014, Denton TX (U.S.A.) (DEADLINE: 01:04:2014)
more details:

CALL FOR PAPERS: Cracow Workshop in Analytical Philosophy, "Normativity of meaning, belief and knowledge", 4-6 Jun 2014, Cracow, POLAND (DEADLINE: 06:04:2014)
more details:

CALL FOR WORKSHOPS & PROPOSALS: 8th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 8-12 Sep 2014, London, UK (DEADLINE: 01:04:2014)
more details:

CALL FOR PAPERS: Artificial General Intelligence, 1-4 Aug 2014, Quebec City QC, CANADA (DEADLINE: 01:04:2014)

CALL FOR PARTICIPATION: Hegel's Logic and Metaphysics, 1-2 May 2014, Warwick (U.K.),

CALL FOR PARTICIPATION: 7th Workshop on Logical Aspects of Multi-Agent Systems, May 5, 2014, Paris, FRANCE
more details:

CALL FOR PAPERS: Workshop on Overcoming Cognitive Biases, 16 or 17 Sep 2014, Graz, AUSTRIA (DEADLINE: 16:04:2014)
more details:

CALL FOR PAPERS: Automated Reasoning in Quantified Non-Classical Logics, 23 July 2014 - Vienna, AUSTRIA (DEADLINE: 28:04:2014)

CALL FOR PAPERS: ESSLLI Workshop on Information Dynamics in Artificial Societies, 18-22 Aug 2014, Tuebingen, GERMANY (DEADLINE: 30:04:2014)
more details:

CALL FOR PAPERS: 9th Scandinavian Logic Symposium, 25-27 August 2014, Tampere, FINLAND (DEADLINE: 25:04:2014)
more details:

CALL FOR PAPERS: : Practical Aspects of Automated Reasoning, 23 Jul 2014, Vienna, AUSTRIA (DEADLINE: 21:04:2014)
more details:

CALL FOR PAPERS: Bucharest Colloquium in Analytic Philosophy, "Logic and its philosophy", 3-4 Sep 2014,Bucharest, ROMANIA (DEADLINE: 25:04:2014)
more details:

CALL FOR PAPERS: Logics for Reasoning about Preferences, Uncertainty and Vagueness, 23-24 Jul 2014, Vienna, AUSTRIA (DEADLINE: 20:04:2014)
more details:

CALL FOR ABSTRACTS: Joint Automated Reasoning Workshop and Deduktionstreffen, 23-24 July 2014, Vienna, AUSTRIA (DEADLINE: 01:05:2014)
more details:

Opportunities Bulletin

Subscribe to opportunities bulletin.

Postdoctoral position in set theory (16m), Torino, ITALY (DEADLINE: 19:03:2014)

Postdoctoral fellowship in philosophy of mathematics (1y), Nancy, FRANCE (DEADLINE: 30:04:2014)

Call for applications to Newton International Fellowships (DEADLINE: 10:03:2014)

PhD student position in "Algebra and Logic for Policy and Utility in Information Security", London (U.K.)
more details:

Researcher on Data Architectures in Smart Cities, Open University's Knowledge Media Institute (DEADLINE: 20:03:2014)

Assistant / Associate Professorship in Logic and Philosophy of Science, Irvina CA (U.S.A) (DEADLINE: 30:03:2014)
more details:

Postdoctoral position in "legal structures", Amsterdam, THE NETHERLANDS (DEADLINE: 20:03:2014)
more details:

Assistant professorship in Philosophy of Science, Amsterdam, THE NETHERLANDS (DEADLINE: 04:04:2014)
more details:

PhD student position in Algorithms, Oxford, UK
more details: (

Six PhD student positions in ITN ESSENCE (Evolution of Shared Semantics in Computational Environments), Edinburgh/Trento/Barcelona/Madrid (SCOTLAND/ITALY/SPAIN)

CALL FOR PAPERS: Special issue of JLC on "Logics for Resources, Processes and Programs" (DEADLINE: 31:03:2014)


Two PhD student positions in verification, Paris, FRANCE
more details: >

W3 Professorship in Theoretical Computer Science, Passau, GERMANY (DEADLINE: 10:04:2014)
more details:

PhD student grants in all subjects of the humanities, Hamburg, GERMANY (DEADLINE: 30:04:2014)

PhD student position in quantum cryptography, Amsterdam, THE NETHERLANDS (DEADLINE: 30:04:2014)
more details:

Senior Lectureship in Metaphysics / Epistemology, Liege, BELGIUM (DEADLINE: 04:04:2014)

PhD student position in algorithmics, Amsterdam, THE NETHERLANDS (DEADLINE: 30:04:2014)
more details:

Two postdoctoral researcher positions in "models and inferences in science; logical, epistemological and cognitive aspects", Rome, ITALY (DEADLINE: 08:04:2014)

CALL FOR APPLICATIONS: Proof, Truth, Computation, 20-25 Jul 2014, Chiemsee, GERMANY (DEADLINE: 17:03:2014)

Research Assistantship in formal understanding of creativity, Barcelona, SPAIN (DEADLINE: 31:03:2014)
more details:

Carnegie Mellon Summer School in Logic and Formal Epistemology, 2-20 Jun 2014, Pittsburgh PA (U.S.A.),
more details:

Summer School on the Foundations of Logic and Mathematics, 18-24 Jun 2014, Aberdeen,SCOTLAND

W3 Professorship Theoretical Philosophy (Philosophy of Science), Siegen, GERMANY (DEADLINE: 10:04:2014)

PhD student position in mathematical game theory and model-based testing, Twente, THE NETHERLANDS (DEADLINE: 07:04:2014)
more details:

PhD student position in theoretical philosophy, Stockholm, SWEDEN (DEADLINE: 15:04:2014)

PhD student position in hybrid-logical proofs at work in cognitive psychology, Roskilde, DENMARK
more details:

PhD student fellowship in epistemology, Leuven, BELGIUM (DEADLINE: 30:05:2014)

PhD studentships in Dialogue and Question Generation, The Open University
more details:

Three academic positions in psychology, University of Huddersfield, UK

Postdoctoral position in statistical machine translation, Amsterdam, THE NETHERLANDS (DEADLINE: 01:06:2014)
more details:

Tenured position as lecturer (maitre de conference) in automated reasoning, Toulouse, FRANCE

CALL FOR PAPERS: Special Issue of MSCS on "Continuity, Computability, Constructivity" (DEADLINE: 31:03:2014)
more details:


Miscellaneous Bulletin

Subscribe to miscellaneous bulletin.

Announcement of ballot to amend the constitution of the Society (DEADLINE: 31:03:2014)

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.