征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

The 27th workshop on Concurrency, Specification, and Programming 2018 (CS&P'18) is one of a series of seminars organised every even year by Humboldt University of Berlin and every odd year by Warsaw University. It deals with formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. The workshop has a tradition dating back to the mid-seventies; since 1993 it was named CS&P. During the past 30 years, CS&P has become an important forum for researchers from European and Asian countries. 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 Programme Committee will review the papers and abstracts and notify the authors about acceptance.

CS&P'18 spans three days devoted to presentations and discussion of new ideas. It is open for registered participants only. CS&P is organised on a self-cost basis. Registration covers coffee breaks and soft drinks during the workshop, three lunches, and the excursion and conference dinner. Accommodation and travel are to be organized individually by the participants.


The workshop spans three days devoted to presentations and discussion. 

The materials (proceedings) of the workshop are published by the organising institution and will be available via CEUR, while authors of selected contributions are later invited to submit an extended paper to the journal FUNDAMENTA INFORMATICAE.

组委会

Program Committee (tentative)

  • Holger Schlingloff (Germany) (chair)

  • Hans-Dieter Burkhard (Germany)

  • Ludwik Czaja (Poland)

  • Anna Gomolinska (Poland)

  • Wojciech Jamroga (Poland)

  • Magdalena Kacprzak(Poland)

  • Hung Son Nguyen (Poland)

  • Wojciech Penczek (Poland)

  • Lech Polkowski (Poland)

  • Andrzej Skowron (Poland)

  • Zbigniew Suraj (Poland)

  • Marcin Szczuka (Poland)

  • Matthias Werner (Germany)

  • Karsten Wolf (Germany)

征稿信息

重要日期

2018-06-30
摘要截稿日期
2018-07-13
初稿截稿日期
2018-08-11
初稿录用日期
2018-08-25
终稿截稿日期

Topics of the workshop include, but are not limited to:

  • Mathematical models of concurrency
  • Formal specification languages
  • Theory of programming
  • Model checking and testing
  • Multi-agent systems
  • Rough sets
  • Verification
  • Formal aspects of knowledge management
  • Knowledge discovery and data mining
  • Soft computing
  • Applications, e.g. in Robotics

Publication

Accepted papers for CS&P 2018 will be published in the workshop proceedings, to appear at CEUR.
Independently, a special issue of the IOS Press journal FUNDAMENTA INFORMATICAE will contain selected contributions from the workshop. The submission to this special issue is by invitation only; the selection being made by the PC on the basis of the presentation during the workshop.
In addition to this pre-selection process, all papers submitted to the special issue of FUNDAMENTA INFORMATICAE will have to pass the regular reviewing procedure for this journal to ensure their scientific quality.

作者指南

Submissions
Contributions must be electronically submitted in portable document format (.pdf) via the EasyChair CS&P 2018 page. 
The deadline for submissions is June 30th, 2018!
Instructions for typesetting
Submitted full papers must not exceed 12 pages. Extended abstracts can be submitted as well, but they should not have less than 2 full pages. Both full papers and extended abstracts should conform to the Springer LNCS-style, which is described at www.springer.de/comp/lncs/authors.html. 

You can use the style-file llncs2e.sty or the provided word template. 

Please, do not number the pages. Also, do not alter text font or size, line spacing, or text width!

留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    09月24日

    2018

    09月26日

    2018

  • 06月30日 2018

    摘要截稿日期

  • 07月13日 2018

    初稿截稿日期

  • 08月11日 2018

    初稿录用通知日期

  • 08月25日 2018

    终稿截稿日期

  • 09月26日 2018

    注册截止日期

移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询