TP II TAP: Tests And Proofs 2008
Second International Conference 		Prato, Italy
KOBLENZ-LANDAU CHALMERS ETH
  TAP 2008

» JAR Special Issue

» Overview

» Committees

» Invited Speakers

» Program

» Detailed Program

» Tutorials

» Submission

» Important Dates

» Call for Papers:
txt - pdf (conference)
txt - pdf (special issue)

» Registration

» Venue

» Contact

» Last year's conference:
TAP 2007

» Related Event:
MBT 2008

 
  
Contact
 		Pinselstrich rechts
Pinselstrich links

  

  

Postal Address of the University Koblenz-Landau

University of Koblenz
Department of Computer Science
AI Research Group
Universitätsstraße 1
D-56070 Koblenz,
Germany

Postal Address of the Chalmers University of Technology

Chalmers University of Technology
Department of Computer Science and Engineering
SE-412 96 Göteborg
Sweden

Email / Phone / Fax

Email: tap2008@uni-koblenz.de
Phone: ++49 (0)261 287-2775, -2730 (Secr.)
Fax: ++49 (0)261 287-2731