TeaConc’2006
- Workshop on Teaching Concurrency
Satellite workshop of
ATPN'2006 - 27th Int. Conf. on Applications and Theory of
Petri nets and Other Models of Concurrency, and
ACSD'2006 - 6th Int. Conf. on Application of Concurrency to
System Design
Final Program
8:50 - 9:00 Opening remarks:
Luis Gomes
9:00 – 10:30 Session Chair: Sadatoshi Kumagai
9:00 - 10:00 Invited talk
Antti Valmari
Teaching mathematically demanding computer
science topics to software engineering students: Is there any reason? Is there
any hope?
10:00 - 10:30 Andrei Lobov, Corina Popescu,
Diego Rodriguez, and Jose L. Martinez Lastra
A Graphical Environment for Modeling
and Analysis of Concurrent Systems in Manufacturing: An Educational Perspective.
11:00 – 12:00 Session Chair: Lucia Pomello
11:00 - 11:30 Joăo Paulo Barros and Luís
Gomes
Teaching Concurrency Through Petri Nets and
Model Composition
11:30 - 12:00 Antti Valmari
Teaching Concepts of Compositional Concurrency
with State Machines
13:30 – 15:00 Session Chair: Luis Gomes
13:30 - 14:30 Invited talk
Alex Yakovlev
Coping with concurrency in hardware: teaching
experiences
Teaching Principles of Petri Nets in Hardware Courses
and Student’s Projects
15:00 – 16:50 Session Chair: Jonathan Billington
15:30 - 16:00 Luís Gomes and Anikó Costa
Using Concurrency Modeling Formalisms
within System-on-a-Programmable-Chip Design
16:00 - 16:50 Panel discussion
Does Concurrency have the place in curricula that it deserves?
Panelists: Jonathan Billington (moderator),
Lars Kristensen, Daniel Moldt, Laure
Petrucci
16:50 – 17:00 Concluding remarks:
Luis Gomes