TeaConc’2007
– 2nd Workshop on Teaching Concurrency
25 June 2007 -
Satellite workshop of
ATPN'2007 - 28th Int. Conf. on Applications and Theory of
Petri nets and Other Models of Concurrency
Conference web site: http://atpn2007.ap.siedlce.pl
The main goal of the
workshop is to continue and consolidate the discussion on the ways that models
of concurrency can be taught at undergraduate/graduate levels, started during
the successfully TeaConc’2006,
held in Turku, Finland.
On one hand, the workshop
will focus on the application of 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.
We are fortunate to have
Claus Brabrand as invited speaker,
delivering an invited talk entitled "Constructive Alignment for Teaching Model-based Design for Concurrency".
Program already available.
Deadline for submissions: extended to April 1, 2007
Notification of acceptance: April 22, 2007 (sorry, but we will need some additional days to conclude the review process)
Deadline for final papers: May 19, 2007
Deadline for registration: May 19, 2007
Workshop: June
25, 2007
Topics of interest include
(but are not limited to):
- How to teach concurrency
(with Petri nets and other formalisms)
- Comparisons between different
models of concurrency (from a pedagogical perspective)
- Mappings between different
concurrency 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
-
Embedded systems
-
Hardware design
-
Synchronous and asynchronous circuit design
-
Manufacturing systems
-
Automation systems
-
Workflow systems
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 the following email address
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.
Some of the best papers from
the workshop will be invited for publication in a volume of a new journal subline of Lecture Notes in Computer Science entitled
"Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised
and they will go through a totally new round of reviewing as is standard
practice for journal papers.
Luis Gomes, Univ. Nova de Lisboa/UNINOVA,
Søren Christensen, DAIMI,
Univ. Aarhus, Denmark, schristensen
[at] daimi.au.dk
João-Paulo Barros, Portugal
Howard Bowman, UK
Søren Christensen, (co-chair),
Denmark
Jordi Cortadella, Spain
Joerg Desel, Germany
Joao Miguel Fernandes, Portugal
Luis Gomes, (co-chair), Portugal
Holger Hermanns, Germany
Jens Jørgensen, Denmark
Lars Kristensen, Denmark
Sadatoshi Kumagai, Japan
Charles Lakos, Australia
José Lastra, Finland
Alexander H. Levis,
USA
Daniel Moldt, Germany
Angelo Perkusich, Brasil
Laure Petrucci, France
Marta Pietkiewicz-Koutny, UK
Lucia Pomello, Italy
Antti Valmari, Finland
Wil van der Aalst, The Netherlands
Alex Yakovlev, UK
Abbas K. Zaidi,