Notice

Weekly Bulletin

AISB Weekly Bulletin Items for March 2012

Event Bulletin

Subscribe to event bulletin.

CALL FOR PAPERS: Computer Science Logic, 3-6 Sep 2012, Fontainebleau , FRANCE (DEADLINE: 02:04:2012)
more details: http://csl2012.lacl.fr/

CALL FOR INFORMAL PRESENTATIONS: Computability in Europe 2012: How the World Computes, 18-23 June 2012, Cambridge (U.K.) (DEADLINE: 11:05:2012)
more details: http://www.cie2012.eu

2nd CALL FOR PAPERS: Automated Reasoning Workshop, 2-4 April 2012, Manchester (U.K.) (DEADLINE: 12:03:2012)
more details: http://arw2012.cs.man.ac.uk/

CALL FOR PAPERS: 12th International Conference on Intelligent Virtual Agents, Sep 12-14 2012, Santa Cruz, California, USA (DEADLINE: 30:04:2012)
more details: http://iva2012.soe.ucsc.edu/home

CALL FOR PAPERS: 8th International Conference on Swarm Intelligence, Sep 12-14, 2012. Brussels, BELGIUM- EXTENDED DEADLINE (DEADLINE: 09:03:2012)
more details: http://iridia.ulb.ac.be/ants2012

CALL FOR PARTICIPATION: ASAB Interdisciplinary Workshop on Physical Cognition & Problem Solving, June 27th – 28th 2012, Birmingham, UK (DEADLINE: 11:05:2012)
more details: http://jackiechappell.com/pcps-workshop-2012

CALL FOR PAPERS: 22nd International Symposium on Logic-Based Program Synthesis and Transformation, Sep 18-20, 2012, Leuven, BELGIUM (DEADLINE: 21:05:2012)
more details: http://costa.ls.fi.upm.es/lopstr12

CALL FOR PAPERS: International Conference on Information and Knowledge Management , Oct. 29 – Nov. 2, 2012, Sheraton, Maui, HAWAII (DEADLINE: 18:05:2012)
more details: http://www.cikm2012.org

CALL FOR PAPERS: 1st INTERNATIONAL CONFERENCE ON THE THEORY & PRACTICE, Oct 1-5, 2012, Tarragona, SPAIN (DEADLINE: 01:05:2012)
more details: http://grammars.grlmc.com/tpnc2012/

CALL FOR CONTRIBUTED TALKS: British Colloquium for Theoretical Computer Science, 2nd--5th April 2012, Manchester, UK (DEADLINE: 19:03:2012)
more details: http://bctcs2012.cs.manchester.ac.uk

CALL FOR PAPERS: IEEE Symposium on Visual Languages and Human-Centric Computing, Sep 30 - Oct 4, 2012, Innsbruck, AUSTRIA (DEADLINE: 09:03:2012)
more details: http://vlhcc.org/

CALL FOR PARTICIPATION: Radical Post Cognitivism: new approaches to intelligence and the mind, 13th Mar 2012, Goldsmiths College, LONDON

CALL FOR PARTICIPATION: Pisa Summer Workshop in Proof Theory, 12-15 Jun 2012, Pisa, ITALY
more details: http://www.helsinki.fi/~negri/pswpt.html

1st CALL FOR PAPERS: Symposium "Influencing People with Information", 25 April 2012, University of Aberdeen, UK (DEADLINE: 28:03:2012)
more details: http://www.abdn.ac.uk/~csc264/sipi-2012/

CALL FOR PAPERS: Controlled Natural Language, 29-31 Aug 2012, Zuerich, SWITZERLAND- EXTENDED DEADLINE (DEADLINE: 06:04:2012)
more details: http://attempto.ifi.uzh.ch/site/cnl2012/

CALL FOR PAPERS: 18th International Conference on Principles & Practice of Constraint Programming, Oct 8-12, 2012, Quebec City, CANADA (DEADLINE: 19:04:2012)
more details: http://www.cp2012.org/

CALL FOR PAPERS: IEEE International Conference on Bioinformatics and Biomedicine, Oct4-7, 2012, Philadelphia, PA, USA, (DEADLINE: 10:05:2012)
more details: http://www.ischool.drexel.edu/ieeebibm/bibm12/

CALL FOR WORKSHOP PROPOSALS: IEEE International Conference on Bioinformatics and Biomedicine , Oct 4-7, 2012, Philadelphia, USA (DEADLINE: 10:04:2012)
more details: http://www.ischool.drexel.edu/ieeebibm/bibm12/

CALL FOR PAPERS: 13th IEEE International Conference on Information Reuse and Integration, 8-10 Aug, 2012, Las Vegas, USA- EXTENDED DEADLINE (DEADLINE: 12:03:2012)
more details: http://www.sis.pitt.edu/~iri2012/

