Notice

Weekly Bulletin

AISB Weekly Bulletin Items for February 2014

Event Bulletin

Subscribe to event bulletin.

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

CALL FOR PAPERS: Computational Social Science and Social Computer Science: Two Sides of the Same Coin, 23rd-24th June 2014, University of Surrey, UK (DEADLINE: 11:04:2014)
more details: http://www.ias.surrey.ac.uk/workshops/computational/index.php

CALL FOR PAPERS: 1st INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY, July 1-3, 2014, Tarragona, SPAIN-EXTENDED DEADLINE (DEADLINE: 11:02:2014)
more details: http://grammars.grlmc.com/alcob2014/

CALL FOR PAPERS: FOURTH WORKSHOP ON CONTROLLED NATURAL LANGUAGE, 20-22 August 2014, Galway, IRELAND (DEADLINE: 14:03:2014)
more details: http://attempto.ifi.uzh.ch/site/cnl2014/

CAL FOR ABSTRACTS: 6th Workshop in the Philosophy of Information, 15-16 May 2014, Durham NC (U.S.A.), (DEADLINE: 01:03:2014)

CALL FOR PAPERS: Hypothetical Reasoning, 23-24 Aug 2014, Tuebingen, GERMANY (DEADLINE: 22:04:2014)
more details: http://ls.informatik.uni-tuebingen.de/hypo/

CALL FOR PAPERS: Correctness by Construction, 24-27 Mar 2014, Genova, ITALY (DEADLINE: 13:02:2014)
more details: http://corcon2014.net/

CALL FOR PAPERS: International Conference on Computational Creativity 2014, June 10-13, Ljubljana, SLOVENIA- EXTENDED DEADLINE (DEADLINE: 14:02:2014)
more details: http://computationalcreativity.net/iccc2014/

CALL FOR PAPERS: Conference on Prestigious Applications of Intelligent Systems, 20 - 21 August 2014, Prague, CZECH REPUBLIC (DEADLINE: 01:03:2014)
more details: http://www.ecai2014.org

CALL FOR SYSTEM DEMONSTRATIONS: Conference on Prestigious Applications of Intelligent Systems,20 - 21 August 2014, Prague, CZECH REPUBLIC (DEADLINE: 01:03:2014)
more details: http://www.ecai2014.org

CALL FOR PARTICIPATION: 13th International Conference on Autonomous Agents and Multiagent Systems, May 5-9, 2014. Paris, FRANCE (DEADLINE: 09:02:2014)
more details: http://aamas2014.lip6.fr

CALL FOR PARTICIPATION: PUBLIC LECTURE - 'Iris Murdoch: A Life of Philosophy and Literature'; Barnes Philosophy Club, 12 Feb 2014, London. UK

CALL FOR PARTICIPATION: Computability, Complexity and Randomness, 9-13 Jun 2014 Singapore, SINGAPORE
more details: http://www2.ims.nus.edu.sg/Programs/014algo/

CALL FOR PAPERS: German Conference on Artificial Intelligence, 22-26 Sep 2014, Stuttgart, GERMANY (DEADLINE: 15:03:2014)
more details: www.ki2014.de

CALL FOR PAPERS: 10th International Symposium of Cognition, Logic and Communication, 12-13 Sep 2014, Riga, LATVIA (DEADLINE: 15:02:2014)
more details: http://cognition.lu.lv/symp/10-call.html

4th CALL FOR PAPERS: The 23rd IEEE International Symposium on Robot and Human Interactive Communication,25th- 29th Aug 2014, Edinburgh, SCOTLAND (DEADLINE: 16:02:2014)
more details: http://rehabilitationrobotics.net/ro-man14/

FINAL CALL FOR PAPERS: Twenty-first European Conference on Artificial Intelligence 18-22 August 2014, Prague, CZECH REPUBLIC (DEADLINE: 01:03:2014)
more details: http://www.ecai2014.org

CALL FOR PARTICIPATION: Research workshop on Logical and Modal Space, 11-13 Apr 2014, New York NY (U.S.A.)
more details: http://users.ox.ac.uk/~jesu2281/workshop/

CALL FOR PAPERS: Workshop on Abstractionism / Neologicism, 26-27 Apr 2014, Storrs CT (U.S.A.) (DEADLINE: 16:02:2014)
more details: http://logic.uconn.edu/workshop.php

CALL FOR PAPERS: Intelligent Narrative Technologies, 17-18 Jun 2014, Milwaukee WI (U.S.A.) (DEADLINE: 03:03:2014)
more details: http://int7.westphal.drexel.edu/?page_id=8

CALL FOR PARTICIPATION: British Colloquium for Theoretical Computer Science, 9-11 Apr 2014, Loughborough, ENGLAND
more details: http://bctcs.lboro.ac.uk/

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

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

