Notice

Weekly Bulletin

AISB Weekly Bulletin Items for January 2013

Event Bulletin

Subscribe to event bulletin.

CALL FOR PAPERS: Second conference on proof-theoretic semantics, Tuebingen, GERMANY (DEADLINE: 31:01:2013)
more details: http://ls.informatik.uni-tuebingen.de/PTS/

FIRST CALL FOR PAPERS:Frontiers of Combining Systems, Nancy, FRANCE (DEADLINE: 15:04:2013)
more details: http://frocos2013.loria.fr/

CALL FOR PAPERS:Tests and Proofs, Budapest, HUNGARY (DEADLINE: 25:01:2013)
more details: http://www.spacios.eu/TAP2013

CALL FOR PAPERS: Engineering Multi-Agent Systems, Saint Paul MN (U.S.A.) (DEADLINE: 30:01:2013)
more details: http://emas2013.otago.ac.nz

CALL FOR PARTICIPATION: Meaning and Categorization, 7-8 Feb 2013, Bielefeld, GERMANY

CALL FOR PAPERS AND SPECIAL AWARDS:CiE 2013: The Nature of Computation: Logic, Algorithms, Applications, July 1 - 5, 2013, Milan, ITALY (DEADLINE: 20:01:2013)
more details: http://cie2013.disco.unimib.it

2nd CALL FOR ABSTRACTS: PhDs in Logic V, 8-10 Apr 2013, Munich, GERMANY (DEADLINE: 15:01:2013)
more details: http://sites.google.com/site/phdsinlogicv/

CALL FOR PAPERS:2nd Understanding Problems Workshop (GECCO-UP) @ GECCO 2013, July 6-10, Amsterdam, THE NETHERLANDS (DEADLINE: 28:03:2013)
more details: http://bit.ly/139Nhvh

CALL FOR PAPERS: The Difference that Makes a Difference 2013, 8-10 April 2013, The Open University and the MK Gallery, Milton Keynes, UK (DEADLINE: 01:02:2013)
more details: http://www.dtmd.org.uk

2nd CALL FOR PAPERS: 40th International Colloquium on Automata, Languages and Programming, 8-12 Jul 2013, Riga, LATVIA (DEADLINE: 15:02:2013)

1st CALL FOR PAPERS: Adaptive and Learning Agents Workshop 2013 at AAMAS 2013, May 6-7, 2013, Saint Paul, Minnesota, USA (DEADLINE: 30:01:2013)
more details: http://swarmlab.unimaas.nl/ala2013/

CALL FOR PAPERS: Postgraduate conference in logic and philosophy of science, 29-31 May 2013, Urbino, ITALY (DEADLINE: 28:02:2013)

CALL FOR PAPERS: 1st International Workshop on Engineering Multi-Agent Systems, 6-7 May 2013, Saint Paul MN (U.S.A.) (DEADLINE: 30:01:2013)
more details: http://emas2013.otago.ac.nz

CALL FOR REGISTRATION AND STUDENT FUNDING: 8th ACM/IEEE International Conference on Human-Robot Interaction, March 3-6, 2013,Tokyo, JAPAN (DEADLINE: 01:02:2013)
more details: http://humanrobotinteraction.org/2013/

CALL FOR PARTICIPATION: Prof. Luciano Floridi Talk on “Big Data and Their Epistemological Challenge”, 31 Jan, 2013, Oxford, UK

CALL FOR WORKSHOP AND TUTORIAL PROPOSALS: International Conference on Machine Learning , June 20-21, 2013, Atlanta, USA (DEADLINE: 31:01:2013)
more details: http://icml.cc/2012/workshops/

CALL FOR PAPERS: 6th AISB Symposium on Computing and Philosophy:The Scandal of Computation - What is Computation?,April 2 - 5th 2013, Exeter, UK - EXTENDED DEADLINE (DEADLINE: 28:01:2013)
more details: http://extranet.smuc.ac.uk/events-conferences/AISB-Symposium-2013/Pages/default.aspx

CALL FOR PAPERS: Artificial Intelligence and Poetry Symposium, 2nd-5th April 2013, Exeter, UK- EXTENDED DEADLINE (DEADLINE: 28:01:2013)
more details: http://www.macs.hw.ac.uk/~ruth/ai&p.html