CALL FOR PAPERS FOR SYMPOSIA - AISB/IACAP World Congress 2012, 2-6 July 2012, Birmingham, UK **DEADLINE EXTENSION** (DEADLINE: 08:04:2012)

CALL FOR PAPERS: Dynamics of Argumentation Rules and Conditionals, 2-3 April 2012, Luxembourg, LUXEMBOURG
more details: http://icr.uni.lu/darc/

CALL FOR INFORMAL PRESENTATIONS: Computability in Europe 2012: How the World Computes, 18-23 June 2012, Cambridge (U.K.) (DEADLINE: 11:05:2012)
more details: http://www.cie2012.eu

CALL FOR PAPERS: IFCoLog-CiE Student Session, 18-23 Jun 2012, Cambridge (U.K.), (DEADLINE: 11:05:2012)

CALL FOR PARTICIPATION: Proof Theory and Modal Logic, 16-19 Apr 2012, Barcelona, SPAIN
more details: http://www.phil.uu.nl/~jjoosten/WormShop/

CALL FOR PAPERS: 17th Conference on Applications of Logic in Philosophy and the Foundations of Mathematics, 7-11 May 2012, Szklarska Poreba, POLAND (DEADLINE: 13:04:2012)
more details: http://www.klmn.uni.wroc.pl/conference.html

CALL FOR PARTICIPATION: Continuous Logic and Functional Analysis, 16-20 July 2012, Lyon, FRANCE

CALL FOR PAPERS: Computational Models of Argument, 10-12 Sep 2012, Vienna, AUSTRIA (DEADLINE: 30:03:2012)
more details: http://www.kr.tuwien.ac.at/comma2012/

CALL FOR POSTERS: Symbolic and Algebraic Computation, 22-25 July 2012, Grenoble, FRANCE (DEADLINE: 14:04:2012)
more details: http://www.issac-conference.org/2012/

CALL FOR PAPERS: 12th Annual UK Workshop on Computational Intelligence, September 5-7 2012, Edinburgh, SCOTLAND (DEADLINE: 01:05:2012)
more details: http://www.macs.hw.ac.uk/ukci2012/

CALL FOR PAPERS: Logics in Artificial Intelligence, 26-28 Sep 2012, Toulouse, FRANCE (DEADLINE: 18:05:2012)
more details: http://www.irit.fr/jelia2012

CALL FOR PAPERS: Games, Automata, Logics, and Formal Verification, 6-8 Sep 2012, Naples, ITALY (DEADLINE: 09:05:2012)
more details: http://www.gandalf.unina.it

CALL FOR PAPERS: Practical Aspects of Automated Reasoning, June 2012, Manchester (U.K.) (DEADLINE: 16:04:2012)
more details: http://www.eprover.org/EVENTS/PAAR-2012.html

CALL FOR PROPOSALS: Turing Arts Symposium, 2-6 July 2012, Birmingham, UK (DEADLINE: 08:04:2012)
more details: http://turing.une.edu.au/~turingarts2012/

CALL FOR PAPERS: Texas Linguistics Society, 23-24 June 2012, Austin TX (U.S.A.) (DEADLINE: 16:04:2012)
more details: http://uts.cc.utexas.edu/~tls/

CALL FOR PAPERS: Temporal Representation and Reasoning, 12-14 Sep 2012, Leicester (U.K.) (DEADLINE: 16:04:2012)
more details: http://www.tech.dmu.ac.uk/STRL/time12/

CALL FOR DEMOS/ART SUBMISSIONS: 3rd International Conference on Computational Creativity, May 30--June 1 2012, Dublin, IRELAND (DEADLINE: 12:04:2012)
more details: http://computationalcreativity.net/iccc2012/

CALL FOR PAPERS: Theoretical Aspects of Computing, 24-27 Sep 2012, Bangalore, INDIA (DEADLINE: 16:04:2012)
more details: http://www.iiitb.ac.in/ictac

CALL FOR PAPERS: 18th Int. Conf. on Knowledge Engineering and Knowledge Management, Oct 8-12, 2012, University of Ireland Galway (DEADLINE: 18:04:2012)
more details: http://ekaw2012.ekaw.org

CALL FOR PARTICIPATION: Computability and Logic, 5 April 2012, Bern, SWITZERLAND
more details: www.sgslps.ch

2nd CALL FOR PAPERS: 3rd International Workshop on Euler Diagrams, July 2, 2012, Canterbury, UK (DEADLINE: 30:03:2012)
more details: http://www.diagrams-conference.org/2012/content/3rd-international-workshop-euler-diagrams

