Notice

Weekly Bulletin

AISB Weekly Bulletin Items for April 2012

Event Bulletin

Subscribe to event bulletin.

CALL FOR SHORT PRESENTATIONS AND POSTERS: Logic in Computer Science, 25-28 June 2012, Dubrovnik, CROATIA (DEADLINE: 15:04:2012)

2nd 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 PAPERS: Kant and Modality, 5-7 July 2012, Berlin, GERMANY (DEADLINE: 15:04:2012)

2nd CALL FOR PAPERS: 8th International Workshop on Developments in Computational Models, 17 June 2012, Cambridge, UK (DEADLINE: 15:04:2012)
more details: http://www.math.uni-hamburg.de/home/loewe/DCM2012/

CALL FOR PARTICIPATION: Conference on Turing's Heritage, 2-4 July 2012, Lyon, FRANCE
more details: http://www.turing2012.fr/

CALL FOR PAPERS: Mathematical Foundations of Computer Science, 27-31 Aug 2012, Bratislava, SLOVAKIA (DEADLINE: 20:04:2012)
more details: www.mfcs.sk

CALL FOR PAPERS: Concept Types and Frames in Language, Cognition and Science, 22-24 Aug 2012, Duesseldorf, GERMANY (DEADLINE: 10:04:2012)
more details: http://www.sfb991.uni-duesseldorf.de/concept-types-and-frames-in-language-cognition-and-science/

CALL FOR PAPERS: 7th IFIP Conference on Theoretical Computer Science, 26-28 Sep 2012, Amsterdam, THE NETHERLANDS (DEADLINE: 01:05:2012)
more details: http://tcs.project.cwi.nl

CALL FOR PAPERS & FOR PARTICIPATION: Turing Centenary Conference, 22-25 June 2012, Manchester (U.K.) (DEADLINE: 16:04:2012)
more details: http://www.turing100.manchester.ac.uk/

CALL FOR PARTICIPATION:International Conference on Rewriting Techniques and Applications, May 30 - June 1, 2012, Nagoya, JAPAN
more details: http://rta2012.trs.cm.is.nagoya-u.ac.jp/

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

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

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: Reachability Problems, 17-19 Sep 2012, Bordeaux, FRANCE (DEADLINE: 10:05:2012)
more details: http://rp12.labri.fr/

2nd CALL FOR PARTICIPATION: 11th International Conference on Autonomous Agents and Multiagent Systems, June 4-8, 2012, Valencia, SPAIN (DEADLINE: 16:04:2012)
more details: http://aamas2012.upv.es

CALL FOR PAPERS: Logic Workshop: A Tribute to Horacio Arlo-Costa, 2-4 Aug 2012, Buenos Aires, ARGENTINA (DEADLINE: 30:04:2012)
more details: www.sadaf.org.ar

CALL FOR PAPERS: APPROX 2012 & RANDOM 2012, 15-17 Aug 2012, Cambridge MA (U.S.A.), (DEADLINE: 20:04:2012)
more details: http://cui.unige.ch/tcs/random-approx/

CALL FOR PAPERS: KI 2012: Artificial Intelligence, 24-27 Sep 2012, Saarbruecken, GERMANY (DEADLINE: 01:05:2012)
more details: http://www.dfki.de/KI2012/

2nd CALL FOR PAPERS: The Turing Centenary Conference, June 22-25, Manchester, UK (DEADLINE: 16:04:2012)
more details: http://www.turing100.manchester.ac.uk/

CALL FOR PARTICIPATION: Functional and Logic Programming, 23-25 May 2012, Kobe, JAPAN
more details: http://www.org.kobe-u.ac.jp/flops2012/

CALL FOR PARTICIPATION: Computational Complexity, 26-20 June 2012, Porto, PORTUGAL (DEADLINE: 20:05:2012)
more details: http://computationalcomplexity.org/

CALL FOR PARTICIPATION: Tests and Proof 2012, 31 May - 1 June 2012, Prague (Czech Republic)
more details: http://lifc.univ-fcomte.fr/tap2012/

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: User Models for Motivational Systems: affective and rational routes to persuasion, June 7 and 8 2012, Linköping, SWEDEN (DEADLINE: 06:05:2012)
more details: http://www.csc.liv.ac.uk/~floriana/UM4Motivation3/

2nd CALL FOR PAPERS: THE ANSWERS OF PHILOSOPHY: SIFA 20th ANNIVERSARY CONFERENCE, 13-15 Sep 2012, Alghero, Sardinia, ITALY (DEADLINE: 15:04:2012)
more details: www.sifa.unige.it/sifa2012

2nd CALL FOR PAPERS: Theory and Practice of Natural Computing, 1-5 Oct 2012, Tarragona, SPAIN (DEADLINE: 01:05:2012)
more details: http://grammars.grlmc.com/tpnc2012/

