Jens Knoop
Institut für Computersprachen
Programmiersprachen und Übersetzer

News on Selected Upcoming Events...

...I am currently involved in as a PC member, organizer, etc. Check out, submit a paper, and attend!  

Last Update: June 29, 2009

Last Update: December 6, 2008

Last Update: June 29, 2009

3rd International Conference on
Software Testing, Verification and Validation

ICST 2010


ICST Image

Sponsored by IEEE, IEEE Computer Society, and other organizations.

IEEE Logo         IEEE CS Logo

(Paris, France, April 6 - 9, 2010)

16th International Symposium on
Formal Methods

FM 2009


FM 2009 Logo

FME Logo

(Eindhoven, the Netherlands, November 2 - 6, 2009)

11th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing

SYNASC 2009


(Timisoara, Romania, September 26 - 29, 2009)


Selected Other Events...

...I am or I was involved in as a PC member, organizer, etc.

Complang
Knoop
   Events
      Past Events
   Teaching/Lehre
   Research Interests
   Publications
   Professional Activities
   Memberships
   Selected CFPs
   Useful Links
Sitemap
Home Page
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2014-05-04 (Knoop)