Notice

Weekly Bulletin

AISB Weekly Bulletin Items for March 2010

Event Bulletin

Subscribe to 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

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