C A L L   F O R   P A P E R S
           TeaConc’2006 - Workshop on Teaching Concurrency
                    27 June 2006 - Turku, Finland
                http://www.uninova.pt/gres/teaconc2006/
---------------------------------------------------------------------------
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 

Conferences web site:  http://www.cs.abo.fi/acsd-atpn2006/     
---------------------------------------------------------------------------
MOTIVATION
---------------------------------------------------------------------------
The main goal of the workshop is to create a forum for discussion on the 
ways that models of concurrency can be taught at undergraduate/graduate 
levels.
On one hand, the workshop will focus on the application of Petri nets and 
other models of concurrency to educational issues reporting on specific 
pedagogical experiences, and on the other hand will take advantage of
cross-fertilization between teaching experiences in different application 
domains.
As a post-workshop goal, we hope to set-up a web database of materials 
to be used in teaching activities (course syllabus, curricula, slides, 
exercises, lab structure, tool usage, experiences) tuned to specific 
teaching areas.
---------------------------------------------------------------------------
TOPICS OF INTEREST
---------------------------------------------------------------------------
Topics of interest include (but are not limited to): 
- How to teach concurrency (with Petri nets and other formalisms)
- Comparisons between Petri nets and other models of concurrency 
       (from a pedagogical perspective)
- Mappings between Petri Net models and other models with 
       pedagogical purposes
- Selection and evaluation of related tools for pedagogical purposes
- Experiences on how to use models of concurrency within several 
  disciplines and application areas:
  > Distributed Systems
  > Software engineering
  > Programming languages
  > Protocol specification and verification
  > Hardware design
  > Synchronous and asynchronous circuit design
  > Manufacturing systems
  > Automation systems
  > Workflow systems
---------------------------------------------------------------------------
SUBMISSION OF PAPERS
---------------------------------------------------------------------------
Two types of submissions are foreseen:
- regular papers, not exceeding 15 pages 
     (for oral presentation 20-30min, t.b.d.)
- short papers, reporting on experiences and work-in-progress 
     (for oral presentation 5-15 min, t.b.d.)
Papers should be submitted in electronic form (PDF) using the 
Springer LNCS-format (http://www.springer.de/comp/lncs/authors.html) 
to 
     gres-teaconc@uninova.pt
An email will be issued to the contact author confirming reception of 
every submission.
Submissions should include title, author's address and email, and an abstract.
Accepted papers will be included in the workshop proceedings which will be 
available at the workshop. 
It is the intention to publish selected papers from the workshop in a book or 
journal.
---------------------------------------------------------------------------
IMPORTANT DATES
---------------------------------------------------------------------------
Deadline for submissions: April 20, 2006
Notification of acceptance: May 7, 2006
Deadline for final papers: May 29, 2006
Deadline for registration: May 29, 2006
Workshop: June 27, 2006
---------------------------------------------------------------------------
ORGANIZERS
Søren Christensen, DAIMI, Univ. Aarhus, Denmark, schristensen@daimi.au.dk
Luis Gomes, Univ. Nova de Lisboa/UNINOVA, Portugal, lugo@uninova.pt

PROGRAM COMMITTEE
Mordechai (Moti) Ben-Ari, Israel
Søren Christensen, (co-chair), Denmark
Jordi Cortadella, Spain
Joerg Desel, Germany
Susanna Donatelli, Italy
Joao Miguel Fernandes, Portugal
Luis Gomes, (co-chair), Portugal
Jens Jørgensen, Denmark
Sadatoshi Kumagai, Japan
Charles Lakos, Australia
José Lastra, Finland
Alexander H. Levis, USA
Daniel Moldt, Germany
Angelo Perkusich, Brasil
Laure Petrucci, France
Antti Valmari, Finland 
Wil van der Aalst, The Netherlands
Alex Yakovlev, UK
Bernardo Wagner, Germany