Descriptional Complexity of Formal Systems 4th Workshop, August 21 - 24, 2002, London, Ontario, Canada

Contents

• The Workshop
• Topics
• Program Committee
• Invited Speakers
• Program
• Submissions
• Preproceedings - Intructions for Authors
• Proceedings
• Registration Information
• Hotel Information
• Student Residences
• Social Events
• Location
• Tourist- and Travel-Information
• Important Dates

The Workshop

DCFS is the successor workshop to and the merger of

• DCAGRS - Descriptional Complexity of Automata, Grammars and Related Structures, and
• FDSR - Formal Descriptions and Software Reliability.

DCFS 2002 will be jointly organized by the IFIP Working Group 1.2 on Descriptional Complexity and the University of Western Ontario.

It will take place immediately before

TCS 2002 - Theoretical Computer Science 2002
(Montreal, Canada, August 25-30, 2002),

The goal of the workshop is to present the state of the art and to provide a forum for the exchange of new results.

Topics

Submissions for DCFS 2002 are invited, concerning the descriptional complexity of formal systems and structures (and its applications).

Topics include, but are not limited to:

• various measures of descriptional complexity of automata, grammars, languages and of related systems
• trade-offs between descriptional complexity and mode of operation
• circuit complexity of Boolean functions and related measures
• succinctness of description of (finite) objects
• descriptional complexity in resource-bounded or structure-bounded environments
• structural complexity
• descriptional complexity of formal systems for applications (e.g. software reliability, software and hardware testing, modelling of natural languages)

Program Committee

• Jürgen Dassow (Magdeburg, Germany, Co-Chairman)
• Helmut Jürgensen (Potsdam, Germany and London, Canada, Co-Chairman)
• Detlef Wotschke (Frankfurt/Main, Germany, Co-Chairman)
• Norbert Blum (Bonn, Germany)
• Cristian Calude (Auckland, New Zealand)
• Erzsebet Csuhaj-Varju (Budapest, Hungary)
• Jonathan Goldstine (University Park, USA)
• Juris Hartmanis (Ithaca, USA)
• Juraj Hromkovic (Aachen, Germany)
• Chandra Kintala (Basking Ridge, USA)
• Carlos Martin-Vide (Tarragona, Spain)
• Dale Miller (University Park, USA)
• Catuscia Palamidessi (University Park, USA)
• Gheorghe Paun (Bucharest, Romania and Tarragona, Spain)
• Holger Petersen (Aachen, Germany)

Invited Speakers

• Juris Hartmanis (Cornell University)
• Martin Kappes (AVAYA Labs Research)
• Lila Kari (Univ. of Western Ontario)
• Jeffrey Shallit (Univ. of Waterloo)
• Sheng Yu (Univ. of Western Ontario)

Program

Submissions

Please submit your contribution via email as a postscript file (preferably as body of the email, not as an attachment) by June 05, 2002, to

dcfs@csd.uwo.ca

Preproceedings - Instructions for Authors

• Preproceedings will be distributed at the conference.
• Final versions for the preproceedings should be submitted by e-mail to

  dcfs@csd.uwo.ca

  by Friday, August 9.
• We prefer to receive the postscript file as the main body of the message and not as an attachment.
• Authors should follow the instructions:
  • postscript format (not eps, not pdf),
  • no page size or format information (so that we will not have printer problems here),
  • no colour,
  • no page numbers,
  • not exceed 15 pages.

Proceedings

Registration information

• The registration fee is $ 130.00 (Canadian) for early registration and $ 160.00 (Canadian) for late registration. To keep the process simple, the following procedure is used.
• For early registration please send email or fax with the relevant information to dcfs@csd.uwo.ca or +1-519-661-3515 (c/o DCFS, Ms. M. Hoeberechts) by 8 August, 2002. You do not need to send money in advance, but will pay your registration fee in cash upon arrival. We are using an honour system by which early registration implies that you will indeed pay the fee.
• Late registration is possible any time and requires payment of the late fee in cash upon arrival.
• To keep the costs low, we cannot accept credit cards or cheques.
• The registration desk will be open from 16.00 to 20.00 on 21 August in room 320 of Middlesex College and from 8.30 to 12.00 on 22 August in front of the conference room 105b of Middlesex College. At other times, registrations will be handled by the conference organizers on an indivudual basis.
• The registration fee includes the following:
Wine-and-cheese reception in room 320 of Middlesex College on 21 August, starting at 16.00 and ending at 20.00. Excursion to the Rock-Glen Conservation Area (waterfall, fossils) with a barbecue on 23 August (whole afternoon). Pre-proceedings volume of the workshop. Drinks and light food during the conference breaks.
• No other meals are included. Information on where to get breakfast (if not included in the hotel price), lunches or dinners will be distributed with the conference material. Regarding breakfast and lunch, the Club of Graduate Students in Middlesex College would be a convenient place for anybody enjoying the atmosphere of a pub.
• The fee for accompanying persons is $40 (Canadian), which includes the reception and the excursion with barbecue.

Hotel Information

• General hotel information is available at th URL www.csd.uwo.ca/london.htm. Special arrangements have been made with the following three hotels:
• Station Park: North-American (high) standard, located in downtown London, walking distance to the city centre, on bus route 6 to the university. When you contact them mention DCFS2002 and the confirmation number 114323. Phone: +1-519-642-4444, Fax: +1-519-642-2551 special rate: $119 per night, breakfast not included.
• Idlewyld Inn: Beautifully refurbished Victorian mansion in South London, walking distance to the city centre, on bus route 6 to the university. Phone: +1-519-433-2891, Fax: +1-519-4332891, special rate: $99 per night, breakfast included.
• London Execute Suites: City centre. When you contact them mention DCFS2002 and the confirmation number lesh21. Phone: +1-519-679-3932, Fax: +1-519-679-6526, special rate: $85 per night
• Please make your own accommodation arrangements directly with the hotel of your choice.
• Please note that for reservation by e-mail a credit card number is necessary.

Student Residences

• The following student residence would have space available:
• Residences of the University of Western Ontario via Conference Services.
• Please make your own accommodation arrangements directly with the residences.

Social Events

• The Reception on Wednesday, August 21, will be from 4-8pm in Middlesex College 320.
• The Excursion will be to Rock Glen Conservation Area (approximately 45 minutes from London). A bus will leave from Middlesex College on August 23 around 2pm. The conservation area has a small waterfall and trails for hiking. We have reserved a pavillon for a barbecue.

Location

• The Reception on Wednesday, August 21, will be from 4-8pm in Middlesex College 320.
• The Talks will all be in Middlesex College Room 105B. This room is equipped with a data projector, audio/visual equipment, overhead projector and chalkboards.
• The Coffee Breaks will take place in Middlesex College, Room 6. This room will also be available all day during the conference as a work room and for discussions.
• For Lunch, there are two on-campus restaurants:
  • The Grad Club (located in the basement of Middlesex College) Serves pub style food and has an outdoor barbecue (see www.uwo.ca/sogs/gradclub/)
  • The Wave (in the University Community Centre, second floor) Serves sandwiches and warm meals, open 11am-2pm (see www.uwo.ca/wave/)

Tourist- and Travel-Information

Important Dates

Deadline for submission : Acceptance notification: Final copy for the preproceedings: Early Registration: Workshop:

June 5, 2002 July 5, 2002 August 9, 2002 August 8, 2002 August 21-24, 2002