[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[apologies for multiple copies]
18th International Conference on Concurrency Theory
CONCUR 2007
Lisbon, Portugal
Call for Affiliated Workshops
Conference Dates: September 4-7, 2007
Affiliated Workshop Dates: September 3 and 8, 2007
Researchers and practitioners are invited to submit proposals for
workshops on topics related to concurrency theory and its
applications, namely on semantics, logics, and verification
techniques for concurrent systems. Past CONCUR conferences have been
accompanied by successful workshops on a variety of topics, like
formal and foundational methods, models of systems (biological, timed),
security issues, semantical issues, verification methods.
The purpose of the workshops is to provide participants a forum for
presenting novel ideas, and to discuss in a small and interactive
atmosphere.
Proposals should include:
* The name and the preferred date of the proposed workshop.
* A very brief cv of the organizers
* A short scientific summary of the topic, its scope
and significance, and including a discussion on
the relation with the CONCUR topics.
* A description of past versions of the workshop, including dates,
organisers, submission and acceptance counts, attendance.
* Procedures for selecting papers, plans for dissemination
(for example, special issues of journals), and the expected
number of participants.
Important Dates:
Workshop proposals due November 24, 2007
Notification of acceptance due December 4, 2007
Electronic submissions to concur07ws 'at' di.fct.unl.pt
The CONCUR organization offers:
* Link from CONCUR and Workshop web sites.
* Management of registration and hotel reservation for participants.
* Setup of meeting space, and related equipment.
* Coffee-breaks and workshop dinner arrangements.
The main responsibility of organising a workshop goes to the
chairperson(s) of the workshop, financial issues included. The
format of each workshop is to be determined by its organisers.
The workshop organization must take care of:
* Workshop publicity, call for papers, and submission and review process.
* Providing a brief description of the workshop for inclusion on the
CONCUR web page.
* Scheduling workshop activities in collaboration with the CONCUR
local organizers.
Please contact the workshop chairs for further details about the support
CONCUR 2007 is planning to offer to workshops organization.
For further information consult the CONCUR 2007 web site
(http://concur07.di.fc.ul.pt/)
or contact the workshop chairs:
- Francisco Martins (fmartins 'at' di.fc.ul.pt)
- António Ravara (amar 'at' math.ist.utl.pt)
