28-30 Sep 2016
Rostock, Germany
Dear colleague,
Due to several requests, the deadline for submission to CS&P 2016
has been extended to Sunday, July 31st, 2016.
We'd like to invite you to the 25th Concurrency, Specification, and
Programming (CS&P 2016) workshop, which will be held in
Rostock, Germany, on 28. - 30. September 2016.
The Concurrency, Specification, and Programming (CS&P) workshop is one
of a series of seminars organised every even year by Humboldt
University of Berlin and every odd year by Warsaw University.
The workshop has a tradition dating back to the mid-seventies.
This year marks an anniversary: we celebrate the 25th edition of CS&P.
As usual, we intend to retain its not very formal character. Therefore,
submissions of not only full papers (not exceeding 12 pages) but also
extended abstracts (not less than 2 pages) are welcome. The program
committee will review the papers and abstracts and notify the authors
about acceptance.
The workshop spans three days devoted to presentations and discussion.
The materials (proceedings) of the workshop will be published online,
while authors of selected contributions are later invited to submit an
extended paper to the journal FUNDAMENTA INFORMATICAE.
PROGRAM COMMITTEE:
* Holger Schlingloff (Germany) (chair)
* Hans-Dieter Burkhard (Germany)
* Ludwik Czaja (Poland)
* Anna Gomolinska (Poland)
* Monika Heiner (Germany)
* Wojciech Jamroga (Poland)
* Magdalena Kacprzak(Poland)
* Hung Son Nguyen (Poland)
* Wojciech Penczek (Poland)
* Lech Polkowski (Poland)
* Louchka Popova-Zeugmann (Germany)
* Andrzej Skowron (Poland)
* Zbigniew Suraj (Poland)
* Marcin Szczuka (Poland)
* Matthias Werner (Germany)
* Karsten Wolf (Germany)
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
+ Applications
This list is not intended to be exclusive.
IMPORTANT DATES:
- Submission of abstracts and full papers: July 31, 2016
- Notification of acceptance: August 18, 2016
- Final version due: August 31, 2016
- Registration: August 31, 2016
- Workshop: September 28 - 30, 2016
CONFERENCE WEB SITE
with information on submission, registration and participation:
http://www2.informatik.hu-berlin.de/csp2016
If you have any questions, please contact
csp2016@informatik.hu-berlin.de
With kind regards,
HS
--
Prof. Dr. Holger Schlingloff
Inst. f. Informatik, Humboldt-Universität zu Berlin
FhG-FOKUS, Kaiserin-Augusta-Allee 31, 10589 Berlin
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam