Thursday, April 27, 2017

[DMANET] DCFS 2017 call for participation

CALL FOR PARTICIPATION - DCFS 2017

Descriptional Complexity of Formal Systems 2017
July 3-5, 2017, Milano, Italy

http://dcfs2017.di.unimi.it/ <http://dcfs2017.di.unimi.it/>


*** Early registration deadline: May 15, 2017 ***

The 19th IFIP WG 1.02 International Conference on Descriptional Complexiy of
Formal Systems is organized by the Department of Computer Science, University
of Milano, and by the IFIP Working Group 1.02 "Descriptional Complexity" <http://www.informatik.uni-giessen.de/ifipwg1.2/>.


The scientific program of DCFS 2017 consists of 4 invited lectures
and 20 contributed papers.

Invited lectures by
- Jürgen Dassow (Magdeburg, Germany)
- Dora Giammarresi (Rome, Italy)
- Stavros Konstantinidis (Halifax/NS, Canada)
- Orna Kupferman (Jerusalem, Israel)

The list of accepted papers can be found on the conference web site.

Proceeding will be published on Lecture Notes in Computer Science and will be
available during the conference.

Early registration deadline: May 15, 2017


CONTACT

email: dcfs2017@di.unimi.it <mailto:dcfs2017@di.unimi.it>
http://dcfs2017.di.unimi.it/ <http://dcfs2017.di.unimi.it/>


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************