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

Konferencja

2007-09-27 - 2007-09-29

Concurrency Specification and Programming, Łagów (Poland), 27-29 September 2007

This workshop is one of the seminar series organized every even year by Humboldt University of Berlin and every odd year by Warsaw University. Four recent meetings were co-organized also by the University of Information Technology and Management in Rzeszów. According to a tradition dating back to the 1970s, its informal character will be retained. Therefore, extended abstracts are requested, as well as full drafts not exceeding 12 pages. 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.

Topics of the workshop include:
  • Mathematical models of concurrent systems
  • Parallel algorithms
  • Model checking
  • Theory of formal languages
  • Specification languages
  • Multiagent 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:
  • Preliminary version July 15, 2007
  • Notification of acceptance August 15, 2007
  • Final version (reached by PC) August 25, 2007
Submissions:

Authors are invited to send papers not exceeding 12 pages electronically in pdf format to lczaja@mimuw.edu.pl with CC to skowron@mimuw.edu.pl.

Workshop venue:

The meeting will take place in Łagów, a beautiful village with a medieval castle of the Joannite Knights widely known as Knights Hospitaller (one of the crusaders' order). The village is situated half way between Berlin and Poznań, not far from the Berlin - Warsaw railway (the Eurocity train stops in Rzepin and Świebodzin some 25 km. from Łagów), between two lakes, surrounded by large forested area. The Łagów's conference centre Leśnik (www.lesnik.ta.pl/indexen.html) offers full board, accommodation of various standard and conference facilities. There will be a bus transfer from the railway station and the conference site.

Participation and registration:

There is no registration fee. The participants will pay accommodation and boarding directly to the conference centre during their stay. The expected price of double room is 60 PLN/person/night and of single - 100 PLN/person/night and full board - 70 PLN/person/day. The hotel booking, questions and requirements concerning rooms, the participants' advice of arrival/departure date, etc. should be sent personally by e-mail: lesnik@ta.pl with the statement "CS&P'2007 Workshop" (the hotel will send back a booking note). The hotel should be booked not later than by 31st August 2007. Independently, the participants should register their attendance on the Workshop page www.mimuw.edu.pl/csp2007/.

Organization of time:

There will be two days (27th and 28th September) of parallel working sessions. The third day is reserved for special events.

(MIMUW webmaster)