Notice

Weekly Bulletin

AISB Weekly Bulletin Items for May 2008

Event Bulletin

Subscribe to event bulletin.

Kurt Gödel Colloquium 2008 Announcement
more details: http://kgs.logic.at/goedel-fellowship/index.php?colloquium

CF Participation: Workshop "Multimodal Corpora" at LREC 2008
more details: http://www.lrec-conf.org/lrec2008/

CFP: 2008 Workshop on Automated Reasoning (DEADLINE: 13:06:2008)
more details: http://events.cs.bham.ac.uk/cicm08/workshops/arw/

CFP: SNSC'08 Symbolic and Numerical Scientific Computing (DEADLINE: 15:05:2008)
more details: http://www.sfb013.uni-linz.ac.at/snsc08

CFP: Belgian-Dutch Conference on Artificial Intelligence BNAIC 2008 (DEADLINE: 18:06:2008)
more details: http://hmi.ewi.utwente.nl/bnaic2008

CF Participation: Workshop on Logic, Language, Information and Computation WoLLIC 2008 (DEADLINE: 09:09:2008)
more details: http://wollic.org/wollic2008/

CFP: NordSec 2008: Nordic Workshop on Secure IT Systems (DEADLINE: 23:07:2008)
more details: http://lbt.imm.dtu.dk/nsd08/nordsec08/

CFP: Applications of Digital Information and Web Technologies (ICADIWT 2008) (DEADLINE: 05:05:2008)
more details: http://www.dirf.org/diwt2008

CFP: Formal Methods in Computer-Aided Design FMCAD 2008 (DEADLINE: 12:05:2008)
more details: http://fmcad.org/2008

CFP: Automated Technology for Verification and Analysis ATVA 2008 - extended deadline (DEADLINE: 12:05:2008)
more details: http://pswlab.kaist.ac.kr/atva2008

Bertinoro International Summer School of Natural Computation - BNC 2008 (DEADLINE: 16:05:2008)
more details: http://www.dmi.unict.it/~bnc/index.html

CFP: CEDAR'08 - Workshop on Complexity, Expressibility and Decidability in Automated Reasoning (DEADLINE: 19:05:2008)
more details: http://www.mpi-inf.mpg.de/~sofronie/cedar08.html

UNIF'08: - Extended submission deadline (DEADLINE: 05:05:2008)
more details: http://www.score.cs.tsukuba.ac.jp/~mmarin/UNIF2008/

CF Participation: International Joint Conference on Automated Reasoning IJCAR 2008 (DEADLINE: 07:05:2008)
more details: http://2008.IJCAR.org

CFP: Towards Digital Mathematics Library (DML 2008) (DEADLINE: 31:05:2008)
more details: http://www.fi.muni.cz/~sojka/dml-2008.xhtml

CFP: IEEE Asia-Pacific Services Computing Conference (DEADLINE: 15:06:2008)
more details: http://apscc2008.csie.chu.edu.tw/

CF participation: ICALP 2008 Automata, Languages and Programming
more details: http://www.ru.is/icalp08

CFP:The 2nd KDD workshop on on Mining Multiple Information Sources (MMIS-08) (DEADLINE: 30:05:2008)
more details: http://www.cse.fau.edu/~xqzhu/mmis/kdd08_mmis.html

CFP: International Conference on Logic Programming ICLP 08 (DEADLINE: 02:06:2008)
more details: http://iclp08.dimi.uniud.it

CFP: IJCAR'08 Workshop on Practical Aspects of Automated Reasoning (DEADLINE: 27:05:2008)
more details: http://www.eprover.org/EVENTS/PAAR-2008/paar-2008.html

CFP: ECML-PKDD-08 Workshop: From Local Patterns to Global Models (DEADLINE: 16:06:2008)
more details: http://www.ke.informatik.tu-darmstadt.de/events/LeGo-08/

CFP: Self-adaptive and Self-organizing Systems - SASO 2008 (DEADLINE: 12:05:2008)
more details: www.saso-conference.org

SUMMER SCHOOL NN2008 - NEURAL NETWORKS (DEADLINE: 18:05:2008)
more details: http://www.nn.isep.ipp.pt

CF Participation: International Summer School of Functional Genomics (DEADLINE: 20:05:2008)
more details: http://www.functional-genomics.it/school

Final Call: AI-2008 Cambridge (DEADLINE: 02:06:2008)
more details: http://www.bcs-sgai.org/ai2008/

CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08 (DEADLINE: 29:08:2008)
more details: http://community.ise.canberra.edu.au/conference/cimca08/

Registration available - ISSAC 2008 (DEADLINE: 09:09:2008)
more details: http://www.risc.uni-linz.ac.at/issac2008/

