Event: VMCAI 2005: 6th International Conference on Verification, Model Checking, and Abstract Interpretation
Host Organization: Association of Computing Machinery (ACM)
Date: Monday, January 17 - Wednesday, January 19
Location: Paris, France
Event Webpage: www.polytechnique.fr/vmcai05
Event Program: www.polytechnique.fr/vmcai05/program.html
Host Website: www.acm.org
Contacts: Radhia Cousot@polytechnique.fr

Event: Asia South Pacific Design Automation Conference
Host Organization: Chinese Institute of Electronics (CIE)
Date: Tuesday, January 18 - Friday, January 21
Location: Shanghai, China
Event Webpage: www.aspdac2005.com
Event Program: www.aspdac2005.com/eng/keynote/key.htm
Host Website: www.cie-china.org
Contacts: hhyu@fudan.edu.cn, +86-21-65643761

Event: Biometrics In Every-Day Applications 2005
Host Organization: Association of Computing Machinery (ACM)
Date: Wednesday, January 19 & Thursday, January 20
Location: Brussels, Belgium
Event Webpage: campus.acm.org/calendar, www.biosec.org
Event Program: N/A
Host Website: www.acm.org
Contacts: N/A

Event: The Second Annual Conference on Wireless On demand Network Systems and Services
Host Organization: International Communication Sciences and Technology Association
Date: Wednesday, January 19 - Tuesday, January 25
Location: Saint Moritz, Switzerland
Event Webpage: www.wonss.org
Event Program: www.wonss.org/techprog.html
Host Website: www.icst.org
Contacts: karen@icst.org, +1 (972)-824-4776

Event: SOFSEM 2005 31st Annual Conference on Current Trends in Theory and Practice of Informatics
Host Organization: Slovak Society for Computer Science
Date: Saturday, January 22 - Friday, January 28
Location: Liptovsky Jan, Slovak Republic
Event Webpage: www.sofsem.sk
Event Program: www.sofsem.sk/topics.html
Host Website: www.ifip.or.at/members/slovakia.htm
Contacts: sofsem@informatika.sk, +421 2 602 95 158