Time flies! For the founders of TACAS this 20th anniversary is a shocking proof of this fact.

Let us celebrate this event on Tuesday, April 8, 2014 with a half day workshop and a dinner.

The program will comprise short selected talks by the founders and some previous PC chairs followed by a panel discussion on the future of TACAS.

At the dinner there will be an award ceremony for the most influential TACAS papers for the regular and tool paper categories.

The registration fee of € 60 covers the dinner costs.

Participation is limited to 50 participants and decided on a first register basis.

The afternoon programme takes place in the "amphitheatre"!

Schedule 

15:15 - 16:05    TACAS Memories: 95 - 04

Chair: Bernhard Steffen

• Joost-Pieter Katoen

• Kim G. Larsen

• Tiziana Margaria

• Ed Brinksma

16:05 - 16:20  Coffee break

 

16:20 - 17:00  TACAS Memories 05 - 14

Chair:  Bernhard Steffen

• Hubert Garavel

• Michael Huth

• Klaus Havelund

17:00 - 17:30  Most Influential Contributions in the first 20yrs of TACAS

Chair: Holger Hermanns

 

17:30 - 17:45  Coffee break

17:45 - 19:15    TACAS: Quo Vadis? Panel on Tools and Competitions

Moderator: Kim G. Larsen

• Dirk Beyer

• Bernhard Steffen

• Rustan Leino

• Alessandro Cimatti

• David Monniaux

20:15 Dinner with Award Ceremony

Lenore Zuck & Rance Cleaveland

 

Registration is via the ETAPS registration site.