Weekly Bulletin

AISB Weekly Bulletin Items for December 2012

Event Bulletin

Subscribe to event bulletin.

CALL FOR PAPERS: Concepts and categorization, 15-16 May 2013, Duesseldorf, GERMANY (DEADLINE: 15:01:2013)
more details: http://www.sfb991.uni-duesseldorf.de/en/the-structure-of-representations-in-language-cognition-and-science/

CALL FOR PAPERS: Thirteenth International Conference on Intelligent Virtual Agents, Aug 29-31st Edinburgh, Scotland, UK (DEADLINE: 14:04:2013)
more details: http://www.cstr.ed.ac.uk/iva2013/

CALL FOR PAPERS: AISB 2013 Convention, 2nd-5th April 2013, Exeter, UK (DEADLINE: 14:01:2013)
more details: http://emps.exeter.ac.uk/computer-science/research/aisb/

CALL FOR PAPERS: Natural Computing, 20-22 March 2013, Tokyo, JAPAN (DEADLINE: 28:02:2013)
more details: http://natural-computing.com/IWNC7

CALL FOR PAPERS: General Intelligence in Embodied Agents, 15-19 Apr 2013, Singapore, SINGAPORE (DEADLINE: 12:12:2012)
more details: http://wp.goertzel.org/?page_id=457

CALL FOR PAPERS: CiE 2013 (Computability in Europe), 1-5 July 2013, Milan, ITALY (DEADLINE: 20:01:2013)
more details: http://cie2013.disco.unimib.it

CALL FOR PARTICIPATION: Foundations of Mathematics for Computer-Aided Formalization,), 9-11 Jan 2013, Padova, ITALY
more details: http://events.math.unipd.it/fomcaf13/

2nd CALL FOR PAPERS: Formal Concept Analysis, 21-24 May 2013, Dresden, GERMANY (DEADLINE: 10:12:2012)
more details: http://www.math.tu-dresden.de/icfca13/

CALL FOR PARTICIPATION: Set Theory Workshop, 15 Dec 2012, Barcelona, SPAIN

CALL FOR PAPERS: 8th International Computer Science Symposium in Russia, June 25-29, 2013, Ekaterinburg, RUSSIA (DEADLINE: 11:12:2012)
more details: http://csr2013.urfu.ru/

2nd Call for Public Event Proposals: 5th International Conference on Affective Computing and Intelligent Interaction, (DEADLINE: 11:12:2012)
more details: http://www.acii2013.org

CALL FOR WORKSHOP PROPOSALS: Affective Computing and Intelligent Interaction, 2-5 September 2013, Geneva, SWITZERLAND (DEADLINE: 15:12:2012)
more details: http://www.acii2013.org

CALL FOR TUTORIAL SUBMISSIONS: AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS,6th-10th May 2013, Saint Paul, Minnesota, USA (DEADLINE: 16:12:2012)
more details: http://aamas2013.cs.umn.edu/

CALL FOR PARTICIPATION: The Legacy of Reuben Goodstein, 14 Dec 2012, Leicester (U.K.)
more details: http://www2.le.ac.uk/departments/mathematics/legacy-of-goodstein

CALL FOR PAPERS: Computation Tools 2013, 27 May-1 June 2013, Valencia, SPAIN (DEADLINE: 30:12:2012)
more details: http://www.iaria.org/conferences2013/COMPUTATIONTOOLS13.html

CALL FOR PAPERS: Theory and Applications of Models of Computation, 20-22 May 2013, Hong Kong, CHINA (DEADLINE: 11:01:2013)
more details: http://www.cs.hku.hk/tamc2013/

CALL FOR TUTORIAL PROPOSALS: Agent Systems Summer School, 1-5 July 2013, London (U.K.) (DEADLINE: 10:02:2013)
more details: http://www.inf.kcl.ac.uk/events/easss13/

CALL FOR PAPERS:Symposium on Artificial Intelligence and Poetry, AISB 2013, April 2nd-5th, University of Exeter, UK (DEADLINE: 14:01:2013)
more details: http://www.macs.hw.ac.uk/ruth/ai&p.html

CALL FOR PAPERS: Asian Logic Conference, 16-20 Sep 2013, Guangzhou, CHINA (DEADLINE: 30:06:2013)
more details: http://logic.sysu.edu.cn/alc2013/home.html

CALL FOR PAPERS: Machine Learning in Water Systems symposium, AISB 2013, 2-5 April 2013, Exeter, UK (DEADLINE: 14:01:2013)
more details: http://emps.exeter.ac.uk/computer-science/research/aisb/

CALL FOR PAPERS: Logical Models of Group Decision Making, 12-16 Aug 2013, Duesseldorf, GERMANY (DEADLINE: 25:04:2013)
more details: http://www.illc.uva.nl/~ulle/esslli-workshop-2013/

2nd CALL FOR PAPERS: Rewriting Techniques and Applications, 24-26 June 2013 Eindhoven, THE NETHERLANDS (DEADLINE: 01:02:2013)
more details: http://rta2013.few.vu.nl/

CALL FOR PARTICIPATION: Logic Colloquium 2013, 22-27 July 2013, Evora, PORTUGAL
more details: http://ptmat.fc.ul.pt/LC2013/

