Notice
Weekly Bulletin
AISB Weekly Bulletin Items for February 2011
Event Bulletin
CONFERENCE: The Problem of Relativism in the Sociology of (Scientific) Knowledge
more details: http://www.uni-muenster.de/Wissenschaftstheorie/veranstaltungen/conference2011/index.html
CALL FOR PAPERS: "Logic and its Applications", 27 June-1 July 2011, Russia (DEADLINE: 20:02:2011)
more details: http://www.hse.ru/org/hse/premi11
CfP: "Human Aspects in Ambient Intelligence", 22 Aug 2011, France (DEADLINE: 21:03:2011)
more details: http://www.few.vu.nl/~tbosse/HAI11/
CfP: Automated Deduction, 31 Jul - 5 Aug 2011, Poland (DEADLINE: 01:02:2011)
more details: http://cade23.ii.uni.wroc.pl/
CALL FOR POSTERS: 8th Conference on Autonomic Computing, 14-18 June 2011, Germany (DEADLINE: 25:03:2011)
CfP: "Programming Multi-Agent Systems", 2-6 May 2011, Taiwan EXTENDED (DEADLINE: 06:02:2011)
more details: http://inf.ufrgs.br/promas2011/
2nd CfP: "Towards Autonomous Robotics Systems", 31 Aug - 2 Sep 2011, Sheffield (DEADLINE: 11:03:2011)
more details: http://www.taros.org.uk
3rd CfP: "Modular Ontologies", 8-12 August 2011, Slovenia (DEADLINE: 01:04:2011)
more details: http://www.informatik.uni-bremen.de/~okutz/womo5
CfP: "Language, Logic and Computation", 26-30 Sep 2011, Georgia (DEADLINE: 01:05:2011)
more details: http://www.illc.uva.nl/Tbilisi/Tbilisi2011/
COLLOQUIUM: "Theoretical Computer Science", 18-21 April 2011, Birmingham
more details: http://events.cs.bham.ac.uk/BCTCS2011
CfP: Workshop "Domains X", 5-7 Sep 2011, Swansea
more details: http://www.cs.swan.ac.uk/domains2011/
2nd CfP: "Mathematics of Language", 5-7 Sep 2011, Japan (DEADLINE: 22:03:2011)
more details: http://sites.google.com/site/mol12tokyo/
Final CfP: "Logical Aspects of Computational Linguistics", 29 June - 1 July, France (DEADLINE: 06:02:2011)
more details: http://lacl.gforge.inria.fr
CALL FOR PAPERS: "Constraint Solving and Constraint Logic Programming", 12-14 April 2011, York (DEADLINE: 09:03:2011)
more details: http://wiki.ercim.eu/wg/Constraints
CONFERENCE: "Groups and Model Theory", 30 May - 3 June 2011, Germany
more details: http://www.enigma-software.de/algebra/agmt
CALL FOR PAPERS: "Web Reasoning and Rule Systems", 29-30 Aug 2011, Ireland (DEADLINE: 20:04:2011)
more details: http://www.rr-conference.org/RR2011/
CfP: "Methods for Modalities", 9-12 Nov 2011, Spain (DEADLINE: 15:07:2011)
more details: http://personal.us.es/hvd/m4m/
2nd CfP: "Flexible Query Answering Systems", 26-28 Oct 2011, Belgium (DEADLINE: 01:03:2011)
more details: http://fqas2011.ugent.be
CfP: "Information Reuse and Integration ", 3-5 August 2011, Las Vegas USA (DEADLINE: 15:02:2011)
more details: http://www.sis.pitt.edu/~iri2011/
CfP: "Intelligent Techniques for Web Personalization and Recommender Systems", 16 July 2011, Spain (DEADLINE: 10:04:2011)
more details: http://ls13-www.cs.uni-dortmund.de/homepage/itwp2011/index.shtml
CfP: IACAP:“The Computational Turn: Past, Presents, Futures?”, July 4-6 2011, Denmark (DEADLINE: 15:02:2011)
more details: http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14260©ownerid=17088
CALL FOR PAPERS: IJCAI Workshop on "Social Choice and AI", 16 July 2011, Spain (DEADLINE: 06:04:2011)
more details: http://www.illc.uva.nl/COMSOC/IJCAI-2011/
CALL FOR PARTICIPATION: "Autonomous agents and multiagent systems" , May 2 - 6 2011, Taiwan
more details: www.aamas2011.tw
CONFERENCE: "Boolean algebras, Lattices, Algebraic Logic, Set Theory, and Topology", 1-5 June 2011, Kansas (USA)
more details: http://www.math.ku.edu/conferences/blast2011/
CALL FOR PAPERS: "Numerical Cognition and Mathematical Ontology", 4 Sep 2011, Italy EXTENDED (DEADLINE: 10:03:2011)
more details: http://www.esap.info/ecap7/?page_id=29
CALL FOR PAPERS: "Satisfiability Modulo Theories", 14-15 July 2011, Utah, USA (DEADLINE: 15:04:2011)
more details: http://uclid.eecs.berkeley.edu/smt11/
CALL FOR PAPERS: "Logics for Games and Social Choice",17-18 July 2011, Spain (DEADLINE: 04:04:2011)
more details: http://centria.di.fct.unl.pt/events/climaXII/sessions.html
2nd CALL FOR PAPERS: "Neural-Symbolic Learning and Reasoning", 17 July 2011, Spain (DEADLINE: 18:04:2011)
more details: http://www.neural-symbolic.org/NeSy11/
CALL FOR PAPERS: "Program Semantics, Specification and Verification", 12-13 June 2011, Russia (DEADLINE: 01:03:2011)
more details: http://logic.pdmi.ras.ru/csr2011/ppsv2011
CALL FOR PAPERS: International Workshop on "Engineering Semantic Agent Systems", July 18-22, Germany (DEADLINE: 22:03:2011)
more details: http://compsac.cs.iastate.edu/workshop_details.php?id=32&y=
CALL FOR PAPERS: Symposium on "Algorithmic Game Theory", Salerno (Italy), 17-19 Oct 2011, Italy (DEADLINE: 09:05:2011)
more details: http://sagt2011.dia.unisa.it/
CALL FOR PAPERS: "Temporal Representation and Reasoning", 12-14 September 2011, Germany (DEADLINE: 13:04:2011)
more details: http://www.isp.uni-luebeck.de/time11/
CALL FOR PAPERS: Fifth ACM Conference on "Recommender Systems", Oct 2011, Chicago (USA) (DEADLINE: 09:05:2011)
more details: http://recsys.acm.org/2011/
CALL FOR PAPERS: 8th Panhellenic Logic Symposium, 4-8 July 2011, Greece (DEADLINE: 25:03:2011)
more details: www.cs.uoi.gr/~pls8/
CALL FOR PAPERS: German Conference on Artificial Intelligence, 4-7 October 2011, Germany (DEADLINE: 01:05:2011)
more details: http://ki2011.de
CALL FOR PARTICIPATION: Doctoral Student Consortium of the International Conference on Logic Programming, 6-10 July 2011, USA (DEADLINE: 24:04:2011)
more details: http://cmt.math.unipr.it/iclp-dc-2011
2nd CALL FOR PAPERS: Student Session @ ESSLLI 2011, 1-12 July 2011, Slovenia (DEADLINE: 25:03:2011)
more details: http://homepages.nyu.edu/~dhl271/esslli2011stus/.
CALL FOR PAPERS: "Automated Specification and Verification of Web Systems", 9 June 2011, Iceland (DEADLINE: 28:03:2011)
more details: http://rap.dsi.unifi.it/wwv2011/
3rd CALL FOR PAPERS: "Order Algebra and Logic", 6-10 June 2011, Poland (DEADLINE: 14:03:2011)
more details: http://2oal.tcs.uj.edu.pl
CALL FOR PAPERS: "Structural Information and Communication Complexity", 26-29 Jun 2011, Poland (DEADLINE: 10:03:2011)
more details: http://www.sirocco2011.org/
CALL FOR PAPERS: International Colloquium on Theoretical Aspects of Computing, 31 Aug - 2 Sep 2011, South Africa (DEADLINE: 15:03:2011)
more details: http://www.ictac.net/ictac2011/
SUMMER SCHOOL & CONFERENCE:
more details: http://www.bbk.ac.uk/philosophy/our-research/ppp/summer-school
CALL FOR PAPERS: "Gesture and Speech in Interaction", 5 - 7 Sep 2011, Germany (DEADLINE: 30:04:2011)
more details: http://gespin.uni-bielefeld.de/
CALL FOR PAPERS: IEEE Conference on Information Reuse and Integration, August 3-5 2011, Las Vegas EXTENDED (DEADLINE: 28:03:2011)
more details: http://www.sis.pitt.edu/~iri2011/
CALL FOR PAPERS: Special issue on "Reasoning with context" (DEADLINE: 15:06:2011)
more details: http://ees.elsevier.com/jws
CALL FOR PAPERS: "Reachability Problems", 28-30 Sep 2011, ITALY (DEADLINE: 10:05:2011)
more details: http://rp11.disi.unige.it
CALL FOR PAPERS: "Logical Aspects of Multi-Agent Systems", 10 Nov 2011, SPAIN (DEADLINE: 15:07:2011)
more details: http://icr.uni.lu/lamas2011/
COMPETITION: "Games AI Programming", Exeter (UK) (DEADLINE: 22:03:2011)
more details: www.tinyurl.com/ge2011
2nd CALL FOR PAPERS: "Knowledge and Reasoning in Practical Dialogue Systems", 16-22 July 2011, SPAIN (DEADLINE: 14:03:2011)
more details: http://www.ida.liu.se/~arnjo/KRPDS11
CALL FOR DEMOS: ICCC session on "Show and Tell", 27-29 April 2011, MEXICO (DEADLINE: 28:02:2011)
more details: http://iccc11.cua.uam.mx
CALL FOR PARTICIPATION: "Multidisciplinary Approach to Designing Intelligent Environments", 25-26 July 2011, Nottingham (DEADLINE: 28:03:2011)
more details: http://scientific-theatre.com
CALL FOR PARTICIPATION: AISB 2011 Convention, 4-7 April 2011, York (DEADLINE: 28:02:2011)
more details: http://www.aisb.org.uk/convention/aisb11/
CALL FOR PROPOSALS: Conference on Recommender Systems, October 2011, USA (DEADLINE: 21:03:2011)
more details: http://recsys.acm.org/2011/
CALL FOR PAPERS: Special issue on "Mathematical practice and cognition" (DEADLINE: 20:04:2011)
more details: http://homepages.inf.ed.ac.uk/apease/aisb10/journal.html
WHITEHEAD LECTURE, "Now you see it, now you don’t: A computational method for automatic stimulus generation for change blindness and visual pop out tasks", 2 Mar 2011, Goldsmith's College
more details: http://www.doc.gold.ac.uk/%7Emas02mb/posters/4 - McOwan.pdf
Opportunities Bulletin
Subscribe to opportunities bulletin.
PhD student position in Model Theory, Freiburg (Germany)
Teaching position in Theoretical Philosophy (formal logic), Greifswald (Germany) (DEADLINE: 07:02:2011)
Junior Professorship (W1) in Applied Computational Linguistics, Frankfurt (Germany)
more details: http://www.uni-frankfurt.de/aktuelles/ausschreibung/professuren/index.html
Professor in Robotics (DEADLINE: 14:03:2011)
more details: www.hr.bham.ac.uk/jobs
Lectureship in Robotics, University of Birmingham (DEADLINE: 14:03:2011)
Postgraduate Position / Junior Researcher in Spatial Cognition and Computation, University of Bremen (DEADLINE: 13:02:2011)
more details: www.sfbtr8.spatial-cognition.de/project/r1/
GAMES-EPIT Spring School 2011, 23-27 May 2011, France (DEADLINE: 07:03:2011)
more details: http://games-epit.labri.fr/
Midlansa Graduate School in the Foundations of Computing Science, 11-15 April 2011, Nottingham (DEADLINE: 18:03:2011)
more details: http://www.cs.nott.ac.uk/~vxc/mgs/mgs.html
CALL FOR PAPERS: "Types for Proofs and Programs": Special Issue in LMCS (DEADLINE: 02:05:2011)
more details: www.lmcs-online.org/ojs/information.php
PhD student position on "Logics for Privacy", Switzerland
Professorship in Theoretical Computer Science, Germany (DEADLINE: 15:04:2011)
CALL FOR PAPERS: Special Issue of Studia Logica (DEADLINE: 30:04:2011)
PhD studentships at the School of Computer Science, University of Nottingham
more details: http://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI936
PhD studentship in DNA Computing, Oxford, U.K. (DEADLINE: 28:02:2011)
more details: http://www.comlab.ox.ac.uk/news/304-full.html
Postdoctoral position on approximability of NP-hard problems, Stockholm, Sweden (DEADLINE: 09:09:2011)
more details: http://www.imv.au.dk/en/iacap/
Summer Institute in Applied Ontology, 17-23 July 2011, Italy (DEADLINE: 10:04:2011)
more details: http://vespucci.org/presentation
School on Declarative Agent Languages and Technologies, 10-15 April 2011, Italy (DEADLINE: 10:03:2011)
more details: http://lia.deis.unibo.it/confs/dalt_school/
ALP/GULP School on Computational Logic, 10-15 April 2011, Italy (DEADLINE: 10:03:2011)
more details: http://lia.deis.unibo.it/confs/iscl/
PhD student position / postdoctoral position, GERMANY (DEADLINE: 01:03:2011)
more details: http://sfbtr8.informatik.uni-freiburg.de/R4LogoSpace/
Miscellaneous Bulletin
Subscribe to miscellaneous bulletin.
New journal: Journal of Humanistic Mathematics (DEADLINE: 09:09:2011)
more details: http://journal-of-humanistic-mathematics.org
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.
