Notice

Weekly Bulletin

AISB Weekly Bulletin Items for February 2012

Event Bulletin

Subscribe to event bulletin.

(DEADLINE: 13:01:2011)

CALL FOR PAPERS: (DEADLINE: 05:04:2011)
more details: http://fct11.ifi.uio.no/

MEETING:
more details: www.logic-in-question.org

CALL FOR PAPERS: "Experimental and Computational Bio-Imaging and Visualization", July 22-27, 2012, PORTUGAL (DEADLINE: 30:11:2011)

FINAL CALL FOR SYMPOSIUM PAPERS: Computing, Philosophy and the Question of Bio-Machine Hybrids, 2nd - 6th July, 2012, Birmingham, UK (DEADLINE: 02:03:2012)
more details: http://extranet.smuc.ac.uk/events-conferences/AISB-symposium-computing-philosophy/Pages/default.aspx

FINAL CALL FOR SYMPOSIA PAPERS: AISB/IACAP World Congress 2012, 2nd-6th July, 2012, Birmingham, UK (DEADLINE: 02:03:2012)

CALL FOR PAPERS: Mathematical Foundations of Programming Semantics, 6-9 June 2012, Bath, UK (DEADLINE: 24:02:2012)
more details: http://www.math.tulane.edu/~mfps/MFPS28

2nd CALL FOR PAPERS: Artificial Life 13, July 19-22, 2012 - East Lansing, Michigan, USA (DEADLINE: 26:02:2012)
more details: www.alife13.org/

CALL FOR PAPERS: Comparing Logical Decision Methods, 30 June 2012, Manchester (U.K.) (DEADLINE: 02:04:2012)
more details: http://www2.imm.dtu.dk/~vfgo/CLODEM2012/CLODEM2012.html

2nd CALL FOR PAPERS: Computational Models of Narrative, 26-27 May 2012, Istanbul , TURKEY (DEADLINE: 24:02:2012)

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

CALL FOR PARTICIPATION: 6th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, March 5-9, 2012, SPAIN
more details: http://grammars.grlmc.com/LATA2012/

1st CALL FOR PAPERS: Developments on Computational Models, 17 June 2012, Cambridge (U.K.) (DEADLINE: 15:04:2012)
more details: http://www.math.uni-hamburg.de/home/loewe/DCM2012/

CALL FOR PARTICIPATION: Colloquium on the Theory of Software Verification, 13 March 2012, Cachan, FRANCE
more details: http://www.lsv.ens-cachan.fr/Events/ctsv/

CALL FOR PAPERS: Decisions, Games & Logic June 28th to 30th, 2012 LMU Munich, GERMANY (DEADLINE: 10:02:2012)

CALL FOR PAPERS: Spatial Cognition, 31 Aug - 3 Sep 2012, Kloster Seeon, GERMANY (DEADLINE: 11:02:2012)
more details: http://www.spatial-cognition.de/sc2012

2nd CALL FOR PAPERS: "Logic and Cognition", 13-17 Aug 2012, Opolo, POLAND (DEADLINE: 02:03:2012)
more details: http://www.ai.rug.nl/SocialCognition/logic-cognition/

CALL FOR WORKSHOP PROPOSALS: Semantic Computing, 19-21 Sep 2012, Palermo, ITALY (DEADLINE: 20:02:2012)

FINAL CALL FOR SYMPOSIUM PAPERS: Computing, Philosophy and the Question of Bio-Machine Hybrids, 2nd - 6th July, 2012, Birmingham, UK (DEADLINE: 02:03:2012)
more details: http://extranet.smuc.ac.uk/events-conferences/AISB-symposium-computing-philosophy/Pages/default.aspx

2nd CALL FOR PAPERS: Strategies for Learning, Belief Revision and Preference Change", 13-17 Aug 2012, Opole, POLAND (DEADLINE: 02:03:2012)
more details: http://www.ninagierasimczuk.com/LBP2012

CALL FOR PAPERS: Living Machines 2012, Conference on Biomimetic and Biohybrid Systems, 9th-12th July 2012, SPAIN (DEADLINE: 20:02:2012)
more details: http://csnetwork.eu/conf2012

CALL FOR PAPERS: AISB/IACAP World Congress 2012 - Alan Turing 2012, July 2nd to 6th, 2012, Birmingham, UK (DEADLINE: 02:03:2012)
more details: http://www.aisb.org.uk/convention/aisb12/

