C A L L F O R P A P E R S TeaConc’2007 - 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 Conference 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 TeaConc’2006, 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: April 1, 2007 Notification of acceptance: April 22, 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) 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. --------------------------------------------------------------------------- PUBLICATION OF PAPERS --------------------------------------------------------------------------- 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. --------------------------------------------------------------------------- ORGANIZERS Luis Gomes, Univ. Nova de Lisboa/UNINOVA, Portugal, lugo@uninova.pt Søren Christensen, DAIMI, Univ. Aarhus, Denmark, schristensen@daimi.au.dk --------------------------------------------------------------------------- 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