TeaConc’2006
- Workshop on Teaching Concurrency
27 June 2006 -
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.
PROGRAMME HIGHLIGHTS
We are fortunate to have two
outstanding keynote speakers:
Antti Valmari,
Teaching
mathematically demanding computer science topics
to
software engineering students: Is there any reason? Is there any hope?
Alex Yakovlev,
Coping with concurrency in hardware: teaching
experiences
Closing Panel discussion on:
Does
Concurrency have the place in curricula that it deserves?
Panelists: Jonathan Billington
(moderator), Lars Kristensen, Daniel Moldt, Laure Petrucci
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
IMPORTANT
DATES
Deadline for submissions:
April 20, 2006 (extended)
Notification of acceptance:
May 7, 2006
Deadline for final papers:
May 29, 2006
Deadline for registration:
May 29, 2006
Workshop: June 27, 2006
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
[at] 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.
ORGANIZERS
Søren Christensen, DAIMI,
Univ. Aarhus, Denmark, schristensen [at] daimi.au.dk
Luis Gomes, Univ. Nova de Lisboa/UNINOVA, Portugal, lugo [at] uninova.pt
PROGRAM
COMMITTEE
Mordechai (Moti)
Søren Christensen,
(co-chair),
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
Alexander H. Levis,
Daniel Moldt,
Angelo Perkusich, Brasil
Laure Petrucci, France
Wil van der Aalst, The
Netherlands
Alex Yakovlev,