CALL FOR PAPERS: 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: International Conference on Social Robotics, Oct 29-31, 2012, Chengdu, CHNA (DEADLINE: 20:04:2012)
more details: www.icsoro.org

2nd CALL FOR PAPERS: 8th Scandinavian Logic Symposium, 20-21 Aug 2012, Roskilde, DENMARK (DEADLINE: 01:05:2012)
more details: http://scandinavianlogic.org/

CALL FOR PAPERS: 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 PARTICIPATION: Turing's 100th Birthday Party at King's College, 15-16 June 2012, Cambridge (U.K.)
more details: http://sites.google.com/site/turingace2012/

CALL FOR PAPERS: Belief change, nonmonotonic reasoning, conflict resolution, Aug 2012, Montpellier, FRANCE (DEADLINE: 25:05:2012)

CALL FOR PAPERS: Concept Lattices and their applicactions, 11-14 Oct 2012, Fuengirola, SPAIN (DEADLINE: 22:06:2012)
more details: http://www.matap.uma.es/cla2012

CALL FOR PARTICIPATION: 29th International Conference on Machine Learning, June 26 - July 1, 2012, Edinburgh, SCOTLAND (DEADLINE: 13:05:2012)
more details: http://icml.cc/2012/

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

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

2nd CALL FOR PAPERS & POSTERS: 32nd SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Dec 11th-13th 2012, Cambridge, UK (DEADLINE: 29:05:2012)
more details: http://www.bcs-sgai.org/ai2012/

CALL FOR PARTICIPATION: The 21st Century Body Symposium, 18th May 2012, UCL, London
more details: http://c21body.eventbrite.co.uk/

Opportunities Bulletin

Subscribe to opportunities bulletin.

Postdoctoral position in reverse and computable mathematics, Udine, ITALY

Ten doctoral scholarships in "Quantitative Logics and Automata", Dresden , GERMANY (DEADLINE: 15:06:2012)
more details: http://lat.inf.tu-dresden.de/quantla/index.html

W3 professorship in theoretical philosophy, Jena, GERMANY (DEADLINE: 26:04:2012)

Assistant Professorship and two postdoctoral fellowships in mathematical philosophy, Munich, GERMANY (DEADLINE: 23:04:2012)

3rd CALL FOR PAPERS: Special issue of "Logic and Logical Philosophy" on point-free geometry and topology (DEADLINE: 30:06:2012)

CALL FOR BOOK REVIEW: Bayesian Reasoning and Machine Learning by David Barber
more details: http://www.amazon.co.uk/Bayesian-Reasoning-Machine-Learning-Barber/dp/0521518148

PhD student position in algorithmic game theory, Liverpool (U.K.)

PhD student position in logic, Amsterdam , THE NETHERLANDS (DEADLINE: 20:05:2012)

CALL FOR BOOK REVIEW: Scaling up Machine Learning: Parallel and Distributed Approaches
more details: http://www.amazon.co.uk/Scaling-Machine-Learning-Distributed-Approaches/dp/0521192242

Postdoctoral position in realizability and proof theory, Lyon, FRANCE (DEADLINE: 02:05:2012)

W3 Professorship Theoretical Computer Science, Siegen, GERMANY (DEADLINE: 14:06:2012)

CALL FOR PROPOSALS: Funding Opportunities for Promoting AI Research, Artificial Intelliegence Journal (DEADLINE: 13:05:2012)

Three Full PhD Studentships in Computer Science (DEADLINE: 01:07:2012)
more details: http://www.prospects.ac.uk/cms/ShowPage/Home_page/Apply_online_for_postgrad_courses/University_of_Hull/p!efbXpmi

CALL FOR STUDENT PARTICIPATION: AISB Quarterly
more details: http://www.aisb.org.uk/publications/quarterly

Assistant Professor (UD) position in Computational Linguistics / Natural Language Processing, Amsterdam, THE NETHERLANDS (DEADLINE: 01:06:2012)
more details: http://www.uva.nl/vacatures/vacatures.cfm/8C176BDC-C2E3-456D-87705B498162EAF3

PhD student position in Meta-Metaphysics, Berlin, GERMANY (DEADLINE: 03:05:2012)
more details: http://www.philosophie.hu-berlin.de/institut/lehrbereiche/idealismus/forschung/Meta-Metaphysik

Two 5y postdoctoral positions in logic, game theory, complexity, Oxford, U.K.- DEADLINE TODAY!! (DEADLINE: 27:04:2012)
more details: http://tinyurl.com/6qvzubg

SUMMER SCHOOL in Set theory: Large cardinals, inner models and fine structure, 25 June --6 July 2012, Irvine CA (U.S.A.)
more details: http://math.uci.edu/~mzeman

Miscellaneous Bulletin

Subscribe to miscellaneous bulletin.

NEW BOOK: 'Metal Molly' by Ariadne Tampion
more details: http://www.metalmolly.info

AISB member elected Fellow of the Royal Society

A new mailing for AISB members to enjoy


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