Notice

Weekly Bulletin

AISB Weekly Bulletin Items for February 2011

Event Bulletin

Subscribe to 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

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.