CALL FOR PAPERS: 23rd IEEE International Symposium on Robot and Human Interactive Communication, 25th- 29th Aug 2014, Edinburgh, Scotland, UK (DEADLINE: 16:02:2014)
more details: http://rehabilitationrobotics.net/ro-man14/

CALL FOR PARTICIPATION: British Colloquium for Theoretical Computer Science, 9-11 Apr 2014, Loughborough, ENGLAND
more details: http://bctcs.lboro.ac.uk/

FINAL CALL FOR PAPERS: Twenty-first European Conference on Artificial Intelligence, 18-22 August 2014, Prague, CZECH REPUBLIC (DEADLINE: 01:03:2014)
more details: http://www.ecai2014.org

CALL FOR PAPERS: 10th International Symposium of Cognition, Logic and Communication, 12-13 Sep 2014, Riga, LATVIA (DEADLINE: 15:02:2014)
more details: http://cognition.lu.lv/symp/10-call.html

CALL FOR PAPERS: The 37th German Conference on Artificial Intelligence, September 22--26, 2014, Stuttgart, GERMANY (DEADLINE: 15:03:2014)
more details: www.ki2014.de

CALL FOR PARTICIPATION: Computability, Complexity and Randomness, 9-13 Jun 2014, Singapore, SINGAPORE
more details: http://www2.ims.nus.edu.sg/Programs/014algo/

CALL FOR PAPERS: The Seventh Workshop on Intelligent Narrative Technologies (INT), June 17-18, 2014, Milwaukee, WI, USA (DEADLINE: 03:03:2014)
more details: http://int7.westphal.drexel.edu/?page_id=8

CALL FOR PAPERS: Workshop on Abstractionism / Neologicism, 26-27 Apr 2014, Storrs CT (U.S.A.), (DEADLINE: 16:02:2014)

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

CALL FOR PAPERS: Annual Meeting of the International Association for Computing and Philosophy, July 2-4. 2014, Thessaloniki, GREECE (DEADLINE: 28:02:2014)
more details: www.iacap.org

CALL FOR PAPERS: IEEE Technically Co-Sponsored Science and Information Conference, August 27-29, 2014 | London UK (DEADLINE: 01:03:2014)
more details: www.conference.thesai.org

CALL FOR PAPERS: Controlled Natural Language, 20-22 Aug 2014, Galway, IRELAND (DEADLINE: 14:03:2014)
more details: http://attempto.ifi.uzh.ch/site/cnl2014/

CALL FOR PAPERS: 12th ArgDiaP Conference "From Real Data to Argument Mining" 23-24 May 2014, Warsaw, POLAND (DEADLINE: 07:04:2014)
more details: http://argdiap.pl/argdiap2014

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

CALL FOR PAPERS: 3rd International Workshop on Debugging Ontologies and Ontology Mappings, May 26, 2014, Anissaras/Hersonissou, GREECE (DEADLINE: 06:03:2014)
more details: http://www.ida.liu.se/~patla/conferences/WoDOOM14/

CALL FOR PAPERS: IEEE International Workshop on Formal Methods Integration, August 13-15, 2014 San Francisco, USA, (DEADLINE: 28:03:2014)
more details: http://www.ieee-iri.org

CALL FOR PAPERS: Symposium on the Foundations of Mathematics, 7-8 Jul 2014 Vienna, AUSTRIA (DEADLINE: 31:03:2014)

CALL FOR SUBMISSIONS: Doctoral Consortium of IVA 2014 Conference, 26 August 2014, Northeastern University, Boston, Massachusetts, USA (DEADLINE: 15:05:2014)
more details: http://www.ccs.neu.edu/iva2014/

CALL FOR PARTICIPATION: 8th International Conference on Language and Automata Theory and Applications,March 10-14, 2014, Madrid, SPAIN
more details: http://grammars.grlmc.com/lata2014/

CALL FOR PAPERS: 3rd International Workshop on GENTZEN SYSTEMS AND BEYOND, July 13, 2014 Vienna, AUSTRIA (DEADLINE: 13:04:2014)
more details: http://vsl2014.at/pages/GSB-cfp.html

CALL FOR PARTICIPATION: Public Lecture - 'For his Diligence Majesty our long distance laird that likes creation': the Finnegans Wake creative, 5th March, 2014, St Mary’s University, Twickenham, London
more details: http://extranet.smuc.ac.uk/events-conferences/RIP-Lecture-Series-2013-14/Pages/len-platt.aspx

CALL FOR PAPERS: Proof, Computaation and Complexity, 15-16 May 2014, Paris, FRANCE (DEADLINE: 03:03:2014)

FINAL CALL FOR PAPERS: 12th International Conference on Deontic logic and Normative Systems,12-15 July 2014, Ghent, BELGIUM (DEADLINE: 01:03:2014)
more details: http://www.deon2014.ugent.be

CALL FOR PAPERS: Hypothetical Reasoning, 23-24 Aug 2014, Tuebingen, GERMANY (DEADLINE: 22:04:2014)
more details: http://ls.informatik.uni-tuebingen.de/hypo/