CALL FOR PAPERS: Ultra-Combinatorics, 24-25 Jan 2013, Pisa, ITALY (DEADLINE: 04:01:2013)
more details: http://www.crm.sns.it/event/268

CALL FOR PAPERS: AISB Workshop on 'Distributed Thinking', 30th-31st Jan 2013, Goldsmiths, London (DEADLINE: 24:12:2012)

CALL FOR PAPERS: The 6th AISB Symposium on Computing and Philosophy: The Scandal of Computation - What is Computation?, April 2nd - 5th 2013, University of Exeter, Exeter, UK (DEADLINE: 14:01:2013)
more details: http://extranet.smuc.ac.uk/events-conferences/AISB-Symposium-2013/Pages/default.aspx

CALL FOR PAPERS: Enaction: Challenges and Successes symposium, AISB 2013, April 2-5th, 2013, Univ. of Exeter, UK (DEADLINE: 14:01:2013)
more details: http://emps.exeter.ac.uk/computer-science/research/aisb/

CALL FOR PARTICIPATION: "Onlife Manifesto": Being human in a hyperconnected world, 8 Feb 2013, Brussels, BELGIUM

CALL FOR PAPERS: AISB Symposium on Enabling Domain Experts to useFormalised Reasoning (Do-Form), April 2 - 5th 2013, Exeter, UK (DEADLINE: 14:01:2013)
more details: http://www.cs.bham.ac.uk/research/projects/formare/events/aisb2013/

Opportunities Bulletin

Subscribe to opportunities bulletin.

PhD student position in epistemology / philosophy of science, Amsterdam, THE NETHERLANDS (DEADLINE: 02:01:2013)
more details: http://www.vu.nl/nl/werken-bij-de-vu/vacatures/2012/1.2012.00314.asp

Postdoctoral and PhD student positions in algorithms and complexity, Saarbruecken, GERMANY (DEADLINE: 31:01:2013)
more details: http://www.mpi-inf.mpg.de/departments/ag1/offers.html

Six postdoctoral positions in humanities and social sciences, Tuebingen, GERMANY (DEADLINE: 15:01:2013)

Postdoctoral research positions in mathematics and computer science, Warsaw, POLAND (DEADLINE: 10:12:2012)

AISB CALL FOR SPEAKERS FOR PUBLIC EVENTS

Lectureship & research assistantship (postdoctoral) in argumentation research, Dundee, SCOTLAND (DEADLINE: 07:01:2013)

PhD student position in proof complexity, Stockholm, SWEDEN (DEADLINE: 14:01:2013)
more details: http://www.csc.kth.se/~jakobn/openings/D-2012-0439-Eng.php

PhD student scholarships in theoretical computer science, Birmingham (U.K.)
more details: http://www.cs.bham.ac.uk/admissions/postgraduate-research/

Frymoyer Endowed Chair in Information Sciences, University Park PA (U.S.A.)
more details: http://ist.psu.edu/research/frymoyer-chair

2013-14 Herman Goldstine Memorial Postdoctoral Fellowship, Yorktown NY (U.S.A.) (DEADLINE: 13:01:2013)
more details: http://www.research.ibm.com/goldstine/

Research Fellowship in Theory of Computing, Berkeley CA (U.S.A.) & Saarbruecken, GERMANY (DEADLINE: 15:01:2013)

CALL FOR PAPERS: Special issue on "Loops in Argumentation" (DEADLINE: 31:03:2013)

CALL FOR PAPERS: Special issues on History of Arabic Sciences and Arabic Logic (DEADLINE: 15:12:2012)

SPRING SCHOOL: Interdisciplinary College 2013: "Wicked Problems, Complexity and Wisdom", 15-22 Mar 2013, Moehnesee-Guenne, GERMANY

Josef Raviv Memorial Postdoctoral Fellowship in Computer Science, various IBM Labs (WORLDWIDE), (DEADLINE: 15:03:2013)

CALL FOR SUBMISSIONS: Special Issue on "Computability and Complexity in Analysis" (DEADLINE: 11:02:2013)

The 10th Summer School on Ontology Engineering and the Semantic Web, 7-13 July, 2013, Cercedilla, SPAIN (DEADLINE: 05:04:2013)
more details: http://sssw.org/2013

Postdoctoral position (max 2y) in model checking, Kassel, GERMANY

Scientific coordinator (TV-L E14, 5y) for the development of e-humanities, Tuebingen, GERMANY (DEADLINE: 15:01:2013)
more details: http://www.uni-tuebingen.de/de/1627

1st CALL FOR PAPERS: ESSLLI 2013 Student Session, 5-16 August 2013, Duesseldorf, GERMANY (DEADLINE: 01:04:2013)
more details: http://stus2013.loriweb.org/

MA programme in logic and philosophy of science, Munich, GERMANY
more details: http://www.mcmp.philosophie.uni-muenchen.de/students/ma/index.html

CONTEST: Scope of Logic Theorems (DEADLINE: 28:02:2013)

CALL FOR BOOK REVIEW: 'Game Theory and the Humanities: Bridging Two Worlds' by S. J. Brams
more details: http://mitpress.mit.edu/books/game-theory-and-humanities

CALL FOR PAPERS: Special Issue on THE QUESTION OF BIO-MACHINE HYBRIDS (DEADLINE: 28:02:2013)

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.