Notice
Weekly Bulletin
AISB Weekly Bulletin Items for March 2010
Event Bulletin
2nd CFP: ACL2010 - UPPSALA WORKSHOP ON COMPANIONABLE DIALOGUE SYSTEMS (DEADLINE: 05:04:2010)
more details: http://microsites.oii.ox.ac.uk/acl2010_companions_workshop/
CFP: ESSCS, Annual Workshop 2010 (DEADLINE: 15:05:2010)
more details: http://www.esscs.org/
CFP: Special session on "Rethinking interaction with robots" at IEEE RO-MAN (DEADLINE: 01:04:2010)
more details: http://www.ro-man2010.org/
CFP: CLIMA XI - 11th Int. Workshop on Computational Logic in Multi-Agent Systems (DEADLINE: 07:05:2010)
more details: http://centria.di.fct.unl.pt/events/climaXI/
Call for Papers and Posters: AI-2010 (DEADLINE: 01:06:2010)
more details: http://www.bcs-sgai.org/ai2010/
CFP:4th International Conference on Knowledge Science, Engineering and Management (KSEM`2010) (DEADLINE: 30:03:2010)
more details: http://www.ulster.ac.uk/ksem2010
CFP: WebCBR: 2nd Workshop on Reasoning from Experiences on the Web (DEADLINE: 28:04:2010)
more details: http://www.comp.dit.ie/aigroup/webcbr
CF Papers and Tutorials: ICCM 2010 International Conference on Cognitive Modeling (DEADLINE: 08:03:2010)
more details: http://iccm2010.cs.drexel.edu/
Announcement: The International Journal of Synthetic Emotions 1(1) (DEADLINE: 24:03:2010)
more details: www.bmva.org/meetings
CF Participation: Cognitive Science, Computational Logic and Connectionism, ICCL Summer School 2010 (DEADLINE: 01:04:2010)
more details: http://www.computational-logic.org/iccl-ss-2010
CF Participation: Symposium on Mathematical Practice and Cognition
more details: http://homepages.inf.ed.ac.uk/apease/aisb10/home.html
CFP: Special session: "Logics for Games and Strategic Reasoning" at CLIMA XI (DEADLINE: 07:05:2010)
more details: http://centria.di.fct.unl.pt/events/climaXI/sessions.html
CFP: MATES 2010-Multi-Agent System Technologies (DEADLINE: 09:04:2010)
more details: http://www.alg.ewi.tudelft.nl/mates2010
CFP: Student Session @ NASSLLI 2010 (DEADLINE: 05:04:2010)
CF Short Papers: LPAR-16, Logic for Programming, Artificial Intelligence and Reasoning (DEADLINE: 17:03:2010)
more details: http://www.lpar.net/lpar-16/
CFP: GandALF 2010: 1st Symposium on Games, Automata, Logics, and Formal Verification (DEADLINE: 21:03:2010)
more details: http://gandalf.dia.unisa.it/
2nd CFP: Logics, Agents, and Mobility (LAM'10) (DEADLINE: 09:04:2010)
more details: http://www.dur.ac.uk/lam.10
CFP, Talks, and System Demonstrations: AUTOMATHEO 2010 - Automated Mathematical Theory Exploration (DEADLINE: 05:05:2010)
more details: http://dream.inf.ed.ac.uk/events/automatheo-2010/
CompCog call for applications (DEADLINE: 10:04:2010)
more details: www.compcog.org
CFP: RULE 2010 (DEADLINE: 16:04:2010)
more details: http://www.di.uminho.pt/rule2010
CFP: IEEE Conference on Tools with Artificial Intelligence (DEADLINE: 06:06:2010)
more details: http://www.cril.univ-artois.fr/ictai10/
2nd Call for Workshop Proposals, ICALP 2010 (DEADLINE: 15:03:2010)
more details: http://icalp10.inria.fr/
AISB Society - AGM 2010 (DEADLINE: 01:04:2010)
CFP: Diagrams in Education Workshop (DEADLINE: 09:04:2010)
more details: http://www.diagrams-conference.org/2010/
CFP: MICAI 2010, Artificial Intelligence (DEADLINE: 18:05:2010)
more details: www.micai.org/2010
CFP: WORKSHOP ON COMPUTATIONAL INTELLIGENCE IN KNOWLEDGE DISCOVERY (CIKD2010) (DEADLINE: 09:09:2010)
more details: http://cig.iet.unipi.it/isda2010/
CFP: Knowledge Science, Engineering and Management (KSEM`2010) (DEADLINE: 30:03:2010)
more details: http://www.ulster.ac.uk/ksem2010
CFP: RULE 2010 (DEADLINE: 16:04:2010)
more details: http://www.di.uminho.pt/rule2010
CF Participation: Symposium New Frontiers in Human-Robot Interaction (at AISB 2010)
more details: http://homepages.feis.herts.ac.uk/~comqkd/AISB2010-HRI-Programme-Draft.pdf
Final CFP : Special session on "Rethinking interaction with robots" at IEEE RO-MAN (DEADLINE: 01:04:2010)
more details: http://www.ro-man2010.org/
Last CfP: LOPSTR'10 (DEADLINE: 25:03:2010)
more details: http://www.risc.uni-linz.ac.at/conferences/lopstr2010/
CFP: WISM'10-AICI'10 (DEADLINE: 10:05:2010)
more details: http://wism-aici2010.njupt.edu.cn
Deadline Approaching: 2010 IEEE Intl. Conf. on Information Reuse and Integration (DEADLINE: 28:03:2010)
more details: http://www.sis.pitt.edu/~iri2010/
CFP: Theories of Information Dynamics and Interaction and their Applications to Dialogue (DEADLINE: 12:04:2010)
more details: http://www.irit.fr/~Laure.Vieu/Esslli10
CF Presentations: Games and Probabilistic Models in Formal Verification 2010 (DEADLINE: 10:05:2010)
more details: http://mfcsl2010.fi.muni.cz/workshops/gpmfv
CFP and Workshop Proposals: LPAR17- Logic for Programming, Artificial Intelligence and Reasoning (DEADLINE: 02:04:2010)
more details: http://www.computational-logic.org/lpar-17/Home.html
CALL FOR CONVENTION PROPOSALS: AISB 2012 (DEADLINE: 01:07:2010)
2nd CFP: Practical Aspects of Automated Reasoning 2010 (DEADLINE: 11:04:2010)
more details: http://www.eprover.org/EVENTS/PAAR-2010/paar-2010.html
CFP: Neural-Symbolic Learning and Reasoning (NeSy'10) (DEADLINE: 29:03:2010)
more details: http://www.neural-symbolic.org/NeSy10/
Deadline Approaching:2010 IEEE Intl. Conf. on Information Reuse and Integration (DEADLINE: 28:03:2010)
more details: http://www.sis.pitt.edu/~iri2010/
CFP: Automated Reasoning about Context and Ontology Evolution (ARCOE-10) (DEADLINE: 07:05:2010)
more details: http://www.arcoe.org/2010/index.html
CFP: LfSA'10: Logics for System Analysis - abstract deadline soon (DEADLINE: 25:03:2010)
more details: http://www.ls.cs.cmu.edu/LfSA10/
Deadline Extended further :2010 IEEE Intl. Conf. on Information Reuse and Integration (DEADLINE: 16:04:2010)
more details: http://www.sis.pitt.edu/~iri2010/
2nd CFP: AI-2010 Cambridge, UK (DEADLINE: 01:06:2010)
more details: http://www.bcs-sgai.org/ai2010/
3rd CFP: 3rd International Workshop on Logics, Agents, and Mobility (LAM'10) (DEADLINE: 09:04:2010)
more details: http://www.dur.ac.uk/lam.10
Final CFP: WORKSHOP AT ACL2010 ON COMPANIONABLE DIALOGUE SYSTEMS (DEADLINE: 05:04:2010)
more details: http://microsites.oii.ox.ac.uk/acl2010_companions_workshop/
CFP: HyLo 2010: Deadline extended (DEADLINE: 07:04:2010)
more details: http://hylocore.ruc.dk/HyLo2010.html
CFP: IFIP INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE APPLICATIONS & INNOVATIONS (AIAI 2010) (DEADLINE: 10:06:2010)
more details: http://www.cs.ucy.ac.cy/aiai2010
2nd CFP: TAROS 2010 Towards Autonomous Robotic Systems (DEADLINE: 30:04:2010)
more details: http://www.taros.org.uk/
Reminder: RULE 2010 - submission open (DEADLINE: 16:04:2010)
more details: http://www.di.uminho.pt/rule2010
Opportunities Bulletin
Subscribe to opportunities bulletin.
Five PhD Scholarships in Algorithmics (DEADLINE: 01:04:2010)
more details: http://www1.imada.sdu.dk/areas.html
PhD student positions in Algorithms (DEADLINE: 31:03:2010)
more details: http://www.inf.usi.ch/presentazionetudiare/container_education_phd/dottorato_regolamenti.htm
PhD student position on theoretical aspects of XML
PhD in AI for Formal Methods available at Edinburgh
more details: http://www.inf.ed.ac.uk/postgraduate/phd.html
Funding Opportunity (DEADLINE: 15:04:2010)
more details: http://www.templeton.org/
Four PhD student positions in computer science, Swansea (DEADLINE: 23:04:2010)
more details: http://www.swansea.ac.uk/compsci/research/
Postdoctoral Marie Curie fellowship in philosophy/logic of information, Hatfield (U.K.)
CALL FOR NOMINATIONS ~ EDITOR OF THE AISBQ (DEADLINE: 30:04:2010)
Two PhD studentships in the use of interactive medical devices, UCL (DEADLINE: 03:05:2010)
Postdoctoral position in Logics for Quantum Interaction, Groningen (DEADLINE: 07:06:2010)
more details: http://www.rug.nl/corporate/vacatures/vacaturesRUG
2 PhD student positions in Logics for Quantum Interaction, Groningen (DEADLINE: 07:06:2010)
more details: http://www.rug.nl/corporate/vacatures/vacaturesRUG
Miscellaneous Bulletin
Subscribe to miscellaneous bulletin.
Announcement: New Book Series: Advances in Interaction Studies
more details: http://www.benjamins.com/cgi-bin/t_seriesview.cgi?series=AIS
E. W. Beth Dissertation Prize: 2010 call for nominations (DEADLINE: 30:04:2010)
Announcement: JMUI Special issue: Real-time affect analysis and interpretation in virtual agents and robots
more details: http://www.springerlink.com/content/q2080w072713/?p=86740fad4fe94dcab29705938d923c39&pi=0
All Bulletin Items by Month
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.
