C A L L F O R P A P E R S
TeaConc2006 - 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):
- 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
[EMAIL PROTECTED]
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.
---------------------------------------------------------------------------
IMPORTANT DATES
---------------------------------------------------------------------------
Deadline for submissions: April 9, 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, [EMAIL PROTECTED]
Luis Gomes, Univ. Nova de Lisboa/UNINOVA, Portugal, [EMAIL PROTECTED]
PROGRAM COMMITTEE (invited)
Mordechai (Moti) Ben-Ari, Israel
Søren Christensen, (co-chair), Denmark
Gianfranco Ciardo, USA
Jordi Cortadella, Spain
Joerg Desel, Germany
Joao Miguel Fernandes, Portugal
Luis Gomes, (co-chair), Portugal
Jens Jørgensen, Denmark
Sadatoshi Kumagai, Japan
Charles Lakos, Australia
José Lastra, Finland
Jeff Maggee, UK
Daniel Moldt, Germany
Angelo Perkusich, Brasil
Laure Petrucci, France
Antti Valmari, Finland
Wil van der Aalst, The Netherlands
Alex Yakovlev, UK
Bernardo Wagner, Germany
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
