Notice
Weekly Bulletin
AISB Weekly Bulletin Items for January 2009
Event Bulletin
CFP: Automated Verification of Critical Systems AVoCS 2009 (DEADLINE: 26:06:2009)
more details: http://www.cs.swan.ac.uk/avocs09/
CFP: International Conference on Cognitive Modelling 2009 (DEADLINE: 14:04:2009)
more details: http://www.iccm2009.net/
CFP: AISB'09 : AI & Games - Full paper deadline EXTENDED to 19th January 2009 (DEADLINE: 19:01:2009)
more details: http://www.dcs.shef.ac.uk/~daniela/AISB09/
Revised 2nd AISB Symposium on Computing and Philosophy - deadline extension (DEADLINE: 16:01:2009)
1st CFP: HYCAS 2009 @ IJCAI-09: Hybrid Control of Autonomous Systems (DEADLINE: 06:03:2009)
more details: http://www.hycas.org/
CFP and Extension: Symposium on Behaviour Regulation in Multi-Agent Systems (DEADLINE: 15:01:2009)
more details: http://www.dcs.kcl.ac.uk/staff/oren/aisb09
Last CFP: Rewriting Techniques and Applications RTA 2009 (DEADLINE: 19:01:2009)
more details: http://rdp09.cic.unb.br/rta.html
CFP: International Conference on Artificial Neural Networks (ICANN 2009) (DEADLINE: 01:02:2009)
more details: http://www.kios.org.cy/ICANN09
CFP: Workshop on Visual Languages and Computing VLC 09 (DEADLINE: 01:03:2009)
more details: http://www.ksi.edu/seke/dms09.html
CFP: Conference on Automated Deduction CADE-22 (DEADLINE: 16:02:2009)
more details: http://complogic.cs.mcgill.ca/cade22/
CFP: Computer Aided Verification CAV 2009 (DEADLINE: 19:01:2009)
more details: http://www-cav2009.imag.fr/
CFP: CiE 2009: COMPUTABILITY IN EUROPE 2009 (DEADLINE: 20:01:2009)
more details: http://www.math.uni-heidelberg.de/logic/cie2009/
CFP: AISB 2009 Symposium: Killer robots or friendly fridges: the social understanding of Artificial Intelligence - deadline extension (DEADLINE: 19:01:2009)
more details: http://www.macs.hw.ac.uk/~ruth/krff.html
CFP: CALCULEMUS 2009 (DEADLINE: 13:02:2009)
more details: http://www.calculemus.net/meetings/ontario09/
NODALIDA 2009: Final CALL FOR PAPERS (DEADLINE: 12:01:2009)
more details: http://beta.visl.sdu.dk/nodalida2009/
CFP: Declarative Agent Languages and Technologies (DALT 2009) (DEADLINE: 25:01:2009)
more details: http://www.di.unito.it/~baldoni/DALT-2009/
CFP: 6th workshop on "Methods for Modalities" (M4M-6) (DEADLINE: 24:08:2009)
more details: http://m4m.loria.fr/M4M6
CFP: International Conference on Logic Programming (ICLP 2009 (DEADLINE: 27:02:2009)
more details: http://www.ist.unomaha.edu/iclp2009/
Final CFP: AIED 2009 - 14th International Conference on Artificial Intelligence in Education (DEADLINE: 15:01:2009)
more details: http://www.aied2009.com
Final CF Demonstrations: AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS AAMAS-09 (DEADLINE: 12:01:2009)
more details: http://www.conferences.hu/AAMAS2009/
CFP: Human-Robot Personal Relationships (DEADLINE: 28:02:2009)
2nd CFP: WWV 2009 Automated Specification and Verification of Web Systems (DEADLINE: 02:02:2009)
more details: http://www.risc.uni-linz.ac.at/conferences/wwv09/
CFP: ISWC'09 Int Symposium on Wearable Computer (DEADLINE: 01:02:2009)
more details: www.iswc.net
Final CFP: Symposium on Persuasive Technology and Digital Behaviour Intervention (DEADLINE: 26:01:2009)
more details: www.csd.abdn.ac.uk/~jmasthof/Persuasive09/
CFP LSIR-2: "Logic and the Simulation of Interaction and Reasoning" (DEADLINE: 06:03:2009)
more details: http://www.illc.uva.nl/GLoRiClass/index.php?page=8_2
CFP: International Symposium on Intelligent Distributed Computing (IDC 2009) (DEADLINE: 03:04:2009)
more details: http://www.idc2009.cs.ucy.ac.cy
2nd CFP CASA 2009: Computer Animation & Social Agents (DEADLINE: 10:02:2009)
more details: http://hmi.ewi.utwente.nl/CASA09
2nd Call for Papers INTETAIN 2009: Playful Interaction (DEADLINE: 16:02:2009)
more details: http://intetain.org/
Final CFP (extended deadline) - AISB Symposium on persuasive technology and digital behaviour intervention (DEADLINE: 26:01:2009)
more details: www.csd.abdn.ac.uk/~jmasthof/Persuasive09/
International Conference on Logic Programming, ICLP'09 Doctoral Consortium (DEADLINE: 10:04:2009)
more details: http://www.cs.kuleuven.be/~toms/DC2009/
CFP: 7th International Workshop on Agent-based Computing for Enterprise Collaboration (ACEC) (DEADLINE: 20:02:2009)
more details: http://wetice.org/workshops.php
CFP: CMNA IX - COMPUTATIONAL MODELS OF NATURAL ARGUMENT (DEADLINE: 06:03:2009)
more details: http://www.cmna.info/CMNA9/
CFP: International Conference on Knowledge-Based and Intelligent Information & Engineering Systems KES2009 (DEADLINE: 01:03:2009)
more details: http://kes2009.kesinternational.org
Call for Satellite Events: ETAPS 2010 - European Joint Conferences on Theory And Practice of Software (DEADLINE: 10:02:2009)
CFP: NeSy09, 5th Workshop on Neural-Symbolic Learning and Reasoning (DEADLINE: 07:04:2009)
more details: http://www.neural-symbolic.org/NeSy09/
CFP: TAMC 2009 Theory and Applications of Models of Computation (DEADLINE: 01:02:2009)
more details: http://netlab.csu.edu.cn/TAMC09/
CFP: CALCO'09 (3rd Conference on Algebra and Coalgebra in Computer Science) (DEADLINE: 02:02:2009)
more details: http://www.dimi.uniud.it/calco09/
CFP: HyLo 2009: Hybrid Logic (DEADLINE: 01:03:2009)
more details: http://hylo.loria.fr/content/Hylo09
CFP: INTELLIGENT INFORMATION SYSTEMS 2009 - IIS 2009 (DEADLINE: 16:02:2009)
more details: http://iis.ipipan.waw.pl/
2nd CFP: Workshop on Logic, Language, Information and Computation WoLLIC 2009 (DEADLINE: 28:02:2009)
more details: www. wollic.org/wollic2009/
ARCOE-09 Second Call for Participation (DEADLINE: 06:03:2009)
more details: http://km.aifb.uni-karlsruhe.de/ws/ARCOE-09
CF Participation: BCS Symposium on Knowledge Discovery and Data Mining
more details: www.cse.salford.ac.uk/kdd
CFP: AAMAS 09 Workshop on Empathic Agents (DEADLINE: 12:02:2009)
more details: http://gaips.inesc-id.pt/aamas09-ea/
CFP: RTA'09: deadline for abstracts extended (DEADLINE: 30:01:2009)
more details: http://rdp09.cic.unb.br/rta.html
AAMAS-09: Final Call for Doctoral Mentoring Program (DEADLINE: 31:01:2009)
more details: http://www.conferences.hu/AAMAS2009/
CFP : SIAAS-09 - The 2nd Swarm Intelligence Algorithms and Applications Symposium - extended deadline (DEADLINE: 31:01:2009)
more details: http://aladdin-ayesh.info/SpecialSessions/SIAAS-09.html
CFP: Symposium on Behaviour Regulation in Multi-Agent Systems - extended deadline (DEADLINE: 31:01:2009)
more details: http://www.dcs.kcl.ac.uk/staff/oren/aisb09
CFP: AMSS-fEtR'09 - The 1st Affect Mental States Symposium: From Emotion to Reason Symposium - extended deadline (DEADLINE: 31:01:2009)
more details: http://aladdin-ayesh.info/SpecialSessions/AMSS-fEtR09.html
CFP: Algebraic Biology 2009 (DEADLINE: 01:02:2009)
more details: http://www.abs-center.org/ab2009/
ESSLLI Student Session - Final call (DEADLINE: 14:02:2009)
more details: http://www.stanford.edu/~icard/esslli/call
CFP: Intelligent Systems & Knowledge Engineering (ISKE2009) (DEADLINE: 15:04:2009)
more details: http://iske2009.uhasselt.be
CFP: Intelligent Virtual Agents (IVA'09) (DEADLINE: 17:04:2009)
more details: http://iva09.dfki.de
ICLP 2009: Call for workshop proposals (DEADLINE: 09:02:2009)
more details: http://www.ist.unomaha.edu/iclp2009/
CFP: Advanced Data Mining and Applications ADMA 2009 (DEADLINE: 13:04:2009)
more details: http://www.adma2009.org
CFP: International Conference on Artificial Neural Networks (ICANN 2009) (DEADLINE: 01:02:2009)
more details: http://www.kios.org.cy/ICANN09
Call for Special Sessions: MINES 2009 - Multimedia Information Networking and Security (DEADLINE: 01:03:2009)
more details: http://liss.whu.edu.cn/mines2009/
CFP: Austrian Association for Pattern Recognition (OAGM/AAPR (DEADLINE: 15:02:2009)
more details: http://oagm2009.icg.tugraz.at
AISB Symposium - PERSIST Workshop on Intelligent Pervasive Environments (DEADLINE: 07:02:2009)
more details: http://www.macs.hw.ac.uk/~ceeep1/PersistWorkshopAISB09/
Announcement: Researching and Applying Metaphor (RaAM) 2009 Workshop (DEADLINE: 15:03:2009)
more details: http://www.raam.org.uk/Home.html
CFP: Systems, Man, and Cybernetics (IEEE SMC 2009) (DEADLINE: 01:02:2009)
more details: http://www.smc2009.org
CFP: International Conference on Development and Learning (ICDL2009) - deadlines close (DEADLINE: 08:02:2009)
more details: http://www.icdl09.org/
CFP: PERSPECTIVES OF SYSTEM INFORMATICS (DEADLINE: 08:02:2009)
more details: http://psi.nsc.ru/psi09/index.shtml
CFP: User-Centred Design and Evaluation of Adaptive Systems workshop (DEADLINE: 30:03:2009)
more details: http://www.easy-hub.org/hub/workshops/umap2009/
Last CFP: WWV 2009 (DEADLINE: 02:02:2009)
more details: http://www.risc.uni-linz.ac.at/conferences/wwv09/
Final CFP: SIAAS-09 - The 2nd Swarm Intelligence Algorithms and Applications Symposium (DEADLINE: 31:01:2009)
more details: http://aladdin-ayesh.info/SpecialSessions/SIAAS-09.html
Final CFP: AMSS-fEtR'09 - The 1st Affect Mental States Symposium: From Emotion to Reason Symposium (DEADLINE: 31:01:2009)
more details: http://aladdin-ayesh.info/SpecialSessions/AMSS-fEtR09.html
CADE-22 last call for papers (DEADLINE: 23:02:2009)
more details: http://complogic.cs.mcgill.ca/cade22/
CFP: IJCAI-09 Workshop on Cross-Media Information Access and Mining (DEADLINE: 13:03:2009)
more details: http://www.cs.kuleuven.be/~liir/conferences/CIAM2009/
Opportunities Bulletin
Subscribe to opportunities bulletin.
PhD positions in ICT on Formal Verification via SMT available in Trento
PhD Positions on Ontology Reasoning and Next-generation Internet (DEADLINE: 27:01:2009)
more details: http://projectnets.cs.st-andrews.ac.uk/sga/
EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC (DEADLINE: 10:02:2009)
more details: http://www.computational-logic.eu
AISB Student Travel Awards
more details: http://www.aisb.org.uk/treasurer/travelawards.shtml
Job Opportunity: Research Fellow on EU Cognitive Robotics Project (DEADLINE: 06:02:2009)
more details: http://snipurl.com/cogx-rf-09-1
Computer Vision Research Engineer in Human Screening/Recognition (DEADLINE: 30:01:2009)
more details: http://www.dcs.qmul.ac.uk/staff/recruit/
PhD Studentship: Semantic Distance Learning For Face/Person Recognition
PhD studentship at Liverpool, UK
AI video competition (DEADLINE: 15:03:2009)
more details: http://www.aisb.org.uk/publicunderstanding/video_competition.shtml
Job Opportunity: Research Fellow on EU Cognitive Robotics Project, University of Birmingham, UK (DEADLINE: 06:02:2009)
more details: http://snipurl.com/cogx-rf-09-1
Summer School in Cognitive Science 2009
more details: http://nbu.bg/cogs/events/ss2009.html
PhD student scholarship in "Language and Cognition", Bielefeld (Germany) (DEADLINE: 28:02:2009)
more details: www.cit-ec.de
Miscellaneous Bulletin
Subscribe to miscellaneous bulletin.
CFP: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge (DEADLINE: 26:01:2009)
more details: http://www.dfki.de/~serge/admmk09
CFP: Special Issue of JMUI: Real-Time Affect Analysis and Interpretation: Closing the Affective Loop in Virtual Agents and Robots (DEADLINE: 06:04:2009)
more details: http://www.jmui.org
CF Nominations: 2009 IFAAMAS Award for Influential Papers in Agents and Multiagent Systems (DEADLINE: 04:02:2009)
Winner of 2008 UMUAI best paper award
more details: http://dx.doi.org/10.1007/s11257-008-9051-3
Announcement - new book:Data Mining and Medical Knowledge Management: Cases and Applications
more details: http://www.igi-global.com/reference/details.asp?id=33153
New Intelligent Tutoring Systems Book
2nd CfP: JSC Special Issue on Symbolic Computation in Software Science (DEADLINE: 23:03:2009)
more details: http://www.risc.uni-linz.ac.at/people/tkutsia/jsc-scss.html
2nd CFP: EURASIP JIVP, Special Issue on Image and Video Processing for Cultural Heritage (DEADLINE: 01:02:2009)
more details: http://www.hindawi.com/journals/ivp/
International Journal of Digital Multimedia Broadcasting: Special Issue on Advances in 3DTV: Theory and Practice (DEADLINE: 01:05:2009)
more details: http://www.hindawi.com/journals/ivp/
Announcement: Encyclopedia of Artificial Intelligence
Call for IFAAMAS-08 Victor Lesser Distinguished Dissertation Award nominations (DEADLINE: 13:02:2009)
CFP: JOURNAL OF AMBIENT INTELLIGENCE AND SMART ENVIRONMENTS
more details: www.iospress.nl/loadtop/load.php?isbn=18761364
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.