CALL FOR PAPERS: Enaction: Challenges and Successes Symposium , AISB'13, April 2-5 2013, Exeter UK - EXTENDED DEADLINE (DEADLINE: 28:01:2013)
more details: http://emps.exeter.ac.uk/computer-science/research/aisb/

CALL FOR PAPERS: Machine Learning in Water Systems symposium, AISB 2013, 3-5 April 2013, Exeter, UK - EXTENDED DEADLINE (DEADLINE: 28:01:2013)
more details: http://emps.exeter.ac.uk/computer-science/research/aisb/

CALL FOR PARTICIPATION: "Philosophy of Information", 26 April 2013, Washington DC (U.S.A.),
more details: http://www.american.edu/cas/economics/info-metrics/index.cfm

CALL FOR PAPERS: Science and Information (SAI) Conference 2013, October 7-9, 2013, London, UK (DEADLINE: 15:02:2013)
more details: www.conference.thesai.org

CALL FOR ABSTRACTS & PAPERS: 6th International Workshop on LOGICS, AGENTS, and MOBILITY, 5 April 2013, University of Exeter, UK (DEADLINE: 28:01:2013)
more details: http://lam2013.wordpress.com

CALL FOR PARTICIPATION: European Joint Conferences on Theory And Practice of Software, 16 - 24 March 24, 2013, Rome, ITALY
more details: http://www.etaps.org/2013

CALL FOR PAPERS: Artificial Intelligence and Law, 10-14 Jun 2013, Rome, ITALY (DEADLINE: 18:01:2013)
more details: http://icail2013.ittig.cnr.it

1st INVITATION TO REGISTER: BCS SGAI: Seventh UK Symposium on Knowledge Discovery and Data Mining, 26th March 2013, London, UK
more details: http://ukkdd.org.uk/

LAST CALL FOR PAPERS: AISB Convention 2013, 2nd-5th April 2013, Exeter, UK (DEADLINE: 28:01:2013)
more details: http://emps.exeter.ac.uk/computer-science/research/aisb/

CALL FOR PAPERS: 8th International Conference on Computer and Games, 13-15 August 2013, Center, Yokohama, JAPAN (DEADLINE: 10:03:2013)

FINAL CALL FOR PAPERS:(and new deadline): CiE 2013: The Nature of Computation, 1-5 Jul 2013, Milan, ITALY (DEADLINE: 30:01:2013)
more details: http://cie2013.disco.unimib.it

CALL FOR PAPERS: Learning Rich Representations from Low-Level Sensors, July 15th, 2013, Bellevue, Washington DC, USA (DEADLINE: 28:03:2013)
more details: http://www.marcpickett.com/RepLearn2013/

CALL FOR ABSTRACTS: WFAP Graduate Conference "How Am I Supposed to Know", 2-4 May 2013, Vienna, AUSTRIA (DEADLINE: 28:02:2013)
more details: http://wfap.philo.at

CALL FOR PAPERS: 5th Workshop on Philosophy of Information, 27-28 Mar 2013, Hatfield (U.K.), (DEADLINE: 01:02:2013)

CALL FOR PARTICIPATION: 30th International Symposium on Theoretical Aspects of Computer Science, 27 Feb - 2 Mar 2013, Kiel, GERMANY
more details: http://www.stacs2013.uni-kiel.de/

2nd CALL FOR WORKSHOP PROPOSALS:28th ACM/IEEE Symposium on Logic In Computer Science, 25-28 Jun 2013, New Orleans LA (U.S.A.) (DEADLINE: 15:02:2013)
more details: http://lii.rwth-aachen.de/lics/lics13/

CALL FOR PAPERS: Web Rule Symposium, 11-13 Jul 2013, Seattle WA (U.S.A.) (DEADLINE: 19:02:2013)
more details: http://2013.ruleml.org

CALL FOR PARTICIPATION: WHITEHEAD LECTURE 'Distributed Decisions: New Insights from Radio-tagged Ants', Wed 30th Jan, Goldsmiths, London
more details: http://www.doc.gold.ac.uk/%7Emas02mb/posters/2%20-%20Robinson.pdf

CALL FOR PARTICIPATION: AISB Workshop: 'Distributed Thinking' , 30th-31st Jan 2013, Goldsmiths, London, UK

Opportunities Bulletin