CALL FOR SYMPOSIUM PROPOSALS: International Neural Network Society Conference, Oct 3-5, 2012, Bangkok, THAILAND (DEADLINE: 31:03:2012)
more details: http://inns.sit.kmutt.ac.th/wc2012/

CALL FOR PAPERS: International Summit on Human Simulation (ISHS) 2012, May 23-25, 2012, St. Pete Beach, Florida, USA (DEADLINE: 10:04:2012)
more details: http://www.societyhumansimulation.org/content/international-summit-human-simulation-2012

CALL FOR PAPERS: Pisa Summer Workshop in Proof Theory , 12-15 June 2012, Pisa, ITALY (DEADLINE: 10:04:2012)
more details: http://www.helsinki.fi/~negri/pswpt.html

CALL FOR SYMPOSIUM PAPERS: Information Quality, AISB/IACAP World Congress, 2-6 July 2012, Birmingham, UK (DEADLINE: 15:04:2012)
more details: http://philosophyofinformation.net/IQ/AHRC_Information_Quality_Project/Home.html

CALL FOR SYMPOSIUM PAPERS: Information and Computer Ethics in the Age of the Information Revolution, 2-6 July 2012, Birmimgham, UK (DEADLINE: 08:04:2012)
more details: http://www.informationethics.net/ICESymposium/index.html

CALL FOR PAPERS: 2012 IEEE International Conference on Granular Computing, Aug 11-13 Hangzhou, Zhejiang University, CHINA (DEADLINE: 24:04:2012)
more details: http://grc2012.zju.edu.cn

CALL FOR PAPERS: 2012 IEEE International Conference on Bioinformatics and Biomedicine, Oct 4-7, 2012, Philadelphia, PA, USA (DEADLINE: 10:05:2012)
more details: http://www.ischool.drexel.edu/ieeebibm/bibm12/

CALL FOR PAPERS: Quotation: Perspectives from Philosophy & Linguistics, Sep 27-29, 2012, Bochum, GERMANY (DEADLINE: 01:05:2012)
more details: http://www.ruhr-uni-bochum.de/phil-lang/quotation.html

CALL FOR WORKSHOP PROPOSALS: Conference on Information and Knowledge Management , Oct. 29-Nov. 2, 2012, Maui, HAWAII (DEADLINE: 09:04:2012)
more details: http://www.cikm2012.org/call_workshops.php

CALL FOR PAPERS: 10th National Conference of the Italian Society for Analytic Philosophy, 13-15 Sep 2012, Alghero, Sardinia, ITALY (DEADLINE: 15:04:2012)
more details: http://www.sifa.unige.it/sifa2012

CALL FOR PAPERS: 14th International Workshop on Verification of Infinite-State Systems, 27 Aug 2012, Paris, FRANCE (DEADLINE: 01:05:2012)
more details: http://www.it.uu.se/workshop/infinity2012

CALL FOR PARTICIPATION: 1st Bochum-Bielefeld Colloquium: Philosophical Perspectives on Epistemology, Mind and Science,4-5 May 2012, Bochum, GERMANY
more details: http://www.ruhr-uni-bochum.de/philosophy/bobicoll2012/#

Opportunities Bulletin

Subscribe to opportunities bulletin.

PhD student position in AI & Forensic Science, Utrecht, THE NETHERLANDS (DEADLINE: 17:03:2012)
more details: http://www.academictransfer.com/employer/UU/vacancy/13124/lang/en/

Postdoctoral fellowship in philosophical logic, Oslo, NORWAY
more details: http://bit.ly/zOUfNy

BCS Machine Intelligence Competition moves to London in October 2012 (DEADLINE: 27:07:2012)
more details: http://www.bcs-sgai.org/micomp/

9th SSSW Summer School on Ontology Engineering and the Semantic Web, 8-14 July, 2012, Cercedilla, SPAIN (DEADLINE: 30:03:2012)
more details: http://sssw.org/2012

Several PhD positions in Theoretical Computer Science, Bordeaux & Cachan, FRANCE

(Associate) Professorship in Formal Methods, Gothenburg, SWEDEN (DEADLINE: 22:03:2012)
more details: http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx

Three PhD student or postdoc positions in Philosophy of Mind & Language and Epistemology, Bochum, GERMANY (DEADLINE: 20:03:2012)

PhD student position in computational humanities (folktale classification; graduate in CS or AI), Twente ,THE NETHERLANDS (DEADLINE: 04:03:2012)
more details: http://www.academictransfer.com/12865

PhD student positions in formal verification, Trento, ITALY

PhD studentship in theory of constraint satisfaction, Barcelona , SPAIN

