Workshop on
Concurrency, Specification, and Programming
CS&P 2009
  Kraków-Przegorzały, Poland, 28-30 September 2009

  • About CS&P 2009
  • Organising Committee
  • Proceedings
  • Programme
  • Photo Gallery
  • Venue
  • Contact

UW logo

HU logo

CS&P 2009 Programme

The program has been updated on September 26. Changes in last session, Section A.

The 2009 Workshop on Concurrency, Specification, and Programming is scheduled for full day on September 28-29, and for half day on September 30 (until lunch).

On September 29 all participants are invited to Conference dinner which starts at 18:30.

In the afternoon of September 30 a trip to Wieliczka Salt Mines is planned. The trip takes whole of the afternoon. The persons who wish to take part in this excursion should contact Organisers either by email or in person before lunch on Monday, September 28. The cost of the excursion (around 90 PLN) has to be paid by participant.

The main technical programme of CS&P is divided into two parallel streams:

  • SECTION A: Mathematical models of concurrent systems, Parallel algorithms, Model checking, Theory of automata and formal languages, Specification language

  • SECTION B: Multiagent systems, Rough sets, Object-oriented approaches, Knowledge management, Programming languages, Knowledge Discovery and Data Mining, Soft Computing, Robotics.

The detailed Programme with update in PDF