[FOM] [CiE] Newsletter No.18, August 18, 2009
CiE
cie at maths.leeds.ac.uk
Tue Aug 18 11:58:06 EDT 2009
CiE Newsletter No.18, August 18, 2009
___________________________________________________________________________
CONTENTS:
1. Logical Approaches to Barriers in Computing
and Complexity, Greifswald, 17-20 February 2010 - 2nd call for papers
2. Workshop and AMS Special Session on
Constructive Mathmematics - Call for participation and applications for support
3. BRITISH LOGIC COLLOQUIUM 2009 - Call for Participation
4. North American Summer School in Logic,
Language and Information (NASSLLI 2010) - Call for course proposals
5. FEDERATED LOGIC CONFERENCE (FLoC 2010) -
Deadline extension for workshop proposals
6. Special issue of International Journal of Unconventional Computing
7. LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
(LATA 2010) - 1st Call for Papers
8. PETRI NETS 2010 - Preliminary Call for Papers
9. Photographs from CiE 2009 in Heidelberg
===========================================================================
1. (from Arnold Beckmann) Logical Approaches to
Barriers in Computing and Complexity, Greifswald,
17-20 February 2010 - 2nd call for papers:
**********************************************************************
SECOND CALL FOR PAPERS
The "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagen
der Exakten Wissenschaften" (DVMLG), the "Polskie Towarzystwo Logiki i
Filozofii Nauki" (PTLiFN), the "Association Computability in Europe"
(ACiE) and the "European Association for Computer Science Logic"
(EACSL) jointly organize a workshop on
Logical Approaches to Barriers in Computing and Complexity
http://www.cs.swan.ac.uk/greifswald2010/
Greifswald, 17-20 February 2010
The workshop is sponsored by the Stiftung Alfried Krupp Kolleg
Greifswald and the Deutsche Forschungsgemeinschaft (DFG), and takes
place at the Alfried Krupp Wissenschaftskolleg in Greifswald, Germany:
http://www.wiko-greifswald.de/events/cal/article/6/logical-approaches.html
IMPORTANT DATES:
Submission of extended abstracts: 15 October 2009
Notification of authors: 1 December 2009
Deadline for final revisions: 5 Januar 2010
Workshop: 17-20 February 2010
FINANCIAL SUPPORT:
We have funds to offer financial support to authors of accepted
papers. In individual cases refunds can range up to full
reimbursement of travel and accommodation costs. Further detail will
be announced on the webpage.
DESCRIPTION:
Computability theory and complexity theory have their origins in
logic. Famous names such as Goedel, Turing, Cook, and Kolmogorov
connect these areas of computer science to foundations of
mathematics. The fundamental goal of this area is to understand the
limits of computability (that is analysing which problems can be
solved on nowadays and future computers in principle) and efficient
computability (that is understanding the class of problems which can
be solved quickly and with restricted resources) where the most famous
open problem is the P=NP-problem. Logic provides a multifarious
toolbox of techniques to analyse questions like this, some of which
promise to provide a deep insight in the structure of limit of
computation.
In our workshop, we shall focus on the following aspects: logical
descriptions of complexity (e.g., descriptive complexity, bounded
arithmetic), complexity classes of abstract, algebraic and infinite
structures, barriers in proving complexity results, and Kolmogorov
complexity and randomness.
Some of these aspects are particularly timely: recently, research in
these areas became more intense. Part of this is the new conference
series CiE (run by the Association for Computability in Europe) whose
range of interests includes those of our workshop, creating an
important focus on the emerging topics of the field. This workshop is
intended as a research-oriented follow-up to the CiE conferences,
allowing researchers ample time for discussions and joint work.
KEYNOTE SPEAKERS:
* Alessandra Carbone (Paris, France)
* Lance Fortnow (Evanston, IL, U.S.A.)
* Erich Graedel (Aachen, Germany)
* Pascal Koiran (Lyon, France)
* Leszek Kolodziejczyk (Warsaw, Poland)
* Antonina Kolokolova (St.John's, NL, Canada)
SPECIAL SESSION:
There will be a special session on "Complexity in Arbitrary
Structures" organised by Christine Gassner (Greifswald, Germany) and
Martin Ziegler (Paderborn, Germany). Details about the special
session will be published on our website in due course.
Contributed talks will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:
* Zofia Adamowicz (Warsaw, Poland)
* Franz Baader (Dresden, Germany)
* Arnold Beckmann (chair; Swansea, Wales)
* Sam Buss (La Jolla CA, U.S.A.)
* Manfred Droste (Leipzig, Germany)
* Christine Gassner (Greifswald, Germany)
* Peter Koepke (Bonn, Germany)
* Benedikt Loewe (Amsterdam, The Netherlands)
* Johann Makowsky (Haifa, Israel)
* Elvira Mayordomo (Zaragoza, Spain)
* Damian Niwinski (Warsaw, Poland)
* Wolfgang Thomas (Aachen, Germany)
* Martin Ziegler (Paderborn, Germany)
SUBMISSIONS:
The Programme Committee cordially invites all researchers in the area
of the workshop to submit their extended abstracts (in PDF-format, at
most 4 pages) for presentation at the workshop. Further details about
submission can be found on our website
http://www.cs.swan.ac.uk/greifswald2010/
Accepted abstracts will be printed in an abstract booklet which will
be distributed to the participants of the workshop. We emphatically
encourage submissions by female authors, as women are underrepresented
in mathematics and computer science.
Submission of abstracts of published and presented work is also
possible, since the abstract booklet is non-archival. Quality and
quantity of submissions permitting, we plan to invite the authors of
unpublished papers to submit a full version to a post-proceedings
volume after the workshop.
===========================================================================
2. (from Robert Lubarsky) Workshop and AMS
Special Session on Constructive Mathmematics -
Call for participation and applications for support:
CALL FOR PARTICIPATION AND APPLICATIONS FOR SUPPORT
Workshop and AMS Special Session on Constructive Mathmematics
Florida Atlantic University
Boca Raton, FL 33431 USA
Oct 28 - Nov 1 2009
The workshop sessions will meet W Oct 28 & R Oct 29. For further
information, please visit http://math.fau.edu/Richman/Worshop/, or
contact Robert.Lubarsky at comcast.net.
The special session will be part of the AMS sectional meeting at FAU,
F Oct 30 - Sun Nov 1. For further information on the AMS sectional
meeting, including the other special sessions and the plenary talks,
visit http://www.ams.org/amsmtgs/2161_program.html, or contact
Matthew Miller, the relevant AMS secretary, at miller at math.sc.edu.
NSF funding of the workshop is likely. If you would like to be
considered for partial support, please apply to Bob Lubarsky at
Robert.Lubarsky at comcast.net. Your application should include a brief
description of your background, including how it relates to
constructive mathematics, why you want to attend the meeting, what
you hope to contribute, and any other support you have or might have
for your attendance. We are especially interested in having some of
the funds go to students and young researchers, and members of
underrepresented minority groups as determined by the U.S.
government. For full consideration, please submit your application by
Sept. 15.
===========================================================================
3. (from Ulrich Berger) BRITISH LOGIC COLLOQUIUM 2009 - Call for Participation:
BRITISH LOGIC COLLOQUIUM 2009
=============================
http://www.cs.swan.ac.uk/blc09/
Call for Participation
The Annual Meeting of the British Logic Colloquium will be held
at the Department of Computer Science, Swansea University, from
Thursday to Saturday, September 3-5, 2009.
Invited speakers:
Peter Dybjer (Gothenburg) Richard Kaye (Birmingham)
Margarita Korovina (Manchester) Julien Melleray (Lyon)
Paulo Oliva (Queen Mary) Mark Priestley (Westminster)
Stephen Read (St Andrews) Peter Schuster (Leeds)
Alexander Summers (Imperial) Neil Thapen (Prague)
Stan Wainer (Leeds) Andreas Weiermann (Gent)
Programme and abstracts are available on the conference web-site.
The meeting is supported by the London Mathematical Society and the
British Logic Colloquium.
To register, please visit the conference web-site.
Contact: Ulrich Berger u.berger at swansea.ac.uk
===========================================================================
4. (from Larry Moss) North American Summer School
in Logic, Language and Information (NASSLLI 2010) - Call for course proposals:
North American Summer School in Logic, Language and Information 2010
NASSLLI 2010
Bloomington IN, U.S.A.
21-25 June 2010
http://www.indiana.edu/~nasslli
CALL FOR COURSE PROPOSALS
Call Deadline: 15-Sep-2009
Proposals are invited that present interdisciplinary work between the
areas of logic, linguistics, computer science, cognitive science,
philosophy and artificial intelligence, though work in just one area
is within the scope of the summer school if it can be applied in other
fields. Examples of possible topics (adapting from previous NASSLLI
courses) would include e.g. logics for communication, computational
semantics, game theory (for logic, language and/or computation),
dynamic semantics, modal logics, linear logic, machine learning
techniques, statistical language models, and automated theorem
proving. We encourage potential course or workshop contributors to
check out previous programs at:
http://www.linguistics.ucla.edu/nasslli04/program.html
http://www.stanford.edu/group/nasslli/
http://www.indiana.edu/~nasslli/2003/program.html
Courses and workshops should aim to be accessible to an
interdisciplinary, graduate level audience. Courses may certainly
focus on a single area, but lecturers should then include introductory
background, try to avoid specialized notation that cannot be applied
more widely, and spend time on the question of how the topic is
relevant to other fields. A workshop can be more accessible if its
program is bracketed by broader-audience talks that introduce and
summarize the week's presentations.
Associated Workshops/Conferences:
In addition to courses and workshops taking place during the main
NASSLLI five day session, Indiana University welcomes proposals for
1-3 day workshops or conferences hosted on campus immediately before
or after the summer school, thus on the weekends of June 18-20 and
June 27-29 2010. Previous such associated meetings have included a
Mathematics of Language conference and Theoretical Aspects of
Reasoning About Knowledge (TARK).
Submission Details:
Submissions should be by email, and should indicate:
-Person(s) and affiliation
-Type of event (one week course or workshop, 2 hours a day)
-An outline of the course up to 500 words
-An indication of whether special equipment is needed to teach that
course (beamer, computer, etc)
-A statement about the instructor's experience in teaching in
interdisciplinary settings
-Expected costs (whether you want to be paid hotel and/or travel, and
descriptions of funding in hand or for which you will apply)
Financial Details:
A course may be taught by one or two persons. Conference fees are
waived for all instructors. However, we are only able to pay for the
full travel and expenses of one instructor per course. If two persons
are lecturing, they may share a lump sum paid for both. We must also
stress that while proposals from all over the world are welcomed, the
Summer School can in general guarantee only toreimburse travel costs
for travel from destinations within North America to Bloomington,
although exceptions can be made depending on the financial situation.
Furthermore, we encourage all lecturers to fund their own travel if
this is feasible, since this will allow us to use our available
funding for student scholarships.
Workshops are more complicated financially than courses, and a
proposal for a workshop should include a plan to obtain some outside
funding for the speakers.
Notifications of Interest:
To give us an idea about the number of submissions, we would like you
to email us, ideally within two weeks, in case you are interested in
submitting a proposal. This will not commit you to actually submit one
(and not emailing in advance does not preclude you from submitting a
full proposal).
Schedule:
Jun 18, 2009: unofficial notifications of intention to submit;
Sep 15, 2009: deadline for submissions;
Nov 1, 2009: course/workshop proposers notified of p.c. decisions;
Nov 15, 2009: official announcement of program;
May 15, 2009: material for courses available for printing;
Jun 21, 2010: Start of NASSLLI 2010 courses.
Program Committee:
David Beaver (committee chair), UT Austin
Thony Gillies, Rutgers University
John Horty, University of Maryland
Sandra Kuebler, Indiana University
Eric Pacuit, Stanford University
Chris Potts, Stanford University
Dan Roth, University of Illinois, Urbana/Champaign
Chung-Chieh Shan, Rutgers University
Matthias Scheutz, Indiana University
Standing NASSLLI Steering Committee:
David Beaver, UT Austin
Larry Moss (committee chair), Indiana University
Phokion Kolaitis, UC Santa Cruz / IBM Almaden Research Center
Valeria de Paiva, Cuill Inc.
Stuart Shieber, Harvard University
Moshe Vardi, Rice University
Website:
News will be posted at: http://www.indiana.edu/~nasslli,
Inquiries:
General inquiries regarding NASSLLI 2010, notifications of interest in
course or workshop proposal submission, and final submissions of
proposals should be directed to: nasslli at indiana.edu
Informal inquiries regarding potential courses or workshops may also
be directed to: David Beaver, dib at mail.utexas.edu (with ''NASSLLI'' in
the subject line).
Principal local organizers at Indiana University are Markus Dickinson,
Sandra Kuebler, and Larry Moss, and they can be contacted via the main
alias: nasslli at indiana.edu
===========================================================================
5. (from Nicole Schweikardt) FEDERATED LOGIC
CONFERENCE (FLoC 2010) - Deadline extension for workshop proposals:
THE 2010 FEDERATED LOGIC CONFERENCE (FLoC 2010)
Edinburgh, Scotland, U.K., July 9-21, 2010
http://www.floc-conference.org
CALL FOR WORKSHOP PROPOSALS - DEADLINE EXTENSION
Workshop proposals can now be submitted up to Sept. 1, 2009.
The original Call for Workshop Proposals is at
http://www.floc-conference.org/cfw.html
Organizers will be notified by October 15, 2009.
Proposals should be submitted electronically to EasyChair at the
following address: http://www.easychair.org/conferences/?conf=floc10cfw
(Clearly indicate at the top of the proposal the relevant conference.)
For further enquiries or information, please contact:
Philip Scott (FLoC Workshop Chair)
Department of Mathematics and Statistics
University of Ottawa
Ottawa, Ont. Canada K1N 6N5
Email: phil at site.uottawa.ca
===========================================================================
6. (from Jerome Durand-Lose) Special issue of
International Journal of Unconventional Computing:
CALL for PAPERS
**********************************************************************
International Journal of Unconventional Computing
Special issue on
New Worlds of Computation
**********************************************************************
http://www.univ-orleans.fr/lifo/Members/Jerome.Durand-Lose/Recherche/2009_IJUC_NWC
http://www.oldcitypublishing.com/IJUC/IJUC.html
**********************************************************************
This special issue is a sequel to the
Worskop New Worlds of Computation (NWC '09)
January 12, 2009, Orleans, FRANCE
http://www.univ-orleans.fr/lifo/Manifestations/NMC09/
Submission is open (i.e. NOT restricted to NWC participants)
**********************************************************************
Topics
The special issue aims at gathering papers from a wide off-Turing
community in order to bring forth the common problematics as well as
divergent results.
Models of computation that fall out of the Turing context:
* Analog computation
* Continuous computation
* Hybrid systems
* Computation on infinite structures (Ordinals, linear orders)
* Hypercomputation
* Infinite time computation
* Non-Euclidean spaces
* Non-standard approaches
* Optical collision
* Abstract geometrical computation
* Cellular automata
* Collision based, quantum, DNA, membrane...
The classical Turing computability has been THE paradigm for
computation for more than half a century. In less than two decades,
various paradigms have been proposed (invented, discovered or
reframed) and communities have emerged: computable analysis, algebraic
models, Quantum computing, DNA, Cellular automaton... All of them fall
outside the classical context because they manipulate objects that are
just out of the classical scope (infinite objects or uncountably many
values) or continuous or infinite time. Unfortunately, there is no
miraculous generalized Church-Turing thesis (nor specialized analog
nor...).
The audience aimed at is roughly the same as:
* Machines, Computations and Universality
* Unconventional Computation
* Computability in Europe
* Hypercomputation Research Network
Deadlines
Submission September 15th 2009
Notification December 1sh 2009
Submission is handled with easychair:
https://www.easychair.org/login.cgi?conf=ijuc_nwc_09
Guest editor
Jerome Durand-Lose contact: jerome.durand-lose at univ-orleans.fr
LIFO (Laboratoire d'Informatique Fondamentale d'Orleans), projet Graphes
et Algorithmes
Universite d'Orleans - logo Universite d'Orleans, Departement
d'Informatique de l'UFR Sciences.
===========================================================================
7. (from Carlos Martin) LANGUAGE AND AUTOMATA
THEORY AND APPLICATIONS (LATA 2010) - 1st Call for Papers:
*********************************************************************
1st Call for Papers
4th INTERNATIONAL CONFERENCE ON LANGUAGE AND
AUTOMATA THEORY AND APPLICATIONS (LATA 2010)
Trier, Germany, May 24-28, 2010
http://grammars.grlmc.com/LATA2010/
*********************************************************************
AIMS:
LATA is a yearly conference in theoretical
computer science and its applications. As linked
to the International PhD School in Formal
Languages and Applications that was developed at
Rovira i Virgili University (the host of the
previous three editions and co-organizer of this
one) in the period 2002-2006, LATA 2010 will
reserve significant room for young scholars at
the beginning of their career. It will aim at
attracting contributions from both classical
theory fields and application areas
(bioinformatics, systems biology, language
technology, artificial intelligence, etc.).
SCOPE:
Topics of either theoretical or applied interest
include, but are not limited to:
- algebraic language theory
- algorithms on automata and words
- automata and logic
- automata for system analysis and programme verification
- automata, concurrency and Petri nets
- cellular automata
- combinatorics on words
- computability
- computational complexity
- computer linguistics
- data and image compression
- decidability questions on words and languages
- descriptional complexity
- DNA and other models of bio-inspired computing
- document engineering
- foundations of finite state technology
- fuzzy and rough languages
- grammars (Chomsky hierarchy, contextual, multidimensional,
unification, categorial, etc.)
- grammars and automata architectures
- grammatical inference and algorithmic learning
- graphs and graph transformation
- language varieties and semigroups
- language-based cryptography
- language-theoretic foundations of artificial intelligence and
artificial life
- neural networks
- parallel and regulated rewriting
- parsing
- pattern matching and pattern recognition
- patterns and codes
- power series
- quantum, chemical and optical computing
- semantics
- string and combinatorial issues in computational biology and
bioinformatics
- symbolic dynamics
- term rewriting
- text algorithms
- text retrieval
- transducers
- trees, tree languages and tree machines
- weighted machines
STRUCTURE:
LATA 2010 will consist of:
- 3 invited talks
- 2 invited tutorials
- refereed contributions
- open sessions for discussion in specific subfields, on open
problems, or on professional issues (if requested by the participants)
Invited speakers to be announced.
PROGRAMME COMMITTEE:
Alberto Apostolico (Atlanta)
Thomas Baeck (Leiden)
Stefania Bandini (Milano)
Wolfgang Banzhaf (St. John's)
Henning Bordihn (Potsdam)
Kwang-Moo Choe (Daejeon)
Andrea Corradini (Pisa)
Christophe Costa Florencio (Leuven)
Maxime Crochemore (Marne-la-Vallée)
W. Bruce Croft (Amherst)
Erzsebet Csuhaj-Varju (Budapest)
Joergen Dassow (Magdeburg)
Volker Diekert (Stuttgart)
Rodney G. Downey (Wellington)
Frank Drewes (Umea)
Henning Fernau (Trier, co-chair)
Rusins Freivalds (Riga)
Rudolf Freund (Wien)
Paul Gastin (Cachan)
Edwin Hancock (York, UK)
Markus Holzer (Giessen)
Helmut Joergensen (London, Canada)
Juhani Karhumaki (Turku)
Efim Kinber (Fairfield)
Claude Kirchner (Bordeaux)
Carlos Martin-Vide (Brussels, co-chair)
Risto Miikkulainen (Austin)
Victor Mitrana (Bucharest)
Claudio Moraga (Mieres)
Sven Naumann (Trier)
Chrystopher Nehaniv (Hatfield)
Maurice Nivat (Paris)
Friedrich Otto (Kassel)
Daniel Reidenbach (Loughborough)
Klaus Reinhardt (Tübingen)
Antonio Restivo (Palermo)
Christophe Reutenauer (Montréal)
Kai Salomaa (Kingston, Canada)
Jeffrey Shallit (Waterloo)
Eljas Soisalon-Soininen (Helsinki)
Bernhard Steffen (Dortmund)
Frank Stephan (Singapore)
Wolfgang Thomas (Aachen)
Marc Tommasi (Lille)
Esko Ukkonen (Helsinki)
Todd Wareham (St. John's)
Osamu Watanabe (Tokyo)
Bruce Watson (Pretoria)
Thomas Wilke (Kiel)
Slawomir Zadrozny (Warsaw)
Binhai Zhu (Bozeman)
ORGANIZING COMMITTEE:
Adrian Horia Dediu (Tarragona)
Henning Fernau (Trier, co-chair) Maria Gindorf (Trier)
Stefan Gulan (Trier)
Anna Kasprzik (Trier)
Carlos Martin-Vide (Brussels, co-chair) Norbert Muller (Trier)
Bianca Truthe (Magdeburg)
SUBMISSIONS:
Authors are invited to submit papers presenting
original and unpublished research. Papers should
not exceed 12 single-spaced pages and should be
formatted according to the standard format for
Springer Verlag's LNCS series (see
http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0).
Submissions have to be uploaded at:
http://www.easychair.org/conferences/?conf=lata2010
PUBLICATIONS:
A volume of proceedings published by Springer in
the LNCS series will be available by the time of the conference.
At least one special issue of a major journal
will be later published containing extended
versions of the papers contributed to the conference.
Submissions to the post-conference publications will be only by invitation.
REGISTRATION:
The period for registration will be open since
September 1, 2009 until May 24, 2010. The
registration form can be found at the website of
the conference: http://grammars.grlmc.com/LATA2010/
Early registration fees: 500 Euro
Early registration fees (PhD students): 400 Euro
Late registration fees: 530 Euro
Late registration fees (PhD students): 430 Euro
On-site registration fees: 550 Euro
On-site registration fees (PhD students): 450 Euro
At least one author per paper should register.
Papers that do not have a registered author by
February 15, 2010 will be excluded from the proceedings.
Fees comprise access to all sessions, one copy of
the proceedings volume, coffee breaks, lunches,
excursion, and conference dinner.
BEST PAPER AWARDS:
An award will be presented to the authors of the
two best papers accepted to the conference. Only
papers fully authored by PhD students are
eligible. The award intends to cover their travel expenses.
IMPORTANT DATES:
Paper submission: December 3, 2009
Notification of paper acceptance or rejection: January 21, 2010
Final version of the paper for the LNCS proceedings: February 3, 2010
Early registration: February 15, 2010
Late registration: May 14, 2010
Starting of the conference: May 24, 2010
Submission to the post-conference publications: August 27, 2010
FURTHER INFORMATION:
gindorf-ti at informatik.uni-trier.de
CONTACT:
LATA 2010
Universitat Trier
Fachbereich IV ~V Informatik
Campus II, Behringstrasse
D-54286 Trier
Phone: +49-(0)651-201-2836
Fax: +49-(0)651-201-3954
===========================================================================
8. (from Joao Paulo Barros) PETRI NETS 2010 - Preliminary Call for Papers:
===========================================================
================ Preliminary Call for Papers ====================
===========================================================
PETRI NETS 2010
31st International Conference on Application and Theory of Petri Nets and
other Models of Concurrency
June 21-25, 2010
Braga, Portugal
Web: http://petrinets2010.di.uminho.pt/
Email : petrinets2010[@]di[.]uminho[.]pt
Collocated with ACSD 2010: 10th International Conference on Application of
Concurrency to System Design
(http://acsd2010.di.uminho.pt)
Common page at
http://acsd-petrinets2010.di.uminho.pt
===========================================================
This call for papers is available in pdf format at
http://www.informatik.uni-hamburg.de/TGI/PetriNets/meetings/pn2010/
===========================================================
Important Dates:
Submission of Papers: January 5, 2010
Notification: March 1, 2010
Final Version Due: April 1, 2010
Workshops & Tutorials: June 21-22, 2010
Conference: June 23-25, 2010
The deadline for submission of papers is STRICT.
However, if you submit the title page by Jan. 5
it is sufficient to submit the full paper by Jan. 10.
Some of the best papers accepted for the conference will be invited as
submissions to a special issue of the Fundamenta Informaticae journal.
===========================================================
The 31st annual international Petri Net conference will be organised by the
Universidade do Minho, Portugal and the Instituto Politécnico de Beja,
Portugal. Papers presenting original contributions in any area of
application and theory of Petri nets are sought. The language of the
conference is English.
===========================================================
Topics
* System design and verification using nets,
* Analysis and synthesis, structure and behaviour of nets,
* Relationships between net theory and other approaches,
* Causality/partial order theory of concurrency,
* Net-based semantical, logical and algebraic calculi,
* Symbolic net representation (graphical or textual),
* Computer tools for nets,
* Experience with using nets, case studies,
* Educational issues related to nets,
* Higher-level net models,
* Timed and stochastic nets,
* Standardisation of nets,
* Applications of nets to different kinds of systems and application
fields, e.g.:
o flexible manufacturing systems,
o real-time systems,
o embedded systems,
o defence systems,
o biological systems,
o health and medical systems,
o environmental systems,
o hardware structures,
o telecommunications,
o railway networks,
o office automation,
o workflows,
o supervisory control,
o protocols and networks,
o Internet,
o e-commerce and trading,
o programming languages,
o performance evaluation,
o operations research.
The conference takes place under the auspices of EATCS and GI SIG "Petri
Nets and Related System Models".
===========================================================
Paper Submissions
Three kinds of papers can be submitted:
* Theory papers (max 20 pages).
* Application papers (max 20 pages). A typical application paper is a
paper that describes one or more projects in which Petri net models and
tools have been used in practice. An application paper may also describe a
methodology, or other developments that demonstrate the applicability of
Petri nets to industrial systems.
* Tool papers (max 10 pages). A typical tool paper is a paper which has
its focus on the description of a computer tool for Petri Nets (not an
application of the tool or the theory behind the tool). For more information
on what a typical tool paper should contain, please see the document:
ToolFormat.pdf. The tool should be available for use by other groups and it
should be demonstrated in the Tool Exhibition.
Submissions for papers must:
* Contain original contributions that have not been published or
submitted to other conferences/journals in parallel with this conference.
* Clearly state the problem being addressed, the goal of the work, the
results achieved, and the relation to other work.
* Be in the Springer LNCS-format:
http://www.springer.de/comp/lncs/authors.html.
* Have a length that does not exceed 20 pages (10 pages for tool papers).
* Be in English and in a form that can be immediately included in the
proceedings without major revision.
* Be sent electronically (as a PostScript or PDF file) using the website
http://senldogo0039.springer-sbm.com/pn2010/servlet/Conference no later than
January 5, 2010.
The title page must:
* Contain a short abstract and a classification of the topics covered,
preferably using the list of topics above.
* Clearly indicate whether the paper is submitted as a theory paper, an
application paper, or a tool paper.
Submissions received too late and submissions sent by fax or ordinary mail
will be immediately rejected. The same will happen with papers which are not
in English or exceed the page limit. Authors will be notified of
acceptance/rejection by March 1, 2010.
The proceedings will be published by Springer-Verlag in Lecture Notes in
Computer Science. The final camera-ready version of accepted papers must be
received by the PC chairs no later than April 1, 2010. The page limit is 20
pages (10 pages for tool papers).
Some of the best papers will be invited for publication in the Fundamenta
Informaticae journal. They will be revised, reviewed and copy-edited as
ordinary journal papers.
===========================================================
Workshops and Tutorials
The conference takes place Wednesday to Friday. The days before the
conference also offer a large variety of Petri net activities.
The Petri Net Course takes place Sunday, Monday, and Tuesday. It offers a
thorough introduction to Petri Nets and consists of four parts: Basic Net
Classes, Coloured Petri Nets, Timed and Stochastic Petri Nets, and
Applications of Petri Nets. If all four parts are followed, ECTS credits can
be given to PhD students.
The Workshops and Advanced Tutorials take place Monday and Tuesday and are
offered to those who already have some knowledge of Petri nets. They are
divided into several strands covering different subjects. A detailed
description of the tutorials and workshops will be available via the
conference web pages.
Finally, it is possible to arrange Meetings and Courses related to Petri
Nets. Submissions for such activities must contain a 2-5 page description.
They must be received by the PC-chairs no later than January 5, 2010.
We invite proposals for workshops and advanced tutorials:
* The purpose of workshops is to provide a setting to discuss technical
issues and exchange research ideas in specific theoretical or application
areas. We encourage a diversity of workshops related to Petri nets. Selected
papers of the workshops will appear in a new journal subseries of LNCS
entitled "Transactions on Petri Nets and other models of Concurrency"
(ToPNoC).
* The purpose of tutorials is to introduce researchers to a new or
emerging area or to provide deeper insight into a particular topic within
Petri nets or related areas, ranging from theory to industrial applications.
Tutorial levels may be introductory, intermediate, or advanced.
* Workshop proposals should be submitted before June 1 (one year before
the workshop) and Advanced Tutorial proposals before January 5 (half a year
before the tutorial), to the Workshop and Tutorial Chairs.
===========================================================
Tool Exhibition
An exhibition of Petri net tools takes place Tuesday or Wednesday evening.
It consists of informal demonstrations for small groups/individuals, and
there are no scheduled talks. Requests for participation in the tool
exhibition must be sent to the Tool Exhibition Chair before June 1, 2010.
They should include a link to the web pages for the tool (or a short
description of the tool). The demonstrators usually bring their own
machines, but the organisers may be requested to give access to the
Internet.
===========================================================
Organisation
Program Committee Co-Chairs Johan Lilius
Åbo Akademi University
Finland Wojciech Penczek
Institute of Computer Science
Polish Academy of Sciences
Poland
================================
Workshop and Tutorial Co-Chairs Susanna Donatelli
Universita di Torino
Italy Jetty Kleijn
Leiden University
The Netherlands
================================
Organising Committee Chair
Joao M. Fernandes
Universidade do Minho
Portugal ================================
Tools Exhibition Chair
Ricardo J. Machado
Universidade do Minho
Portugal
================================
Publicity Chair
Joao Paulo Barros
Instituto Politécnico de Beja
Portugal
===========================================================
Program Committee
M. Bednarczyk, Poland
M. Bonsangue, The Netherlands
R. Bruni, Italy
D. Buchs, Switzerland
P. Chrzastowski-Wachtel, Poland
G. Ciardo, USA
J. Desel, Germany
R. Devillers, Belgium
J.M. Fernandes, Portugal
G. Franceschinis, Italy
Q.W. Ge, Japan
S. Haddad, France
M. Heiner, Germany
R. Janicki, Canada
G. Juhas, Slovak Republic
J. Julvez, Spain
E. Kindler, Denmark M. Koutny, UK
L.M. Kristensen, Norway
C. Lakos, Australia
J. Lilius, Finland (co-chair)
C. Lin, China
T. Miyamoto, Japan
D. Moldt, Germany
M. Mukund, India
W. Penczek, Poland (co-chair)
L. Petrucci, France
L. Pomello, Italy
O-H. Roux, France
N. Sidorova, The Netherlands
V. Valero, Spain
A. Valmari, Finland
K. Wolf, Germany
A. Yakovlev, UK
===========================================================
Steering Committee
W. van der Aalst, The Netherlands
J. Billington, Australia
G. Ciardo, USA
J. Desel, Germany
S. Donatelli, Italy
S. Haddad, France
K. Hiraishi, Japan
K. Jensen, Denmark (chair)
J. Kleijn, The Netherlands
M. Koutny, UK C. Lin, China
W. Penczek, Poland
C.A. Petri, Germany (honorary member)
L. Pomello, Italy
W. Reisig, Germany
G. Rozenberg, The Netherlands
M. Silva, Spain
A. Valmari, Finland
A. Yakovlev, UK
===========================================================================
9. For photographs from CiE 2009 in Heidelberg -
including the group photograph of participants - see:
http://www.math.uni-heidelberg.de/logic/cie2009/p_photo.php
===========================================================================
Items for the next CiE Newsletter should be sent to s.b.cooper at leeds.ac.uk
to arrive by August 30, 2009
___________________________________________________________________________
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE 2009 http://www.math.uni-heidelberg.de/logic/cie2009
CiE Membership Application Form http://www.cs.swan.ac.uk/acie
___________________________________________________________________________
__________ Information from ESET NOD32 Antivirus,
version of virus signature database 4345 (20090818) __________
The message was checked by ESET NOD32 Antivirus.
http://www.eset.com
More information about the FOM
mailing list