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

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

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.