Notice

Weekly Bulletin

AISB Weekly Bulletin Items for April 2015

Event Bulletin

Subscribe to event bulletin.

CALL FOR PAPERS: What can FCA do for AI?, 25 Jul-1 Aug 2015, Buenos Aires, ARGENTINA (DEADLINE: 26:04:2015)
more details: http://www.fca4ai.hse.ru/2015

CALL FOR PAPERS: Neural-Symbolic Learning and Reasoning, 25-27 Jul 2015, Buenos Aires, ARGENTINA (DEADLINE: 27:04:2015)
more details: http://www.neural-symbolic.org/NeSy15/

CALL FOR PAPERS: 8th International Conference on Knowledge Capture October 7-10, 2015, Dolce Palisades, Palisades, NY, USA (DEADLINE: 01:05:2015)
more details: http://www.k-cap.org

CALL FOR WORKSHOP PARTICIPATION & JOURNAL SPECIAL ISSUE: Agent-Based Models of Bounded Rationality
more details: https://sites.google.com/site/abmworkshops/

CALL FOR PAPERS: Computing Natural Reasoning, 19-20 Jul 2015, Bloomington IN (U.S.A.) (DEADLINE: 15:04:2015)
more details: http://www.indiana.edu/~iulg/wollic/coconat.htm

CALL FOR PAPERS: 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 21-25 September 2015, Boston Massachusett, USA (DEADLINE: 08:05:2015)
more details: https://saso2015.mit.edu/

CALL FOR PAPERS: Automated Reasoning with Analytic Tableaux and Related Methods, 21-24 Sep 2015, Wroclaw, POLAND (DEADLINE: 08:05:2015)
more details: http://tableaux2015.ii.uni.wroc.pl/

CALL FOR CONTRIBUTIONS: 3rd WORKSHOP ON INTERPOLATION: FROM PROOFS TO APPLICATIONS, July 18, 2015, San Francisco, CA, USA (DEADLINE: 07:05:2015)
more details: http://forsyte.at/interpolation/

CALL FOR PAPERS: Frontiers of Combining Systems, 21-24 Sep 2015, Wroclaw, POLAND (DEADLINE: 04:05:2015)
more details: http://frocos2015.ii.uni.wroc.pl/

CALL FOR PAPERS: 14th IEEE International Conference on COGNITIVE INFORMATICS & COGNITIVE COMPUTING, July 6-8, 2015, Tsinghua University, Beijing, CHINA (DEADLINE: 30:04:2015)
more details: http://www.ucalgary.ca/icci_cc/iccicc-15

CALL FOR PAPERS: Satisfiability Testing, 24-27 Sep 2015, Austin TX (U.S.A.) (DEADLINE: 22:04:2015)
more details: http://www.cs.utexas.edu/~marijn/sat15/

CALL FOR PAPERS: The 8th International Conference on Knowledge Capture October 7-10, 2015, Dolce Palisades, Palisades, NY, USA (DEADLINE: 01:05:2015)
more details: http://www.k-cap.org

CALL FOR PAPERS: 2nd International Congress on Love and Sex with Robots, November 16th 2015, Iskandar, MALAYSIA (DEADLINE: 17:07:2015)
more details: www.loveandsexwithrobots.org

CALL FOR WORKSHOP PROPOSALS: 2015 IEEE International Conference on Bioinformatics and Biomedicine, Nov 9-12, 2015, Washington, DC, USA (DEADLINE: 01:05:2015)
more details: http://cci.drexel.edu/ieeebibm/bibm2015/

CALL FOR PAPERS: Computability, Complexity and Randomness, 22-26 Jun 2015, Heidelberg, GERMANY (DEADLINE: 20:04:2015)
more details: http://math.uni-heidelberg.de/logic/conferences/ccr2015/

CALL FOR PAPERS: AI-2015, December 15th-17th 2015, Cambridge, UK (DEADLINE: 01:06:2015)
more details: http://www.bcs-sgai.org/ai2015/

CALL FOR PAPERS: International Workshop on User-Oriented Logic Programming, Aug 31, 2015, Cork, IRELAND (DEADLINE: 10:06:2015)
more details: http://iulp2015.uni-leipzig.de

CALL FOR PAPERS: 2015 Imperial College Computing Student Workshop, Sep 24-25, 2015 London, UK (DEADLINE: 05:06:2015)
more details: http://iccsw.doc.ic.ac.uk/2015/cfp.html

CALL FOR PAPERS: Computational Creativity & Games Workshop, June 28th, 2015 - Park City, Utah, USA (DEADLINE: 27:04:2015)
more details: http://www.ccgworkshop.org/

CALL FOR PARTICIPATION: Logic from Descartes to Kant, 20 Apr 2015, Padua, ITALY

CALL FOR PAPERS: Computational Creativity and Games, June 28th, 2015 - Park City, Utah, USA (DEADLINE: 04:05:2015)
more details: http://www.ccgworkshop.org/

CALL FOR PAPERS: Horn Clauses for Verification and Synthesis, 19 Jul 2015, San Francisco CA (U.S.A.) (DEADLINE: 22:05:2015)

CALL FOR PAPERS: Salzburg Conference for Young Analytic Philosophy, 2-4 Sep 2015, Salzburg, AUSTRIA (DEADLINE: 31:05:2015)
more details: http://www.sophia-conference.org/

CALL FOR WORKSHOPS: 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, University of the South Pacific, Suva, FIJI (DEADLINE: 15:05:2015)
more details: http://www.LPAR-20.org