CF Symposia: AISB '09 (DEADLINE: 30:06:2008)
more details: http://www.aisb.org.uk/convention/aisb09

CFP: CFP: IROS Workshop on: "Current software frameworks in cognitive robotics integrating different computational paradigms" (DEADLINE: 20:06:2008)
more details: http://users.aber.ac.uk/msh/WS08/

CFP: SASO 2008 - deadline extended (DEADLINE: 19:05:2008)
more details: www.saso-conference.org

CFP: Formal Methods in Computer-Aided Design FMCAD 2008 - deadline extension (DEADLINE: 19:05:2008)
more details: http://fmcad.org/2008

CFP: User Interfaces for Theorem Provers UITP'08 - deadline extension (DEADLINE: 25:05:2008)
more details: http://www.ags.uni-sb.de/~omega/workshops/UITP08/

CF Participation: Computer Security Foundations Symposium (CSF) 2008 (DEADLINE: 01:06:2008)
more details: http://www.cylab.cmu.edu/CSF2008/

Final CF Participation: Fifth European Semantic Web Conference (DEADLINE: 25:05:2008)
more details: http://www.eswc2008.org/

CF Application Papers: ICLP'08 (DEADLINE: 02:06:2008)
more details: http://iclp08.dimi.uniud.it

CF Participation: Computer Aided Verification CAV 2008 (DEADLINE: 25:05:2008)
more details: http://www.princeton.edu/cav2008

CFP: 7th European Conference on e-Learning (ECEL 2008) (DEADLINE: 22:05:2008)
more details: http://www.academic-conferences.org/ecel/ecel2008/ecel08-home.htm

CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08 (DEADLINE: 29:08:2008)
more details: http://community.ise.canberra.edu.au/conference/cimca08/

CfP: IJCAR08 Workshop --- Combining Systems for Efficient and Scalable Reasoning (DEADLINE: 31:05:2008)
more details: http://www.dfki.de/cosyscare/

CF Participation: 3DPVT: 3D Data Processing, Visualization and Transmission (DEADLINE: 21:05:2008)
more details: http://3dpvt.org

ITS 2008 - Hotel Reservations needed before May 22nd (DEADLINE: 22:05:2008)
more details: http://gdac.dinfo.uqam.ca/its2008/

CFP: International Workshop on Faces in Real-Life Images (DEADLINE: 23:07:2008)
more details: website: https://www.cs.umass.edu/~elm/realfaces

CFP: Ibero-American Conference on Artificial Intelligence IBERAMIA 2008 (DEADLINE: 26:05:2008)
more details: http://www.adetti.pt/events/IBERAMIA2008

CFP: DEADLINE EXTENDED: VERIFY'08 - 5th International Verification Workshop (DEADLINE: 29:05:2008)
more details: http://www.uni-koblenz.de/~beckert/verify08/

CFP: AICS 2008: 19th Irish Conference on Artificial Intelligence and Cognitive Science (DEADLINE: 13:06:2008)
more details: http://www.cs.ucc.ie/aics08/

1st Call: BCS Machine Intelligence Competition 2008 (DEADLINE: 01:10:2008)
more details: http://www.bcs-sgai.org/micomp/

CF Participation: European Conference on Object-Oriented Programming ECOOP 2008 (DEADLINE: 01:06:2008)
more details: http://2008.ecoop.org

2nd CfP: Cognitive Models in Human Spatial Reasoning (DEADLINE: 01:06:2008)
more details: http://conference.spatial-cognition.de/sc08/workshops/WS-2

ANNOUNCEMENT: European Conference on Genetic Programming, EUROGP 2009 (DEADLINE: 05:11:2008)
more details: http://www.evostar.org

CFP2: DML 2008--Towards Digital Mathematics Library (DEADLINE: 31:05:2008)
more details: http://www.fi.muni.cz/~sojka/dml-2008.xhtml

CFP: Workshop - AFFINE – Affective Interaction in Natural Environments (DEADLINE: 07:07:2008)
more details: http://www.dcs.qmul.ac.uk/research/vision/AFFINE/AFFINE.html

CFP: 3rd International Workshop on Nature Inspired Cooperative Strategies for Optimization NICSO 2008 (DEADLINE: 01:09:2008)
more details: http://www.gci.org.es/nicso2008

CFP: Knowledge Representation Ontology Workshop (KROW 2008) (DEADLINE: 01:06:2008)
more details: http://www.cse.unsw.edu.au/~kr2008/krow.html

CFP: Logic for Programming, Artificial Intelligence and Reasoning LPAR'08 (DEADLINE: 26:05:2008)
more details: http://www.qatar.cmu.edu/lpar08

