Notice

Weekly Bulletin

AISB Weekly Bulletin Items for February 2015

Event Bulletin

Subscribe to event bulletin.

CALL FOR PAPERS: Conference on Intelligent Computer Mathematics, 13-17 July 2015, Washington DC, USA (DEADLINE: 16:02:2015)
more details: http://cicm-conference.org/2015/cicm.php

CALL FOR PARTICIPATION: Logic and Inference, 19-20 Mar 2015, London, ENGLAND
more details: http://inferenceandlogic.wordpress.com/conference/

CALL FOR PAPERS: International Conference on Computational Creativity 2015, June 29 - July 2, 2015, Park City, Utah, USA (DEADLINE: 28:02:2015)
more details: http://computationalcreativity.net/iccc2015/

CALL FOR PAPERS: 2nd INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY, August 4-6, 2015, Mexico City, MEXICO (DEADLINE: 02:03:2015)
more details: http://grammars.grlmc.com/alcob2015/

CALL FOR PAPERS: 5th Workshop on Formal Topology, 8-10 Jun 2015, Djursholm, SWEDEN (DEADLINE: 16:03:2015)
more details: http://www.mittag-leffler.se/?q=150608

CALL FOR PAPERS: Algebra and Coalgebra in Computer Science, 24-26 Jun 2015, Nijmegen, THE NETHERLANDS (DEADLINE: 22:03:2015)
more details: http://coalg.org/calco15/

CALL FOR PAPERS: Logic, Relativity and Beyond, 9-13 Aug 2015, Budapest, HUNGARY (DEADLINE: 20:03:2015)
more details: http://www.renyi.hu/conferences/lrb15/

CALL FOR PAPERS: Mathematics of Language, 25-26 Jul 2015, Chicago IL (U.S.A.) (DEADLINE: 13:02:2015)
more details: http://www.molweb.org/mol2015/

CALL FOR PAPERS:Rewriting Techniques and Applications, 29 Jun - 1 Jul 2015 , Warsaw, POLAND (DEADLINE: 06:02:2015)
more details: http://rdp15.mimuw.edu.pl/

CALL FOR PAPERS: Computability and Complexity in Analysis, 12-15 Jul 2015, Tokyo, JAPAN (DEADLINE: 31:03:2015)
more details: http://cca-net.de/cca2015/

CALL FOR PAPERS: Type Theory and Lexical Semantics, 3-7 Aug 2015, Barcelona, SPAIN (DEADLINE: 31:03:2015)
more details: http://esslli2015.org

CALL FOR PAPERS: ESSLLI 2015 Student Session, 3-14 Aug 2015, Barcelona, SPAIN (DEADLINE: 25:03:2015)
more details: http://esslli2015.org

CALL FOR PAPERS: "The Logic and Metaphysics of Predication", 11-12 Jun 2015, Oslo, NORWAY (DEADLINE: 01:04:2015)

CALL FOR PAPERS: Machines, Computations and Universality, 9-11 Sep 2015, Famagusta, CYPRUS (DEADLINE: 15:03:2015)
more details: http://mcu2015.emu.edu.tr

CALL FOR PAPERS: Algorithms and Complexity in Mathematics, Epistemology and Science, 6-8 May 2015, London ON, CANADA (DEADLINE: 22:02:2015)
more details: http://acmes.org

CALL FOR PROPOSALS: AGENTS and MULTIAGENT SYSTEMS SCHOOLS (DEADLINE: 15:02:2015)
more details: http://www.aamas-conference.org/

CALL FOR PARTICIPATION: 15th International Summer School and Symposium on Humour and Laughter, July 13 -- 18, 2015, Saint-Petersburg, RUSSIAN FEDERATION (DEADLINE: 01:03:2015)
more details: http://humoursummerschool.org/15

CALL FOR HOST PROPOSALS: European Conference on Artificial Intelligence (ECCAI) 2020

