Notice

Weekly Bulletin

AISB Weekly Bulletin Items for July 2012

Event Bulletin

Subscribe to event bulletin.

CALL FOR PARTICIPATION: Symposium on Developmental Robotics, 31st Aug 2012, Sheffield Centre for Robotics, University of Sheffield, UK

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

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.