CALL FOR PAPERS: Games, Automata, Logics, and Formal Verification, 21-23 Sep 2015, Genoa, ITALY (DEADLINE: 22:05:2015)
more details: http://gandalf2015.dibris.unige.it

CALL FOR PAPERS: 8th International Conference on Knowledge Capture October 7-10, 2015, Dolce Palisades, Palisades, NY, USA (DEADLINE: 01:06:2015)
more details: http://www.k-cap2015.org

CALL FOR PAPERS: German Society for Computational Linguistics and Language Technology, 30 Sep - 2 Oct 2015, Essen, GERMANY (DEADLINE: 15:05:2015)

CALL FOR PAPERS: Topics in Theoretical Computer Science, 26-28 Aug 2015, Tehran, IRAN (DEADLINE: 15:05:2015)
more details: http://www.ttcs.ir/

LAST CALL FOR PAPERS: Temporal Representation and Reasoning, 23-25 Sep 2015, Kassel, GERMANY (DEADLINE: 30:04:2015)
more details: http://time2015.uni-kassel.de

CALL FOR PAPERS: COMPUTABILITY IN EUROPE 2015: Evolving Computability, June 29 - July 3, Bucharest, ROMANI - EXTENDED DEADLINE (DEADLINE: 03:05:2015)
more details: http://fmi.unibuc.ro/CiE2015/

CALL FOR PARTICIPATION: 2nd Amsterdam Quantum Logic Workshop, 7-8 May 2015, Amsterdam, THE NETHERLANDS
more details: http://events.illc.uva.nl/AQL/AQL15/

Opportunities Bulletin

Subscribe to opportunities bulletin.

Associate/Full Professorship in Philosophy (Head of Department), Pretoria, SOUTH AFRICA (DEADLINE: 07:04:2015)

Postdoctoral position in formal semantics / experimental semantics / philosophical logic, Paris, FRANCE (DEADLINE: 26:04:2015)

PhD student position in theoretical philosophy, Stockholm, SWEDEN (DEADLINE: 15:04:2015)
more details: http://www.philosophy.su.se/polopoly_fs/1.228010.1426158444!/menu/standard/file/PhD_description_eng_tf.pdf

Two postdoctoral positions in algorithms and computational complexity, Barcelona, SPAIN (DEADLINE: 15:06:2015)
more details: http://www.cs.upc.edu/~atserias/AUTAR.html

Postdoctoral position in Foundations of Software Reliability, Munich (Germany) & Bordeaux, FRANCE (DEADLINE: 30:05:2015)

W3 Professorship in Theoretical Computer Science, Bremen, GERMANY (DEADLINE: 24:04:2015)
more details: http://www.uni-bremen.de/de/berufungsverfahren.html

PhD student position on "Cognitive Irrationality", Basel, SWITZERLAND (DEADLINE: 30:06:2015)

NEW JOURNAL: South American Journal of Logic (SAJL)

PhD student: Carnap's diaries (18m), Vienna, AUSTRIA (DEADLINE: 01:06:2015)

Postdoctoral fellowship in philosophy, London (U.K.) (DEADLINE: 29:04:2015)

Research Fellow in AI Safety, Future of Humanity Institute, Oxford, UK (DEADLINE: 27:04:2015)
more details: https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=117675

3x Research Assistants, Centre for Intelligent Data Analytics (TCIDA), Goldsmiths, London, UK (DEADLINE: 30:04:2015)
more details: www.gold.ac.uk/jobs

CALL FOR BOOK REVIEW: Advanced Structured Prediction, Nowozin et al (Eds)
more details: http://www.amazon.com/Advanced-Structured-Prediction-Information-Processing/dp/0262028379

CALL FOR BOOK REVIEW: Developmental Robotics: From Babies to Robots by Cangelosi & Schlesinger
more details: http://www.amazon.com/Developmental-Robotics-Babies-Intelligent-Autonomous/dp/0262028018/ref=sr_1_1?s=books&ie=UTF8&qid=1429186446&sr=1-1&keywords=developmental+robotics

PhD student position in first-order temporal logic, Toulouse, FRANCE

Research Fellow (Post Doc), Capacity Lab, Bremen Spatial Cognition Center, University of Bremen, GERMANY (DEADLINE: 15:05:2015)

Postdoctoral position in theory and practice of ontology-based query answering for expressive ontology languages, Liverpool, ENGLAND (DEADLINE: 30:04:2015)
more details: http://www.liv.ac.uk/working/jobvacancies/currentvacancies/research/r-587876/

PhD student position in nonmonotonic logics and formal argumentation, Bochum, GERMANY (DEADLINE: 17:05:2015)
more details: >

W3 Professorship in Theoretical Computer Science, Bremen, GERMANY (DEADLINE: 24:04:2015)
more details: http://www.uni-bremen.de/de/berufungsverfahren.html

PhD student position in Logic, Amsterdam, THE NETHERLANDS (DEADLINE: 17:05:2015)
more details: http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/15-125.html

Postdoctoral / PhD student position in Algorithms, Potsdam, GERMANY (DEADLINE: 01:05:2015)

European Master's Program in Computational Logic
more details: http://www.emcl-study.eu/home.html

Hilbert-Bernays Summer School on Logic and Computation, 26 Jul - 1 Aug 2015, Goettingen, GERMANY

W3 Professorship in Theoretical Computer Science (Algorithms), Berlin, GERMANY (DEADLINE: 14:05:2015)

Visiting Assistant Professorship in mathematics, Boca Raton FL (U.S.A.)

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