Notice
Weekly Bulletin
AISB Weekly Bulletin Items for July 2012
Event Bulletin
CALL FOR PARTICIPATION: 9th International Conference on Advances in Modal Logic, 22-25 Aug, 2012, Copenhagen, DENMARK
more details: http://hylocore.ruc.dk/aiml2012.html
CALL FOR PAPERS: 9th International Conference on Concept Lattices and Their Applications, October 11-14, 2012, Fuengirola (Málaga), SPAIN - EXTENDED DEADLINE (DEADLINE: 11:07:2012)
more details: http://www.matap.uma.es/cla2012
2nd CALL FOR PAPERS: Turing in Context II, 10-12 Oct 2012, Brussels, BELGIUM (DEADLINE: 15:08:2012)
more details: www.computing-conference.ugent.be/tic2
CALL FOR POSTER & DEMO CONTRIBUTIONS: German Conference on Artificial Intelligence, 24-27 Sep 2012, Saarbrücken, GERMANY (DEADLINE: 09:07:2012)
more details: http://www.dfki.de/KI2012/
CALL FOR WORKSHOP PAPERS & POSTERS: IEEE International Conference on Bioinformatics and Biomedicine, Oct 4-7, 2012, Philadelphia, PA, USA (DEADLINE: 30:07:2012)
more details: http://www.ischool.drexel.edu/ieeebibm/bibm12/
FINAL CALL FOR PAPERS: Spatio-Temporal Dynamics , 27-28 Aug 2012, Montpellier, FRANCE (DEADLINE: 15:07:2012)
more details: http://stedy.spatialnetwork.org/
2nd CALL FOR PAPERS: Colloquium Logicum 2012, 13-15 Sep 2012, Paderborn, GERMANY (DEADLINE: 15:07:2012)
more details: http://www.math.uni-hamburg.de/home/loewe/CL2012/
2nd CALL FOR PAPERS: "Numbers and Truth", 19-21 October 2012, Gothenburg, SWEDEN (DEADLINE: 01:08:2012)
more details: http://www.numbersandtruth.org/
CALL FOR PARTICIPATION: 28th International Conference on Logic Programming, Sep 4-8, 2012, Budapest, HUNGARY
more details: http://www.cs.bme.hu/iclp2012/
CALL FOR PAPERS: Pervasive Computing and Networked World, 28-30 November 2012, Istanbul, TURKEY (DEADLINE: 30:07:2012)
more details: http://icpca.bcu.ac.uk
CALL FOR PAPERS: Descriptive Set Theory and Model Theory, 27 Dec 2012 - 4 Jan 2013, Kolkata, INDIA (DEADLINE: 31:07:2012)
more details: http://www.isical.ac.in/dst.model/
CALL FOR STUDENT ABSTRACTS & PARTICIPATION: 10th International Winter School on MOdelling and VErifying parallel Processes, Dec 3 -- 7 , 2012, Marseille, FRANCE (DEADLINE: 19:10:2012)
more details: http://movep.lif.univ-mrs.fr/
FINAL CALL FOR PAPERS: ISWC'12 Workshop on Discovering Meaning On the Go in Large & Heterogeneous Data, 11 or 12 Nov 2012, Boston, USA (DEADLINE: 31:07:2012)
more details: http://dream.inf.ed.ac.uk/events/lhd-12/
CALL FOR PARTICIPATION: IEEE Symposium on Visual Languages and Human-Centric Computing Sep 30 - Oct 4, 2012, Innsbruck, AUSTRIA
more details: http://vlhcc.org/
CALL FOR WORKSHOP PAPERS & POSTERS: IEEE International Conference on Bioinformatics and Biomedicine, Oct 4-7, 2012, Philadelphia, PA, USA, (DEADLINE: 31:07:2012)
more details: http://www.ischool.drexel.edu/ieeebibm/bibm12/
CALL FOR PAPERS: IEEE Workshop on Nanoinformatics for Biomedicine, Oct 4-7, 2012, Philadelphia, PA, USA (DEADLINE: 06:08:2012)
more details: http://workshops.i-a-i.com/nanoinfo2012
CALL FOR PARTICIPATION: 7th IFIP Conference on Theoretical Computer Science 2012 Sep 26 - 28, Amsterdam, THE NETHERLANDS
more details: http://tcs.project.cwi.nl
CALL FOR PARTICIPATION: WoLLIC 2012, 3-7 Sep 2012, Buenos Aires, ARGENTINA
more details: http://wollic.org/
CALL FOR POSTERS: 1st International Conference on the Theory and Practice of Natural Computing, 2-4 October, 2012, Tarragona, SPAIN (DEADLINE: 26:08:2012)
more details: http://grammars.grlmc.com/tpnc2012/
CALL FOR PARTICIPATION: Logical Form, 18-19 Sep 2012, Cambridge (U.K.)
more details: http://www.phil.cam.ac.uk/news_events/logicalformconf.html
CALL FOR PARTICIPATION: What is really possible?, 21-22 Sep 2012, Konstanz, GERMANY
more details: http://possibilities.phil.uu.nl/events/wirp2/
2nd CALL FOR PAPERS: The Joint International Semantic Technology Conference, 2-4 Dec 2012, Nara, JAPAN (DEADLINE: 24:08:2012)
more details: http://www.ei.sanken.osaka-u.ac.jp/jist2012/
CALL FOR PAPERS: 25 years "In Contradiction", 7-9 Dec 2012, Glasgow, SCOTLAND (DEADLINE: 30:09:2012)
CALL FOR PARTICIPATION: "Intuitionism in 2012", 7 Sep 2012, Amsterdam, THE NETHERLANDS
more details: http://www.illc.uva.nl/KNAW/Heyting/en/Events/Intuitionism-in-2012/
CALL FOR POSTERS AND DEMOS: International Conference on Knowledge Engineering and Knowledge Management 2012, Oct 8-12, 2012, Galway, IRELAND (DEADLINE: 13:08:2012)
more details: http://www.ekaw.org/
CALL FOR ABSTRACTS: Semantics & Pragmatics at ICL, 22-27 July 2012, Geneva, SWITZERLAND (DEADLINE: 15:08:2012)
more details: http://semantics-online.org/icl-sp-cfp.html
CALL FOR PAPERS: Innovations in Theoretical Computer Science, 10-12 Jan 2013, Berkeley CA (USA) (DEADLINE: 09:09:2012)
more details: http://itcs2013.cs.berkeley.edu
CALL FOR PAPERS: The Australasian Theory Symposium, 29 Jan - 1 Feb 2013, Adelaide, AUSTRALIA (DEADLINE: 13:08:2012)
more details: http://cis.unimelb.edu.au/cats/
CALL FOR ABSTRACTS: AISB Workshop on Sensorimotor Theories of Perception, 26 Sep 2012, Goldsmiths, University of London, UK (DEADLINE: 12:09:2012)
Opportunities Bulletin
Subscribe to opportunities bulletin.
Research Assistant/Associate (Up to 2 posts) - Active Touch Laboratory/Sheffield Centre for Robotics, University of Sheffield, UK (DEADLINE: 11:07:2012)
more details: https://jobs.shef.ac.uk/
Master's programme in Logic, Philosophy of logic and Philosophy of science, Paris, FRANCE
more details: http://www.lophisc.org/
Postdoctoral position in philosophy of set theory, Vienna, AUSTRIA (DEADLINE: 01:09:2012)
Three PhD student and 1/2 postdoctoral positions in Theoretical Computer Science, Athens, GREECE
Postdoctoral research assistant position in logic for autonomous systems, Oxford, UK (DEADLINE: 30:07:2012)
2nd CALL FOR ENTRIES: BCS Machine Intelligence Competition, 5th Oct 2012, London, UK (DEADLINE: 27:07:2012)
more details: http://www.bcs-sgai.org/micomp/
CALL FOR PARTICIPATION: 24th European Summer School in Logic, Language and Information, 6th-17th Aug-2012, Opole, POLAND
more details: http://www.esslli2012.pl
Two temporary positions (4y) as Associate Professor in Digital Humanities and Cognitive Modelling, Amsterdam, THE NETHERLANDS (DEADLINE: 01:08:2012)
Professorship in computational linguistics, Gothenburg, SWEDEN (DEADLINE: 31:07:2012)
Professorship Theoretical Philosophy (Analytical Philosophy), Salzburg, AUSTRIA
Professorship in Logic and Philosophy of Science, Salzburg, AUSTRIA
3 research positions in Multimodal Interfaces / Machine Learning / Natural Language Processing, Heriot-Watt University, SCOTLAND (DEADLINE: 23:07:2012)
more details: https://sites.google.com/site/hwinteractionlab/job-openings
Short-term Research Position in Computational Linguistics, University of Aberdeen, SCOTLAND
Two postdoctoral positions in contextural and formal-logical approaches to scientific problem solving processes, Gent, BELGIUM (DEADLINE: 12:08:2012)
Postdoctoral position in modeling and verification, Marseille, FRANCE
Master's programme in Logic, Philosophy of Logic, and Philosophy of Science, Paris , FRANCE
more details: http://www.lophisc.org/
MSc in Cognitive Science, Bochum, GERMANY
more details: http://www.ruhr-uni-bochum.de/philosophy/mcs
CALL FOR PAPERS: Special issue on Computing with lambda-terms (DEADLINE: 01:09:2012)
more details: http://www.lipn.univ-paris13.fr/~guerrini/bohm90/
Lectureships (up to three) in Theoretical Computer Science, London (U.K.) (DEADLINE: 04:09:2012)
more details: http://webapps.qmul.ac.uk/hr/vacancies/jobs.php?id=3218
Postdoc position in formalizing and applying formal reasoning to security problems, Luxembourg, LUXEMBOURG (DEADLINE: 31:08:2012)
Postdoctoral position in information science, Bergen, NORWAY (DEADLINE: 20:08:2012)
more details: http://www.jobbnorge.no/job.aspx?jobid=83925
CALL FOR PAPERS: Special issue on Cognitive Models & Reasoning for Human-Aware Interaction (DEADLINE: 31:08:2012)
CALL FOR PAPERS: Special issue on "Mathematics of Puzzles" (DEADLINE: 31:07:2012)
CALL FOR PAPERS: Special issue on "Visualization and Reasoning with Euler Diagrams" (DEADLINE: 05:10:2012)
Miscellaneous Bulletin
Subscribe to miscellaneous bulletin.
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.
