Wednesday, October 15, 2014

[DMANET] Workshops at LICS/ICALP 2015

Call for Workshop Proposals
ICALP/LICS 2015
July 4-12, 2015, Kyoto, Japan
http://www.kurims.kyoto-u.ac.jp/icalp-lics2015/

ICALP 2015 (The 42nd International Colloquium on Automata, Languages,
and Programming) and LICS 2015 (The 30th ACM/IEEE Symposium on Logic
In Computer Science) will co-locate in Kyoto, July 6-10, 2015. Their
affiliated workshops will be jointly held on July 4-5 and July 11-12
as Workshops at ICALP/LICS 2015. Proposals for them are now being
sought. Each workshop proposal should include:

1. Name of the workshop, its format, a short scientific summary of the
topic, and its relevance to the main conferences, including
information on the same or similar workshops organized previously.

2. Preferences for duration (from a half day to two days), before or
after the main conference, specific dates, the size of the lecture
room, etc., and whether the preferences are strict.

3. List of expected organizers/invited speakers/participants

4. Procedures for selecting participants and papers.

5. Plans for dissemination (for example, special issues of journals)

The format (invited speakers, talk submission, workshop records, etc.)
of each workshop is determined by the workshop organizers. The selection
of proposals will be done by the local organizing chairs and workshop
chairs of ICALP/LICS 2015.

All proposals should be sent to icalp-lics2015@kurims.kyoto-u.ac.jp.
For further information contact icalp-lics2015@kurims.kyoto-u.ac.jp,
also.

Important dates:
Submission due: Nov 14, 2014
Notification: Dec 5, 2014
Final Program: Apr-May, 2015
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************