Uniwersytet Warszawski University of Warsaw
Menu
Wyszukiwarka
 W bieżącym katalogu

Konferencja

2008-09-29 - 2008-10-01

Concurrency Specification and Programming, Groß Väter See (near Berlin)

This workshop is one of a series of seminars organized every even year by Humboldt University of Berlin and every odd year by Warsaw University. According to a tradition dating back to the 1970s, the workshop has an informal character. Therefore, submissions of full papers (not exceeding 12 pages) as well as extended abstracts are welcome. Accepted papers will be printed in the workshop proceedings. Selected contributions are planned to appear in a special issue of Fundamenta Informaticae following the regular refereeing procedure of this journal.

Topics of the workshop include:

  • Mathematical models of concurrency
  • Specification languages
  • Theory of programming
  • Parallel algorithms
  • Model checking and testing
  • Multi-agent systems
  • Rough sets
  • Object-oriented approaches
  • Knowledge management
  • Knowledge discovery and data mining
  • Soft computing

Organizing and Programme Committee:

  • Hans-Dieter Burkhard (Germany)
  • Ludwik Czaja (Poland)
  • Gabriela Lindemann (Germany)
  • Wojciech Penczek (Poland)
  • Andrzej Salwicki (Poland)
  • Holger Schlingloff (Germany)
  • Andrzej Skowron (Poland)
  • Zbigniew Suraj (Poland)

Deadlines:

  • Submission - June 13, 2008
  • Notification of acceptance - July 15, 2008
  • Final version due - August 31, 2008
  • Registration - Sept. 15, 2008
  • Workshop - Sept. 29th - Oct. 1st, 2008

Submissions:

Authors are requested to check in their papers (.pdf or .doc in Springer LNCS style, not exceeding 12 pages) electronically at http://www.easychair.org/conferences/?conf=csp2008

Workshop venue:

The meeting will take place at the "Feriendorf Groß Väter See" near Berlin (www.feriendorf-gross-vaeter-see.de). This venue is in the nature reserve "Schorfheide", in the middle of a large forest at a lakeside, with recreational facilities such as table tennis, bicycles, miniature golf, soccer, bowling, sauna etc. The conference centre is a village of several small and larger houses and offers full board, accommodation of various standards and conference facilities.

Participation and registration:

For each accepted paper, at least one author must register and present the paper at the workshop. There is no registration fee; the participants will only pay for accommodation and boarding at the conference centre. There are three pricing categories (single/double/students). Payment is in cash (Euro) only. Registration must be made before Sept 15th, 2008. Reservation requests, questions and special requirements concerning rooms, arrival / departure dates, etc. should be communicated by email (with subject line "CS&P2008: ...") to lindeman@informatik.hu-berlin.de.

Time Schedule:

Arrival at Groß Väter See will be on Sept. 28th (Sunday); the workshop will start on Sept 29th (Monday) at 9:00 am. On Sept. 30th (Tuesday) afternoon, there will be an excursion into the Schorfheide. End of the conference will be on Oct. 1st (Wednesday) in the afternoon. On Sunday and Wednesday there will be a bus transfer between the railway station and the conference site.

(MIMUW webmaster)