CALL FOR PARTICIPATION: Statistical Predictions are Always True (and that's why they are not about me), 26th Feb 2015, St Mary’s University, London, UK

CALL FOR PAPERS: Theoretical Aspects of Rationality and Knowledge, 4-6 Jun 2015, Pittsburgh PA (U.S.A.) (DEADLINE: 20:02:2015)
more details: http://www.imsc.res.in/tark/tark15.html

CALL FOR PAPERS: Logical Aspects of Multi-Agent Systems, 4-5 May 2015, Istanbul, TURKEY (DEADLINE: 20:02:2015)
more details: http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm

CALL FOR PAPERS: Tbilisi Symposium on Language, Logic and Computation, 21-26 Sep 2015, Tbilisi, GEORGIA (DEADLINE: 01:03:2015)
more details: http://www.illc.uva.nl/Tbilisi/Tbilisi2015

CALL FOR PAPERS: Artificial Intelligence in Medicine, September 8-11, 2015, Coimbra, PORTUGAL (DEADLINE: 09:03:2015)
more details: http://epia2015.dei.uc.pt/artificial-intelligence-in-medicine/

CALL FOR PAPERS: Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 7th to 11th Sep, 2015 Porto, PORTUGAL (DEADLINE: 02:03:2015)

CALL FOR PARTICIPATION: Self Prediction in Decision Theory and AI, 13-19 May 2015, Cambridge, ENGLAND
more details: http://www.phil.cam.ac.uk/events/decision-theory-conf

CALL FOR PAPERS; Prague Seminar on Non-Classical Mathematics, 11-13 Jun 2015, Prague, CZECH REPUBLIC (DEADLINE: 15:03:2015)

CALL FOR PAPERS: Proof, Computation and Complexity, 23-24 May 2015, Oslo, NORWAY (DEADLINE: 01:04:2015)
more details: http://www.mn.uio.no/math/english/research/groups/logic/events/conferences/pcc2015/

CALL FOR PAPERS: Studying evidence in the law: formal, computational and philosophical methods, 12 Jun 2015, San Diego CA (U.S.A.) (DEADLINE: 25:03:2015)
more details: https://icail2015evidence.wordpress.com/

CALL FOR PAPERS: 1st Workshop on Logic, Reasoning, and Rationality: "Explanation and Abduction", 7-8 May 2015, Gent, BELGIUM (DEADLINE: 29:03:2015)
more details: www.lrr.ugent.be

CALL FOR PAPERS: 12th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CNR Research Area “Napoli 1”, Sep 10-12, 2015, Naples, ITALY (DEADLINE: 03:04:2015)
more details: http://bioinfo.na.iac.cnr.it/cibb2015/

CALL FOR HOST PROPOSALS: European Conference on Artificial Intelligence (ECCAI) 2020

CALL FOR PAPERS: Hilbert's Epsilon and Tau in Logic, Informatics and Linguistics, 10-12 Jun 2015, Montpellier, FRANCE (DEADLINE: 01:04:2015)
more details: Webpage:https://sites.google.com/site/epsilon2015workshop/

CALL FOR PAPERS: Natural Language and Computer Science, 5 Jul 2015, Kyoto, JAPAN (DEADLINE: 02:04:2015)
more details: http://www.indiana.edu/~iulg/nlcs.html

CALL FOR PAPERS: Mathematical Foundations of Programming Semantics, 22-25 Jun 2015, Nijmegen, THE NETHERLANDS (DEADLINE: 03:04:2015)
more details: (http://events.cs.bham.ac.uk/mfps31/)

Opportunities Bulletin

Subscribe to opportunities bulletin.

PhD student position in probabilististic analysis of algorithms, Twente, THE NETHERLANDS (DEADLINE: 15:03:2015)
more details: http://www.utwente.nl/vacatures/?VacatureID=711594

PhD student positions in Formal Methods, London (U.K.) (DEADLINE: 30:03:2015)
more details: https://www.royalholloway.ac.uk/studyhere/researchdegrees/applying/home.aspx.

Faculty position in Programming Principles, Logic and Verification, London (U.K.) (DEADLINE: 06:03:2015)

Research assistant position (postdoctoral) in "Social Machines of Mathematics", Oxford (U.K.) (DEADLINE: 04:03:2015)
more details: https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=116879

W2 Professorship in Speech Technology, Hamburg, GERMANY (DEADLINE: 26:02:2015)

CALL FOR PAPERS: Special Issue of Computational Linguistics on 'Formal Distributional Semantics' (DEADLINE: 01:04:2015)

CALL FOR PAPERS: Special volume on applications of logical methods outside of the core areas (DEADLINE: 28:02:2015)

Postdoctoral position in logic-based refactoring of description logic ontologies, Oxford (U.K.) (DEADLINE: 02:03:2015)
more details: https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.display_form

Postdoctoral position in Abstract Algebra / Logic (31m), Luxembourg, LUXEMBOURG

CALL FOR PAPERS: Special issue of LiLT on "Modality in Natural Language Understanding", (DEADLINE: 01:08:2015)
more details: csli-lilt.stanford.edu

PhD student positions in theoretical computer sciences, Birmingham (U.K.)
more details: http://www.cs.bham.ac.uk/admissions/postgraduate-research/

CALL FOR NOMINATIONS: Ackermann Award 2015

REQUEST FOR PROPOSALS: Making AI robust and beneficial (DEADLINE: 01:03:2015)

PhD student position in History of Science, Uppsala, SWEDEN (DEADLINE: 31:03:2015)
more details: http://www.idehist.uu.se/digitalAssets/212/212959_3studieplan.pdf

Postdoctoral position in set theory, Sao Paolo, BRAZIL (DEADLINE: 15:03:2015)

CALL FOR NOMINATIONS: 2015 E. W. Beth Dissertation Prize (DEADLINE: 27:04:2015)

CALL FOR NOMINATIONS --- AI's Ten To Watch (DEADLINE: 25:03:2015)

PhD student position (or postdoctoral position) in logic in computer science, Konstanz, GERMANY (DEADLINE: 09:03:2015)
more details: http://www.uni-konstanz.de/stellenangebote/?cont=stellausw&seite=2015/015&id=1

Junior Professorship in Theoretical Philosophy (non-tenured, 6y), Hamburg, GERMANY (DEADLINE: 19:03:2015)
more details: http://www.uni-hamburg.de/uhh/stellenangebote/Gwiss_JP233_19-03-15_e.pdf

PhD student position in Collective Reasoning, Luxembourg, LUXEMBOURG (DEADLINE: 31:03:2015)

CALL FOR NOMINATIONS: Editor-in-Chief ACM Transactions on Computational Logic
more details: http://tocl.acm.org/announcements/Call-for-Nominations.pdf

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/201411/201412/2014
20151/20152/2015


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.