Two postdoctoral / PhD student positions in logic-based AI, Ulm, GERMANY (DEADLINE: 30:03:2012)

Invited Researcher position in verification, Paris, FRANCE

CALL FOR COLLABORATORS: AI-Related Live Streaming Project

PhD student position in modal logics for reasoning about multi-agent systems, Lens, FRANCE

Postdoctoral position in verification of counter systems, Paris, FRANCE

W3 Professorship for Philosophy of Science, Konstanz, GERMANY (DEADLINE: 30:03:2012)

Tenure-track assistant professorship (all areas of mathematics), New York NY (U.S.A.)

FINAL ANNOUNCEMENT: International Spring School in Formal Languages and Applications, April 2-6, 2012, Tarragona, SPAIN
more details: http://grammars.grlmc.com/ssfla2012/

Postdoctoral research fellowship in infinite-state systems and games, Brno, CZECH REPUBLIC (DEADLINE: 31:03:2012)

Postdoctoral position in model checking, Paris, FRANCE
more details: http://www.liafa.jussieu.fr/index_en.php

Two PhD and postdoc positions on "Kleene meets Church", Copenhagen , DENMARK (DEADLINE: 31:03:2012)
more details: http://diku.dk/english/about/vacancies

Frymoyer Endowed Chair Professor Position in IST at Pennsylvania State University, USA
more details: http://ist.psu.edu/research/frymoyer-chair

Post-doc at DTRA managing grants, Fort Belvoir, VA, USA (DEADLINE: 12:04:2012)
more details: http://www.usajobs.gov/GetJob/ViewDetails/311151100?share=email

ACT-R Internship at PARC (Palo Alto Research Centre) USA

CALL FOR OPEN PROBLEMS: JMLR Workshop and Conference on Learning Theory Proceedings (DEADLINE: 10:04:2012)

CALL FOR PARTICIPATION: European Agent Systems Summer School, 28 May-1 June 2012,Valencia, SPAIN

Summer School on Ontological Analysis, 16-20 July 2012, Trento, ITALY
more details: http://iaoa.org/isc2012/index.php

Postdoctoral position in logic & analysis, Gent, BELGIUM

CALL FOR PAPERS: Special issue of Cognitive Systems Research on Mindreading at ONR (DEADLINE: 01:06:2012)
more details: http://www.pbello.com/CFP%20Special%20Issue%20of%20CogSysRes%20on%20Mindreading.pdf

Postdoctoral position in term rewriting, Innsbruck, AUSTRIA (DEADLINE: 22:04:2012)

Postdoctoral position in programming language theory (up to 9 months), Munich, GERMANY
more details: http://www2.tcs.ifi.lmu.de/~grabow/papers/grabowskietal2011_securecodingguidelines.pdf

W2 professorship in analytical philosophy (philosophy of language), Saarbruecken, GERMANY (DEADLINE: 05:04:2012)

2 Research Fellow positions in sensor fusion, University of Leeds, UK (DEADLINE: 12:04:2012)
more details: http://tinyurl.com/mtu-jobs-3-12

3-year funded PhD studentship, Northumbria University,UK (DEADLINE: 27:04:2012)

9th Summer School on Ontology Engineering and the Semantic Web, 8-14 July, 2012, Cercedilla, near Madrid, SPAIN. (DEADLINE: 06:04:2012)
more details: http://sssw.org/2012

AISBQ: Call For Postgraduate Student Articles
more details: http://www.aisb.org.uk/publications/quarterly

Fully funded PhD opportunity in decision making, University of Huddersfield, UK (DEADLINE: 20:04:2012)
more details: http://www.jobs.ac.uk/job/AED496/3-x-phd-studentships/

PhD student and postdoctoral positions in theoretical computer science, Erlangen, GERMANY

W1 Junior Professorships in Algorithms and Complexity, Bochum, GERMANY (DEADLINE: 20:04:2012)

W3 professorship in theoretical computer science, Hagen, GERMANY (DEADLINE: 14:05:2012)

CALL FOR PARTICIPATION: Midlands Graduate School in Computer Science, 23-27 April 2012, University of Birmingham (U.K.), (DEADLINE: 13:04:2012)
more details: http://events.cs.bham.ac.uk/mgs2012

Miscellaneous Bulletin

Subscribe to miscellaneous bulletin.

Professor Luciano Floridi receives 2012 Covey Award

Caffeine Zone 2, predicts caffeine level app for iOS devices
more details: http://caffeinezone.net

NEW JOURNAL: Biologically inspired cognitive architectures
more details: http://www.elsevier.com/wps/find/journaldescription.cws_home/727718/description

David Waltz (1943-2012)
more details: http://en.wikipedia.org/wiki/David_Waltz


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