Jens Knoop
Institut für Computersprachen
Programmiersprachen und Übersetzer

Selected Other Events...

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

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)


4. Arbeitstagung
Programmiersprachen

ATPS 2009


(Lübeck, Germany, October 1, 2009)

In conjunction with
INFORMATIK 2009 - Im Focus das Leben

Informatik 2009 Logo   

GI Logo

(Lübeck, Germany, September 28 - October 2, 2009)

 


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

SYNASC 2009


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


ACM SIGPLAN 2009
Conference on
Programming Language Design and Implementation

PLDI 2009

ACM Logo

(Trinity College Dublin, Ireland, June 15 - 20, 2009)


23rd International ACM SIGARCH 2009
Conference on
Super Computing

ICS 2009

ICS 2009 Logo

ACM Logo

(Metro New York City Area, USA, June 9 - 11, 2009)


2nd International Workshop on
Invariant Generation

WING 2009


(York, England, March 22 - 23, 2009)

In conjunction with the
12th European Joint Conferences on Theory and Practice of Software
ETAPS 2009

ETAPS 2009 Logo

(York, England, March 22 - 29, 2009)


8th International Workshop on
Compiler Optimization Meets Compiler Verification

COCV 2009


(York, England, March 23, 2009)

In conjunction with the
12th European Joint Conferences on Theory and Practice of Software
ETAPS 2009

ETAPS 2009 Logo

(York, England, March 22 - 29, 2009)


Workshop on
Coordination in Complex Software Intensive Systems

COCOSS 2009


(Fukuoka Institute of Technology (FIT), Japan, March 16 - 19, 2009) In conjunction with the
3rd International Conference on Complex, Intelligent and Software Intensive Systems
CISIS 2009

CISIS 2009 Logo

(Fukuoka Institute of Technology (FIT), Japan, March 16 - 19, 2009)


3rd International Symposium on
Leveraging Applications of Formal Methods, Verification, and Validation

ISoLA 2008


ISoLA 2008 Logo

(Porto Sani, Kassandra, Greece, October 13 - 15, 2008)

Endorsed by IFIP, EASST, and other organizations.

 


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

SYNASC 2008


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


6th IEEE International Conference on
Software Engineering Research, Management and Applications

SERA 2008


ACIS Logo

(Prague, Czech Republic, August 20 - 22, 2008)


7th International Workshop on
Compiler Optimization Meets Compiler Verification

COCV 2008


(Budapest, Hungary, April 5, 2008)

In conjunction with the
11th European Joint Conferences on Theory and Practice of Software
ETAPS 2008

ETAPS 2008 Logo

(Budapest, Hungary, March 29 - April 6, 2008)


11th International Conference on
Tools and Algorithms for the Construction

TACAS 2008


(Budapest, Hungary, March 31 - April 3, 2008)

Member Conference of the
11th European Joint Conferences on Theory and Practice of Software
ETAPS 2008

ETAPS 2008 Logo

(Budapest, Hungary, March 29 - April 6, 2008)


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

SYNASC 2007


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


16th IEEE CS TCPP/TCAA / ACM SIGARCH / IFIP WG 10.3 International Conference on
Parallel Architectures and Compilation Techniques

PACT 2007


PACT 2007 Logo
    IEEE CS Logo     ACM Logo     IFIP Logo

(Brasov, Romania, September 15 - 19, 2007)


11th
Static Analysis Symposium

SAS 2007

(Kongens Lyngby, Denmark, August 22 - 24, 2007)


5th International Conference in Central Europe on
Object-Oriented Technologies

OOT 2007


OOT 2007 Logo

(Plzen, Czech Republic, May 28 - 31, 2007)


6th International Workshop on
Compiler Optimization Meets Compiler Verification

COCV 2007


(Braga, Portugal, March 25, 2007)

In conjunction with the
10th European Joint Conferences on Theory and Practice of Software
ETAPS 2007

ETAPS 2007 Logo

(Braga, Portugal, March 24 - April 1, 2007)


5th Annual IEEE CS TC-uARCH/ACM SIGMICRO/SIGPLAN International Symposium on
Code Generation and Optimization

CGO 2007


CGO 2007 Logo     ACM Logo

