C A L L F O R P A P E R S
TeaConc2007 - 2nd Workshop on Teaching Concurrency
25 June 2007 - Siedlce, Poland
http://www.uninova.pt/teaconc2007/
---------------------------------------------------------------------------
Satellite workshop of
ATPN'2007 - 28th Int. Conf. on Applications and Theory of Petri nets
and Other Models of Concurrency
Conferences web site: http://atpn2007.ap.siedlce.pl/
---------------------------------------------------------------------------
MOTIVATION
---------------------------------------------------------------------------
The main goal of the workshop is to continue and consolidate the discussion
started during the successfully TeaConc2006, held in Turku, Finland,
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 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.
---------------------------------------------------------------------------
IMPORTANT DATES
---------------------------------------------------------------------------
Deadline for submissions: March 10, 2007
Notification of acceptance: April 15, 2007
Deadline for final papers: May 19, 2007
Deadline for registration: May 19, 2007
Workshop: June 25, 2007
---------------------------------------------------------------------------
TOPICS OF INTEREST
---------------------------------------------------------------------------
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
---------------------------------------------------------------------------
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).
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 new
subseries of LNCS entitled "Transactions on Petri Nets and other models of
Concurrency" (ToPNoC).
---------------------------------------------------------------------------
ORGANIZERS
Luis Gomes, Univ. Nova de Lisboa/UNINOVA, Portugal, [EMAIL PROTECTED]
Søren Christensen, DAIMI, Univ. Aarhus, Denmark, [EMAIL PROTECTED]
---------------------------------------------------------------------------
PROGRAM COMMITTEE
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
Bernardo Wagner, Germany
Abbas K. Zaidi, USA
----
[[ 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] ]]
