Notice
Weekly Bulletin
AISB Weekly Bulletin Items for April 2012
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
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.