(San Jose, CA, March 11 - 14, 2007)


2nd International Symposium on
Leveraging Applications of Formal Methods, Verification, and Validation

ISoLA 2006


Cyprus Logo

(Paphos, Cyprus, November 15 - 19, 2006)

In co-operation with IEEE, IEEE Computer Society Technical Committee on Complexity in Computing (TCCC), IFIP, EASST, and other organizations.

 


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

SYNASC 2006


SYNASC 2006 Logo

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


15th IEEE CS TCPP/TCAA / ACM SIGARCH / IFIP WG 10.3 International Conference on
Parallel Architectures and Compilation Techniques

PACT 2006


PACT 2006 Logo
    IEEE CS Logo     ACM Logo     IFIP Logo

(Seattle, USA, September 16 - 20, 2006)


7th International
Joint Modular Languages Conference

JMLC 2006


JMLC 2006 Picture

(Oxford, England, September 12 - 15, 2006)


4th International Conference in Central Europe on
.NET Technologies

.NET Technologies 2006


.NET Technologies 2006 Logo

(Plzen, Czech Republic, May 29 - June 1, 2006)


9th European Joint Conferences on
Theory and Practice of Software

ETAPS 2006

ETAPS 2006 Logo

(Vienna, Austria, March 25 - April 2, 2006)


15th International Conference on
Compiler Construction

CC 2006


(Vienna, Austria, March 30 - 31, 2006)

Member Conference of the
9th European Joint Conferences on Theory and Practice of Software
ETAPS 2006

ETAPS 2006 Logo

(Vienna, Austria, March 25 - April 2, 2006)


1st International EASST-EU Workshop on
Future Research Challenges for Software and Services

FRCSS 2006


(Vienna, Austria, April 1, 2006)

In conjunction with the
9th European Joint Conferences on Theory and Practice of Software
ETAPS 2006

ETAPS 2006 Logo     ACM Logo

(Vienna, Austria, March 25 - April 2, 2006)


5th International Workshop on
Compiler Optimization Meets Compiler Verification

COCV 2006


(Vienna, Austria, April 2, 2006)

In conjunction with the
9th European Joint Conferences on Theory and Practice of Software
ETAPS 2006

ETAPS 2006 Logo

(Vienna, Austria, March 25 - April 2, 2006)


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

SYNASC 2005


SYNASC 2005 Logo

(Timisoara, Romania, September 25 - 29, 2005)


Dagstuhl Seminar 05311 on
Verifying Optimizing Compilers

Seminar Nº 05311


Dagstuhl Logo

(Schloß Dagstuhl, Germany, July 31 - August 5, 2005)


11th International Conference on
Tools and Algorithms for the Construction
and Analysis of Systems

TACAS 2005


(Edinburgh, Scotland, April 4 - 8, 2005)

Member Conference of the
8th European Joint Conferences on Theory and Practice of Software
ETAPS 2005

ETAPS 2005 Logo

(Edinburgh, Scotland, April 2 - 10, 2005)


5th International Workshop on
Language Descriptions, Tools and Applications

LDTA 2005


(Edinburgh, Scotland, April 3, 2005)

In co-operation with ACM SIGPLAN.
In conjunction with the
7th European Joint Conferences on Theory and Practice of Software
ETAPS 2005

ETAPS 2005 Logo    ACM Logo

(Edinburgh, Scotland, April 2 - 10, 2005)


4th International Workshop on
Compiler Optimization Meets Compiler Verification

COCV 2005


(Edinburgh, Scotland, April 3, 2005)

In conjunction with the
8th European Joint Conferences on Theory and Practice of Software
ETAPS 2005

ETAPS 2005 Logo

(Edinburgh, Scotland, April 2 - 10, 2005)


Dagstuhl Seminar 05101 on
Scheduling for Parallel Architectures: Theory, Applications, Challenges

Seminar Nº 05101


Dagstuhl Logo

(Schloß Dagstuhl, Germany, March 6 - 11, 2005)


43rd Meeting of the IFIP Working Group 2.4
Software Implementation Technology

IFIP WG 2.4's Jan'05 Conference


IFIP Logo

(Baden near Vienna, January 3 - 7, 2005)