CALL FOR PAPERS: IEEE Symposium on Visual Languages and Human-Centric Computing Sep 30 - Oct 4, 2012 ,Innsbruck, AUSTRIA (DEADLINE: 09:03:2012)

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

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

2nd CALL FOR PAPERS: 13th Scandinavian Symposium and Workshops on Algorithm Theory, July 4-6, 2012, Helsinki, FINLAND (DEADLINE: 24:02:2012)
more details: http://swat2012.helsinki.fi/

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

1st CALL FOR PAPERS: WELL-FOUNDED EVERYDAY ONTOLOGIES - DESIGN, IMPLEMENTATIONS & APPLICATIONS, 9-12 Sep2012, Wroc³aw, POLAND (DEADLINE: 22:04:2012)
more details: http://www.fedcsis.org/weo-dia

CALL FOR PAPERS: Eighth International Conference on Swarm Intelligence, Sep12-14, 2012. Brussels, BELGIUM (DEADLINE: 02:03:2012)
more details: http://iridia.ulb.ac.be/ants2012

CALL FOR PAPERS: Text, Speech and Dialogue, 3-7 Sep 2012, Brno, CZECH REPUBLIC (DEADLINE: 15:03:2012)
more details: http://www.tsdconference.org/

CALL FOR WORKSHOP PROPOSALS: 35th German Conference on Artificial Intelligence, 24-27 Sep 2012, Saarbruecken, GERMANY (DEADLINE: 15:03:2012)
more details: http://www.dfki.de/ki2012/

CALL FOR TUTORIAL PROPOSALS: 35th German Conference on Artificial Intelligence, 24-27 Sep 2012, Saarbruecken, GERMANY (DEADLINE: 15:03:2012)
more details: http://www.dfki.de/ki2012/

CALL FOR PAPERS: 35th German Conference on Artificial Intelligence, 24-27 Sep 2012, Saarbruecken, GERMANY (DEADLINE: 01:04:2012)
more details: http://www.dfki.de/KI2012/

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 PAPER & PRESENTATION SUBMISSIONS: Artificial Life 13, July 19-22, 2012, Michigan, USA- EXTENDED DEADLINE (DEADLINE: 11:03:2012)

CALL FOR PAPER & PRESENTATION SUBMISSIONS: Artificial Life 13, July 19-22, 2012, Michigan, USA- EXTENDED DEADLINE (DEADLINE: 11:03:2012)
more details: www.alife13.org/

1st CALL FOR PAPERS: Artificial Intelligence: Methodology, Systems, Applications, 13-15th Sep, 2012, Varna, BULGARIA (DEADLINE: 03:06:2012)
more details: http://www.aimsaconference.org

FINAL CALL FOR PAPERS: Advances in Modal Logic, 22-25 Aug 2012, Copenhagen, DENMARK (DEADLINE: 30:03:2012)
more details: http://hylocore.ruc.dk/aiml2012.html

CALL FOR PAPERS: Deontic Logic in Computer Science, 16-18 July 2012, Bergen, NORWAY (DEADLINE: 05:03:2012)
more details: http://www.infomedia.uib.no/deon2012/

CALL FOR PAPERS: Classical Logic and Computation, July, 8 2012, Warwick, UK (DEADLINE: 29:03:2012)
more details: http://www.doc.ic.ac.uk/~svb/CLaC12

CALL FOR PAPERS: IEEE International Conference on Bioinformatics & Biomedicine (BIBM12),Oct 4-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/

Opportunities Bulletin

Subscribe to opportunities bulletin.

CALL FOR PAPERS: "Knowledge and Reasoning in Practical Dialogue Systems", 17 July 2011, SPAIN (DEADLINE: 16:04:2011)
more details: http://ijcai-11.iiia.csic.es/

CALL for SYMPOSIA PROPOSALS: AISB/IACAP World Congress 2012 (in honour of Alan Turing), 2-6 July 2012, UK (DEADLINE: 01:09:2011)
more details: http://events.cs.bham.ac.uk/turing12/

FIRST CALL FOR PAPERS: Theory and Practice of Software, 24 Mar - 1 Apr 2012, ESTONIA (DEADLINE: 07:10:2011)
more details: http://www.etaps.org/2012

CALL FOR PAPERS: Special Issue on Domain Theory (DEADLINE: 29:02:2012)

Senior or Junior Visiting Fellowships in Philosophy of Languages, Bochum, GERMANY (DEADLINE: 01:06:2012)

Postdoctoral Researcher in Forecasting & Time Series Data Mining, Lancaster University, UK (DEADLINE: 12:03:2012)
more details: www.lums.lancs.ac.uk/departments/ManSci/Research/