CFP: Gathering of Animated Lifelike Agents GALA 2008 (DEADLINE: 01:06:2008)
more details: http://hmi.ewi.utwente.nl/gala/

CFP: ACM SAC-DS 2009 - Data Streams Track (DEADLINE: 16:08:2008)
more details: http://www.liaad.up.pt/~jgama/SAC09/

CFP: ACM SAC 09 Software Verification and Testing Track (DEADLINE: 09:09:2008)
more details: http://www-sop.inria.fr/everest/Tamara.Rezk/SAC-SVT-09

2nd CFP: Facial and Bodily Expressions for Control and Adaptation of Games (ECAG '08), Amsterdam (DEADLINE: 15:06:2008)
more details: http://hmi.ewi.utwente.nl/conference/ECAG08

Call for participation in the 2008 ACP Summer School - Modelling with Constraints: Theory and Practice
more details: http://www-circa.mcs.st-and.ac.uk/cpss2008/

CFP: 2nd Int Workshop on Human Aspects in Ambient Intelligence (DEADLINE: 30:07:2008)
more details: http://www.few.vu.nl/~treur/HAI08wsCfP.htm

CFP: ISSPIT 2008 International Symposium on Signal Processing and Information Technology (DEADLINE: 31:07:2008)
more details: http://www.isspit.org

ICLP'08 CALL FOR WORKSHOP PROPOSALS (DEADLINE: 02:06:2008)
more details: http://iclp08.dimi.uniud.it/

Final CFP: Programming Language Interference and Dependence PLID 2008 (DEADLINE: 01:06:2008)
more details: http://www.clip.dia.fi.upm.es/Conferences/PLID08

Call for submissions - Workshop of Spatial Language and Context (part of Spatial Cogniiton 2008) (DEADLINE: 31:05:2008)
more details: http://conference.spatial-cognition.de/sc08/

CFP: Analysis and Visualization of biomedical Visual Data (DEADLINE: 21:07:2008)
more details: http://www.isvc.net

Alan Bundy symposium - a celebration
more details: http://dream.inf.ed.ac.uk/events/bundy-symposium/

CFP: International Computer Ethics Conference - CEPE 2009 (DEADLINE: 10:11:2008)
more details: http://cepe2009.ionio.gr/index.php

CFP: ACM MindTrek 2008 (DEADLINE: 08:06:2008)
more details: http://www.mindtrek.org, http://www.mindtrek.org/cfp

Opportunities Bulletin

Subscribe to opportunities bulletin.

Post-Doctoral position in Computer Vision,University Paris Descartes

Research Engineer position in 3D video analysis at Telefonica R&D

Two PhD studentships in Computer Science, Heriot-Watt University (DEADLINE: 20:06:2008)
more details: http://www.macs.hw.ac.uk/cs/resareas/index.htm

Ph.D Grant at the Montpellier Informatics Laboratory (LIRMM) (DEADLINE: 30:05:2008)

RA Post in Cognitive Vision at University of Reading (DEADLINE: 23:05:2008)
more details: www.reading.ac.uk/Jobs

Postdoc position in medical image analysis, UPenn

JOB: Post-Doc and PhD Positions in Visual SLAM at Imperial College London (DEADLINE: 08:06:2008)
more details: http://www.doc.ic.ac.uk/~ajd/

Post Doctoral Position and Studentship, School of Engineering, U of Warwick

Internship at MirriAd: Image Processing - Computer Vision
more details: http://www.mirriad.com

Postdoc position in NL Generation, Nancy, France (DEADLINE: 30:05:2008)
more details: http://www.inria.fr/travailler/opportunites/postdoc/postdoc.en.html

LECTURER in HUMAN-COMPUTER INTERACTION, UCL (DEADLINE: 20:06:2008)

Postdoc in Computer Vision based Augmented Reality, National University of Ireland, Maynooth

Miscellaneous Bulletin

Subscribe to miscellaneous bulletin.

CFP: Special issue of Journal of Scheduling (DEADLINE: 15:06:2008)
more details: http://kti.mff.cuni.cz/~bartak/JOSH2008/

CFP: IJPRAI special issue - Video Analysis and Understanding for Surveillance Applications (DEADLINE: 01:06:2008)
more details: http://www-staff.it.uts.edu.au/~wuq/CFP/SI_VAUSA.htm

Call for Chapter: Handbook of Research on Computational Forensics, Digital Crime and Investigation: Methods and Solutions (DEADLINE: 30:06:2008)

CFP: Special issue of "Signal Processing" on "Processing and Analysis of High-Dimensional Masses of Image and Signal Data" (DEADLINE: 31:10:2008)
more details: http://www.elsevierscitech.com/rss/pdfs/cfp_sigpro_hdmasses.pdf


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