1st International Symposium on
Leveraging Applications of Formal Methods

ISoLA 2004


Cyprus Logo

(Paphos, Cyprus, October 30 - November 1, 2004)

In co-operation with IEEE, IFIP, EASST, and other organizations.

 


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

SYNASC 2004


SYNASC 2004 Logo

(Timisoara, Romania, September 26 - 30, 2004)


3. Arbeitstagung
Programmiersprachen

ATPS 2004


(Ulm, Germany, September 24, 2004)

In conjunction with
INFORMATIK 2004 - Informatik verbindet

Informatik 2004 Logo   

GI Logo

(Ulm, Germany, September 22 - 24, 2004)

 


11th
Static Analysis Symposium

SAS 2004

Opera Verona

(Verona, Italy, August 23 - 28, 2004)


4th International Workshop on
Language Descriptions, Tools and Applications

LDTA 2004


(Barcelona, Spain, April 3, 2004)

In co-operation with ACM SIGPLAN.
In conjunction with the
7th European Joint Conferences on Theory and Practice of Software
ETAPS 2004

ETAPS 2004 Logo    ACM Logo

(Barcelona, Spain, March 27 - April 4, 2004)


3rd International Workshop on
Compiler Optimization Meets Compiler Verification

COCV 2004


(Barcelona, Spain, April 3, 2004)

In conjunction with the
7th European Joint Conferences on Theory and Practice of Software
ETAPS 2004

ETAPS 2004 Logo

(Barcelona, Spain, March 27 - April 4, 2004)


Educators' Symposium
at the 18th Annual
ACM SIGPLAN
Conference on
Object-Oriented Programming, Systems, Languages, and Applications

OOPSLA 2003

ACM Logo OOPSLA 2003 Logo

(Anaheim, CA, October 26 - 30, 2003)


Dagstuhl Seminar 03431 on
Hardware and Software Consistency Models: Programmability and Performance

Seminar Nº 03431


Dagstuhl Logo

(Schloß Dagstuhl, Germany, October 19 - 24, 2003)


6th International
Joint Modular Languages Conference

JMLC 2003

JMLC Logo

(Klagenfurt, Austria, August 25 - 27, 2003)


2nd International Workshop on
Compiler Optimization Meets Compiler Verification

COCV 2003


(Warsaw, Poland, April 12, 2003)

In conjunction with the
6th European Joint Conferences on Theory and Practice of Software
ETAPS 2003

ETAPS 2003 Logo

(Warsaw, Poland, April 5 - 13, 2003)


ACM SIGPLAN
Joint Conference on
Languages, Compilers, and Tools for Embedded Systems
and
Software and Compilers for Embedded Systems

LCTES/SCOPES 2002

ACM Logo

(Berlin, Germany, June 19 - 21, 2002)


ACM SIGPLAN 2002
Conference on
Programming Language Design and Implementation

PLDI 2002

ACM Logo

(Berlin, Germany, June 17 - 19, 2002)


1st International Workshop on
Compiler Optimization Meets Compiler Verification

COCV 2002


(Grenoble, France, April 13, 2002)

In conjunction with the
5th European Joint Conferences on Theory and Practice of Software
ETAPS 2002

ETAPS 2002 Logo

(Grenoble, France, April 6 - 14, 2002)


Topic 4 Compilers for High Performance
of the
7th European Conference on Parallel Processing

Euro-Par 2001

Euro-Par 2001 Logo

(Manchester, UK, August 28 - 31, 2001)


Dagstuhl Seminar 00381 on
Code Optimisation: Trends, Challenges and Perspectives

Seminar Nº 00381


Dagstuhl Logo

(Schloß Dagstuhl, Germany, September 17 - 22, 2000)


Topic 4 Compilers for High Performance
of the
6th European Conference on Parallel Processing

Euro-Par 2000

Euro-Par 2000 Logo

(Munich, Germany, August 29 - September 1, 2000)


ACM SIGPLAN 2000
Conference on
Programming Language Design and Implementation

PLDI 2000

ACM Logo

(Vancouver, BC, Canada, June 18 - 21, 2000)

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 | Datenschutzerklärung | last update: 2020-06-22 (Knoop)