Summer School on Ontology Engineering and the Semantic Web, 8-14 July, 2012, Cercedilla, SPAIN
more details: http://sssw.org/2012

CALL FOR PAPERS: Special Issue on Logics, Agents, and Mobility (DEADLINE: 20:05:2012)

Permanent research staff position at IBM Watson Center, Hawthorne NY (U.S.A.) (DEADLINE: 19:02:2012)
more details: https://jobs3.netmedia1.com/cp/job_summary.jsp?job_id=RES-0362481

Postdoctoral position in Logic and Complexity Theory, Cambridge (U.K.) (DEADLINE: 29:02:2012)
more details: http://www.jobs.cam.ac.uk/job/-12991/

Postdoctoral position in KR & Agents, Melbourne, AUSTRALIA

Senior Fellowships 2013/14 (one semester or one year), Greifswald, GERMANY (DEADLINE: 30:04:2012)

Postdoctoral position in formal representation of narratives, Hamburg, GERMANY (DEADLINE: 24:02:2012)
more details: http://www.verwaltung.uni-hamburg.de/stellenangebote/wissmit/Mathe_24-02-12.pdf

Alfried Krupp Junior Fellowships 2012/13, Greifswald, GERMANY

Pre- or postdoctoral position in Artificial Intelligence, Osnabrueck, GERMANY (DEADLINE: 21:02:2012)

Lectureship in pure mathematics, Bristol (U.K.) (DEADLINE: 20:02:2012)
more details: http://www.jobs.ac.uk/job/ADW381/lecturer-assistant-professor-in-pure-mathematics/

Research Fellows (x2), University of Leeds, Leeds, UK (DEADLINE: 29:02:2012)
more details: http://bit.ly/leeds-RF-Feb

CALL FOR PAPERS: Special Issue on Gesture and Speech in Interaction (DEADLINE: 31:05:2012)

CALL FOR PAPERS: AISB/IACAP World Congress 2012 - Alan Turing 2012, July 2nd to 6th, 2012, Birmingham, UK (DEADLINE: 02:03:2012)
more details: http://www.aisb.org.uk/convention/aisb12/

CALL FOR BOOK REVIEW: Optimization for Machine Learning

PhD student position in theoretical foundations of computational music, Bordeaux, FRANCE

PhD student position in model checking, Kassel, GERMANY (DEADLINE: 08:03:2012)
more details: http://www.uni-kassel.de/intranet/aktuelles/stellenangebote/stellenausschreibung-details/tx_ukstellenausschreibung/17868.html

PhD student positions or postdoctoral position in theoretical philosophy, Aachen, GERMANY (DEADLINE: 20:02:2012)

PhD student or postdoctoral position in induction of logical propositions, Heidelberg, GERMANY (DEADLINE: 29:02:2012)

Three associate professorships in theoretical computer science, Stockholm , SWEDEN (DEADLINE: 29:02:2012)
more details: http://www.kth.se/en/om/work-at-kth/vacancies/associate-professor-in-computer-science-1.286611

Postdoctoral position (AkadR a.Z.) in theoretical philosophy, Erlangen, GERMANY (DEADLINE: 20:02:2012)
more details: http://www.philosophie.phil.uni-erlangen.de/LS1_RAT.pdf

Newton Fellowship Scheme (2y postdoctoral positions) UK (DEADLINE: 16:04:2012)

Professor/ Chair in Management Science, LANCASTER UNIVERSITY, UK (DEADLINE: 23:03:2012)
more details: http://hr-jobs.lancs.ac.uk/Vacancy.aspx?ref=A368

Postdoctoral research fellowship in formal verification, Brno, CZECH REPUBLIC (DEADLINE: 12:03:2012)

BSCS: Budapest Semester in Cognitive Science, Budapest, HUNGARY

PhD student grant in philosophy of mind, Bochum, GERMANY (DEADLINE: 10:03:2012)
more details: http://www.ruhr-uni-bochum.de/philosophy/staff/newen

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

CALL FOR PAPERS: Student session-24th European Summer School in Logic, Language and Information, August 6-17, 2012, Opole, POLAND (DEADLINE: 20:03:2012)
more details: http://loriweb.org/ESSLLI2012StuS/

INFTY Short and Exchange Visits programme (DEADLINE: 01:04:2012)
more details: http://inftynet.net/visits.html

Miscellaneous Bulletin

Subscribe to miscellaneous bulletin.


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