Subscribe to opportunities bulletin.

Two postdoctoral research associate positions in verification of autonomous systems, London (U.K.) (DEADLINE: 11:01:2013)
more details: http://www3.imperial.ac.uk/computing/vacancies#AL%201112

Two Fully-Funded PhD Positions in Intelligent Mobile Robotics, Birmingham, UK

Lectureship in Philosophy of Mathematics, Oxford (U.K.) (DEADLINE: 18:01:2013)
more details: http://www.philosophy.ox.ac.uk/vacancies/university_lecturership_in_philosophy_of_mathematics_lady_margaret_hall

Postdoctoral position (1y) in philosophy of science, Muenster, GERMANY (DEADLINE: 04:01:2013)

Two PhD student positions in Philosophy of Language/Mind, Leeds (U.K.) (DEADLINE: 01:03:2013)
more details: http://natureofrepresentation.wordpress.com/phd-projects/

CALL FOR PAPERS for Inaugural Issue: Journal of Lovotics, Academic Studies of Love and Friendship with Robots

CALL FOR NOMINATIONS: IFAAMAS-12 Victor Lesser Distinguished Dissertation Award (DEADLINE: 28:02:2013)

CONTEST: Scope of Logic Theorems (DEADLINE: 28:02:2013)

Three Postdoctoral Research Fellowships in Intelligent Mobile Robotics, Birmingham, UK
more details: http://www.cs.bham.ac.uk/research/groupings/robotics/2012/12/strands-rfs/

Two PhD student positions in Computer Science, Leicester (U.K) (DEADLINE: 10:01:2013)

PhD student position in philosophical logic, Bochum, GERMANY (DEADLINE: 15:02:2013)

Postdoctoral position in "Efficient and Natural Proof Systems", Bath (U.K.) (DEADLINE: 23:01:2013)
more details: https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=VH1457

CALL FOR NOMINATIONS: Ackermann Award 2013, the EACSL outstanding dissertation award for logic in computer science (DEADLINE: 15:04:2013)

CALL FOR CHAPTERS: Social Networks, a framework of computational intelligence (DEADLINE: 01:02:2013)

Postdoctoral research fellowship in verification, Warwick (U.K.) (DEADLINE: 24:01:2013)
more details: http://www.jobs.ac.uk/job/AFS125/research-fellow/

W3 Professorship in Philosophy of Mind, Munich, GERMANY (DEADLINE: 18:02:2013)

Lectureships, Senior Lectureships and Professorships in Computer Science, Liverpool (U.K.)

Professor of Cognitive Systems, University of Bremen, GERMANY (DEADLINE: 31:03:2013)
more details: http://cosy.informatik.uni-bremen.de/content/professor-cognitive-systems

Erasmus Mundus scholarships - European Master's Program in Computational Logic (DEADLINE: 31:01:2013)
more details: http://www.emcl-study.eu/home.html

PhD student position in computer science (social network analysis), Constance, GERMANY (DEADLINE: 31:01:2013)
more details: http://www.informatik.uni-konstanz.de/rendle/joboffer/

W2/W3 Professorship in Cognitive Systems, Bremen, GERMANY (DEADLINE: 31:03:2013)
more details: http://cosy.informatik.uni-bremen.de/content/professor-cognitive-systems

Temporary lectureship in philosophy (75% TV-L 13, 2y) , Essen, GERMANY (DEADLINE: 01:02:2013)

PhD student positions in computer science, Liverpool (U.K.) (DEADLINE: 28:02:2013)
more details: http://www.liv.ac.uk/electrical-engineering-electronics-and-computer-science/post_graduate_students/

ACAI Summer School on Computational Models of Argument, 1-5 Jul 2013, King's College London (U.K.)
more details: http://www.inf.kcl.ac.uk/events/acai13/

SCHOLARSHIPS - European Master's Programme in Computational Logic, Bolzano, Lisbon, Dresden, Vienna (Italy / Portugal / Germany / Austria) (DEADLINE: 31:01:2013)

FUNDING AVAILABLE - Master of Science in Mind, Language and Embodied Cognition, Edinburgh, SCOTLAND

CALL FOR PAPERS: Special issue on the square of opposition in historical perspective (DEADLINE: 30:06:2013)
more details: http://www.square-of-opposition.org/

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.