Notice
Weekly Bulletin
AISB Weekly Bulletin Items for October 2012
Event Bulletin
CALL FOR ABSTRACTS: AISB Workshop on Sensorimotor Theories of Perception, 26 Sep 2012, Goldsmiths, University of London, UK (DEADLINE: 12:09:2012)
Weizenbaum Award for AISB Fellow
CALL FOR PAPERS: 8th Australasian Ontology Workshop, 4 Dec 2012, Sydney, AUSTRALIA (DEADLINE: 10:10:2012)
more details: http://aow2012.yolasite.com/
CALL FOR PARTICIPATION: Workshop on Speech and Gesture Production in Virtually and Physically Embodied Conversational Agents, Oct 26, 2012, Santa Monica, California, USA
more details: http://robotics.usc.edu/~icmi
CALL FOR POSITION PAPERS: 5th International Conference on Agents and Artificial Intelligence, 15-18 Feb 2013, Barcelona, SPAIN (DEADLINE: 29:10:2012)
more details: http://www.icaart.org/
CALL FOR ABSTRACTS: Workshop on Relevant Logic, March/April 2013, Rio de Janeiro, BRAZIL (DEADLINE: 01:11:2012)
CALL FOR HOSTING PROPOSALS: FOIS 2014 (Formal Ontology in Information Systems) (DEADLINE: 31:10:2012)
1st CALL FOR PAPERS: 5th International Conference on Algebra and Coalgebra in Computer Science, 3-6 Sep 2013, Warsaw, POLAND (DEADLINE: 22:02:2013)
more details: http://coalg.org/calco13/
CALL FOR PAPERS: 7th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, April 2-5, 2013, Bilbao, SPAIN (DEADLINE: 09:11:2012)
more details: http://grammars.grlmc.com/LATA2013/
CALL FOR PAPERS: Logic in Computer Science, 25-28 June 2013, New Orleans LA, U.S.A. (DEADLINE: 07:01:2013)
more details: http://www2.informatik.hu-berlin.de/lics/lics13/
2nd CALL FOR CONVENTION PROPOSALS: AISB 2014: 50th Anniversary Convention (DEADLINE: 30:11:2012)
CALL FOR CONVENTION PROPOSALS: AISB 2014: 50th Anniversary Convention
CALL FOR PARTICIPATION: Winter School in Abstract Analysis, section set theory and topology, 26 Jan - 2 Feb 2013, Hejnice, CZECH REPUBLIC
more details: http://www.winterschool.eu
CALL FOR PARTICIPATION: Turing in Context II, 10-12 Oct 2012, Brussels, BELGIUM
more details: http://www.computing-conference.ugent.be/registrationTICII
CALL FOR PAPERS: Artificial Intelligence and Law, 10-14 June 2013, Rome, ITALY (DEADLINE: 09:11:2012)
more details: http://icail2013.ittig.cnr.it
PRELIMINARY CALL FOR CONTRIBUTIONS:Strategic Reasoning, 16-17 March 2013, Rome, ITALY (DEADLINE: 15:12:2012)
more details: http://www.strategicreasoning.net/
CALL FOR PAPERS: 4th World Congress on Universal Logic, 29 Mar - 7 Apr 2013, Rio de Janeiro, BRAZIL (DEADLINE: 01:11:2012)
more details: http://www.uni-log.org/
1st CALL FOR PAPERS: Computer Science Symposium in Russia, 25-29 June 2013, Ekaterinburg, RUSSIA (DEADLINE: 11:12:2012)
more details: http://csr2013.urfu.ru/
INVITATION TO REGISTER: AI-2012: The 32nd SGAI annual conference, 11th - 13th Dec 2012, Cambridge, UK
more details: http://www.bcs-sgai.org/ai2012/
CALL FOR PAPERS: Philosophy of Communication and Information Session, XXIII World Congress of Philosophy, 4–10th Aug 2013, Athens,GREECE (DEADLINE: 01:02:2013)
more details: http://www.wcp2013.gr/
CALL FOR PAPERS: Workshop on Compositional Meaning in Logic, April 3-7, 2013, Rio de Janeiro, BRAZIL (DEADLINE: 01:12:2012)
CALL FOR PAPERS: Graduate Conference in Theoretical Philosophy, 18-20 April 2013, Groningen, THE NETHERLANDS (DEADLINE: 01:02:2013)
more details: http://www.philos.rug.nl/GCTP2013/
CALL FOR PAPERS: The Analysis of Theoretical Terms, April 3rd-5th, 2013, Munich, GERMANY (DEADLINE: 01:12:2012)
more details: >https://sites.google.com/site/theoreticalterms/
CALL FOR PAPERS: Rewriting Techniques and Applications, 24-26 June 2013, Eindhoven, THE NETHERLANDS (DEADLINE: 01:02:2013)
more details: http://www.win.tue.nl/rdp2013/
CALL FOR PAPERS: 18th Coalition Theory Network Workshop, 8-9 Feb 2013, Warwick (U.K.) (DEADLINE: 21:11:2012)
more details: http://www.feem-web.it/ctn/events/13_Warwick/ctn18i.html
CALL FOR PROPOSALS to organise the 11th International Conferences on Concept Lattices and Their Applications. (DEADLINE: 30:11:2012)
CALL FOR WORKSHOP PROPOSALS: International Conference on Machine Learning, June 21, 2013, Atlanta, USA (DEADLINE: 01:12:2012)
CALL FOR PARTICIPATION: XVI Southern Cone Colloquium of Philosophy of Formal Sciences on Set Theory and Mereology, 6-10 Nov 2012, Santa Maria, BRAZIL
more details: http://www.gcfcf.com.br/
Opportunities Bulletin
Subscribe to opportunities bulletin.
Faculty position in formal epistemology, Pittsburgh PA (U.S.A.) (DEADLINE: 01:11:2012)
more details: http://www.hss.cmu.edu/philosophy/job-open-nov-2012.php
CALL FOR PAPERS: Special issue on Philosophy of Information (DEADLINE: 31:10:2012)
Ten PhD and Postdoctoral positions in formal methods, Vienna, AUSTRIA
more details: http://www.forsyte.at/hiring
Professorship in Theoretical Philosophy, Basel, SWITZERLAND (DEADLINE: 20:10:2012)
CALL FOR PAPERS: Special issue on Philosophy of Information (DEADLINE: 31:10:2012)
Faculty position in formal epistemology, Pittsburgh PA (U.S.A.) (DEADLINE: 01:11:2012)
more details: http://www.hss.cmu.edu/philosophy/job-open-nov-2012.php
Rosalind Franklin Fellowships (tenure-track positions for female researchers), Groningen, THE NETHERLANDS
more details: http://www.rug.nl/rff http://www.rug.nl
CALL FOR BOOK REVIEW: The machine Question by David J. Gunkel
more details: http://www.amazon.co.uk/The-Machine-Question-Critical-Perspectives/dp/0262017431
Postdoctoral position on scientific uncertainty, LSE, London (U.K.) (DEADLINE: 01:12:2012)
more details: http://www2.lse.ac.uk/CPNSS/pdf/cpnssPostdoc.pdf
PhD student position in logical and computational models of moral reasoning, Tilburg, THE NETHERLANDS (DEADLINE: 15:11:2012)
more details: http://erec.uvt.nl/vacancy?inc=UVT-EXT-2012-0434
Two postdoctoral positions in algorithms and machine learning, Helsinki, FINLAND (DEADLINE: 31:10:2012)
more details: http://www.aalto.fi/en/current/jobs/teaching_and_research/algodan_postdocs/
(Senior) Lectureship in Mathematical Logic, Amsterdam, THE NETHERLANDS (DEADLINE: 03:12:2012)
Faculty staff positions, Carnegie Mellon University, USA (DEADLINE: 31:10:2012)
Tenure-track assistant professorship in philosophical or mathematical logic / philosophy of mathematics, Manhattan KS (U.S.A.) (DEADLINE: 02:11:2012)
Postdoctoral position in verification, Paris, FRANCE
more details: http://www.liafa.jussieu.fr/index_en.php
Two postdoctoral positions in algorithms and machine learning, Helsinki, FINLAND (DEADLINE: 31:10:2012)
more details: http://www.aalto.fi/en/current/jobs/teaching_and_research/algodan_postdocs/
Two postdoctoral positions in algorithmic game theory, Liverpool & Glasgow (U.K.) (DEADLINE: 12:11:2012)
more details: http://www.dcs.gla.ac.uk/~davidm/postdoc.html
CALL FOR PAPERS: Special issue on The Machine as Moral Agent and Patient (DEADLINE: 10:01:2013)
PhD student or postdoctoral position in theoretical computer science, Jena, GERMANY (DEADLINE: 10:11:2012)
Postdoctoral and PhD student position in Music Cognition, Amsterdam / Leiden, THE NETHERLANDS (DEADLINE: 23:11:2012)
Lectureship in theoretical computer science, Bristol (U.K.) (DEADLINE: 21:11:2012)
more details: http://www.cs.bris.ac.uk/Research/Algorithms/
CALL FOR NOMINATIONS: ACM SIGART Autonomous Agents Research Award 2013 (DEADLINE: 07:12:2012)
more details: http://sigart.acm.org/aaaward.htm
W3 professorship in mathematical logic, Berlin, GERMANY
CALL FOR PAPERS: Special issue on Artifact Categorization (DEADLINE: 15:11:2012)
Miscellaneous Bulletin
Subscribe to miscellaneous bulletin.
All Bulletin Items by Month
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.



