Notice

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: http://www.ecai2014.org/tutorials/

CALL FOR PARTICIPATION: ECAI 2014 Conference - Workshops, Sep 18-22, 2014, Prague, CZECH REPUBLIC
more details: http://www.ecai2014.org/workshops/

CALL FOR PAPERS: Logic and Computational Complexity + Immerman's 60th Birthday, 12-13 Jul 2014, Vienna, AUSTRIA (DEADLINE: 02:05:2014)
more details: http://www.cs.swansea.ac.uk/lcc2014/

CALL FOR PAPERS: User Interfaces for Theorem Provers, 17 Jul 2014, Vienna, AUSTRIA (DEADLINE: 04:05:2014)
more details: http://vsl2014.at/pages/UITP-cfp.html

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: http://www.uma.pt/jelia2014

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: http://www.pt-ai.org/iacap/2014/

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: http://www.iis.ee.imperial.ac.uk/saso2014/

CALL FOR PAPERS: 18th International Database Engineering & Applications Symposium, 7-9 July 2014, Porto, PORTUGAL (DEADLINE: 24:03:2014)
more details: http://confsys.encs.concordia.ca/IDEAS/ideas14/webtext.php

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

FINAL CALL FOR CONVENTION PROPOSALS: AISB 2015 (DEADLINE: 14:03:2014)

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: http://www-sop.inria.fr/members/Serena.Villata/climaXV.html

2nd CALL FOR PAPERS: ESSLLI Student Session, 11-22 Aug 2014, Tuebingen, GERMANY (DEADLINE: 01:04:2014)
more details: https://www.easychair.org/conferences/?conf=essllistus2014

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: http://cie2014.inf.elte.hu

CALL FOR ABSTRACTS East-Asian School on Logic, Language and Computation, 2-8 Jul 2014, Beijing, CHINA (DEADLINE: 01:04:2014)
more details: www.tsinghualogic.net/events/2014/easllc

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: www.taros.org.uk

CALL FOR PAPERS: 27th International Workshop on Description Logics, July 17--20, 2014, Vienna, AUSTRIA, (DEADLINE: 07:04:2014)
more details: http://dl.kr.org/dl2014

CALL FOR PAPERS: 39th International Symposium on Mathematical Foundations of Computer Science, Aug 25--29, 2014, Budapest, HUNGARY (DEADLINE: 18:04:2014)
more details: www.inf.u-szeged.hu/mfcs2014

CALL FOR PAPERS: Logic, Algebra and Truth Degrees 2014, July 16 - 19, Vienna, AUSTRIA (DEADLINE: 06:04:2014)
more details: http://www.logic.at/latd2014

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

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: http://highlights-conference.org/

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: http://math.unt.edu/rtgconference2014

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: www.2014.cwap.pl

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: http://www.saso-conference.org

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: http://lamas2014.in.tu-clausthal.de

CALL FOR PAPERS: Workshop on Overcoming Cognitive Biases, 16 or 17 Sep 2014, Graz, AUSTRIA (DEADLINE: 16:04:2014)
more details: http://i-know.tugraz.at

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: http://www.irit.fr/~Laurent.Perrussel/idas-14/

CALL FOR PAPERS: 9th Scandinavian Logic Symposium, 25-27 August 2014, Tampere, FINLAND (DEADLINE: 25:04:2014)
more details: http://www.sis.uta.fi/SLS2014/

CALL FOR PAPERS: : Practical Aspects of Automated Reasoning, 23 Jul 2014, Vienna, AUSTRIA (DEADLINE: 21:04:2014)
more details: http://vsl2014.at/pages/PAAR-index.html

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

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

CALL FOR ABSTRACTS: Joint Automated Reasoning Workshop and Deduktionstreffen, 23-24 July 2014, Vienna, AUSTRIA (DEADLINE: 01:05:2014)
more details: http://vsl2014.at/pages/ARWDT-index.html

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: http://www.cs.ucl.ac.uk/vacancies.html

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: https://recruit.ap.uci.edu/apply/JPF02239

Postdoctoral position in "legal structures", Amsterdam, THE NETHERLANDS (DEADLINE: 20:03:2014)
more details: http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-053.html

Assistant professorship in Philosophy of Science, Amsterdam, THE NETHERLANDS (DEADLINE: 04:04:2014)
more details: http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-056.html

PhD student position in Algorithms, Oxford, UK
more details: (http://www.cs.ox.ac.uk/news/762-full.html)

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)

CALL FOR NOMINATIONS: E W Beth Prize (DEADLINE: 05:05: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: www.uni-passau.de/universitaet/stellenangebote/

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: http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-055.html

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: http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-054.html

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: http://www.iiia.csic.es/coinvent/application/form/

Carnegie Mellon Summer School in Logic and Formal Epistemology, 2-20 Jun 2014, Pittsburgh PA (U.S.A.),
more details: www.hss.cmu.edu/philosophy/summerschool/home.php

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: http://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/ApplicationForm.cfm?PortalID=2537&VacatureID=644715

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: http://www.ruc.dk/en/job/phd

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

PhD studentships in Dialogue and Question Generation, The Open University
more details: http://www3.open.ac.uk/employment/job-details.asp?id=7595

Three academic positions in psychology, University of Huddersfield, UK

Postdoctoral position in statistical machine translation, Amsterdam, THE NETHERLANDS (DEADLINE: 01:06:2014)
more details: http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/14-078.html

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: https://www.easychair.org/conferences/?conf=ccc2013mscspostproce

STUDENT BURSARIES FOR AISB-50

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.
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


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.