CALL FOR PARTICIPATION: 2nd Logic and Language Conference, 21-22 Mar 2014, London (U.K.)
more details: http://philosophy.sas.ac.uk/LL2014

CALL FOR PAPERS: 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: 4th International Workshop on Euler Diagrams, July 28, 2014, Melbourne, AUSTRALIA (DEADLINE: 21:04:2014)

CALL FOR PARTICIPATION: LMS Lecture series on Games, Trees, Models, Second Order Logic, Foundations of Mathematics, and Dependence, 14-17 Apr 2014, London & Norwich (U.K.),
more details: http://www.uea.ac.uk/~h020/Jouko.html

CALL FOR PAPERS: Logic and the Foundations of Game and Decision Theory, 27-30 July 2014, Bergen, NORWAY (DEADLINE: 08:03:2014)
more details: http://folk.uib.no/nmita/LOFT11

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

CALL FOR PAPERS: Computability and Complexity in Analysis, 21-24 Jul 2014, Darmstadt, GERMANY (DEADLINE: 07:04:2014)
more details: http://cca-net.de/cca2014/

CALL FOR PARTICIPATION: Workshop on Computability Theory, 3-4 Jul 2014, Prague, CZECH REPUBLIC
more details: http://www.math.uconn.edu/~damir/wctprague/

CALL FOR PARTICIPATION: Public Lecture - Aesthetic Dimensions of Modern Philosophy, Wed 12 Mar, Barnes, London, UK

CALL FOR PAPERS: Re-Imagining Human, 18-20 September 2014, University of Leuven, BELGIUM (DEADLINE: 30:04:2014)

CALL FOR PARTICIPATION: "Is computation observer-relative?" The 7th AISB Symposium on Computing and Philosophy, AISB-50, 1-4 April 2014, Goldsmiths, London, UK (DEADLINE: 28:02:2014)

Opportunities Bulletin

Subscribe to opportunities bulletin.

Professorship in Mathematics, Helsinki, FINLAND (DEADLINE: 25:03:2014)
more details: http://www.helsinki.fi/recruitment/index.html?id=80619

W3 Professorship in Theoretical Computer Science, Hagen, GERMANY (DEADLINE: 13:03:2014)

Postdoctoral position in resource reasoning, UCL, London (U.K.) (DEADLINE: 18:02:2014)

Lectureship in Philosophy (teaching needs in logic), Royal Holloway, London (U.K.) (DEADLINE: 12:03:2014)
more details: http://www.rhul.ac.uk/aboutus/jobvacancies/home.aspx

Postdoctoral position in computational logic, Vienna, AUSTRIA (DEADLINE: 07:03:2014)

Tenure-track assistant professorship in theoretical computer science, Stockholm, SWEDEN (DEADLINE: 24:02:2014)
more details: http://www.csc.kth.se/tcs/jobs/D-2013-0772.php

Russell Visiting Professorship, Hamilton ON, CANADA (DEADLINE: 30:04:2014)

NEW JOURNAL: SAJL, South American Journal of Logic
more details: http://www.sa-logic.org/

FINAL CALL: IFAAMAS-13 Victor Lesser Distinguished Dissertation Award nominations (DEADLINE: 28:02:2014)

Analysis Studentship 2014/15 in Philosophy (DEADLINE: 11:04:2014)

PhD student positions (up to 13) in History and Philosophy of Science, Vienna, AUSTRIA (DEADLINE: 17:03:2014)

Professorship of Formal Foundations of Artificial Intelligence, Vienna, AUSTRIA (DEADLINE: 19:03:2014)

Two PhD student positions in concept invention theory, Magdeburg, GERMANY (DEADLINE: 28:02:2014)

Postdoctoral position in set theory, Torino, ITALY
more details: http://www2.dm.unito.it/paginepersonali/viale/index.html

CALL FOR APPLICATIONS: Indo-European Research Network in Logic (DEADLINE: 01:04:2014)
more details: http://www.math.uni-hamburg.de/IERTNiL/

PhD student positions in foundations of computing, London (U.K.)
more details: http://www.mdx.ac.uk/research/applications/fees/bursaries/index.aspx

Assistant professorship and three postdoctoral fellowships in mathematical philosophy, Munich, GERMANY (DEADLINE: 25:03:2014)

PhD student positions in Computer Science (including one in formal methods), Gothenburg, SWEDEN (DEADLINE: 31:03:2014)

Position as scientific assistant (.5 fte, 2y) in formal ontology, Saarbruecken, GERMANY (DEADLINE: 31:03:2014)

CALL FOR PAPERS: DISCOVERY SCIENCE - Special Issue in Information Sciences (DEADLINE: 01:03:2014)

Miscellaneous Bulletin

Subscribe to miscellaneous bulletin.

Announcement of ballot to amend the constitution of the Society


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