TeaConc’2007 – 2nd Workshop on Teaching Concurrency

25 June 2007 - Siedlce, Poland

 

Satellite workshop of

ATPN'2007 - 28th Int. Conf. on Applications and Theory of Petri nets and Other Models of Concurrency

 

Program

 

9:15 - 9:30           Opening remarks: Luis Gomes and Soren Christensen

9:30 – 10:00       

9:30 - 10:00         Holger Hermanns and Christian Eisentraut

                              Teaching Concurrency to Freshmen?

10:00 - 10:30       Coffee break

10:30 – 12:30     

10:30 - 12:30       Invited talk

                              Claus Brabrand

                              Constructive Alignment for Teaching Model-based Design for Concurrency

12:30 - 14:00       Lunch

14:00 – 14:30     

14:00 - 14:30       Andrei Lobov, Jose L. Martinez Lastra

                              Modeling the Logic of the Other

14:30 - 15:00       Francesco Calzolai, Rocco De Nicola, Michele Loreti, and Francesco Tiezzi

                              TAPAs: a Tool for the Analysis of Process Algebras

15:00 - 15:30       Coffee break

15:30 – 16:00     

15:30 - 16:00       Lars Michael Kristensen and Kurt Jensen

                              Teaching Modelling and Validation of Concurrent Systems using Coloured Petri Nets

16:00 – 16:30      Open discussion and closing: Luis Gomes and Soren Christensen