• Aucun résultat trouvé

Preface

N/A
N/A
Protected

Academic year: 2022

Partager "Preface"

Copied!
1
0
0

Texte intégral

(1)

Preface

This volume contains the papers presented at CS&P 2014: 23th International Workshop on Concurrency, Specification and Programming held on September 28 - October 1, 2014 in Chemnitz.

Since the early seventies Warsaw University and Humboldt-University have alternately organized an annual workshop - since 1993 as CS&P. Over time, it has grown from a bilateral seminar to a meeting attended also by colleagues from other countries than Poland and Germany. This year there are 34 participants from 10 countries.

Following the workshops tradition we strive to retain an informal working atmosphere. Therefore, the proceedings includes drafts and extended abstracts as well as fully elaborated contributions.

September 8, 2014 Berlin/Chemnitz

Louchka Popova-Zeugmann Matthias Werner Holger Schlinglo↵

v

Références

Documents relatifs

This volume contains the papers presented at the 1st Workshop on Artificial In- telligence & Design (AIDE 2015, http://www.di.uniba.it/~lisi/AIDE2015/ ) held on September 22,

Due to the nature of patent documents, innovative approaches need to be taken for automatic analysis of patents and in general for big data analytics of scientific

This volume contains the papers presented at LANMR 2014: 9th Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2014 held on November 5–7, 2014

This document contains the proceedings of the 2nd International Workshop on Eye Tracking for Spatial Research (ET4S 2014), held on September 23, 2014 in Vienna, Austria,

This volume contains the papers presented at PRUV 2014: First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness held on July 22-23, 2014 in Vienna..

This volume contains the papers presented at the 26th OpenMath Workshop held in July 2014 in Coimbra, Portugal.. These papers were accepted for presentation and discussion:

This volume contains the peer-reviewed papers presented at BioPPN 2014 – the 5th International Workshop on Biological Processes & Petri Nets held on June 23, 2014 in Tunis

This two-volume proceedings contain the papers presented at CSP 2012: 21th international Workshop on Concurrency, Specification and Programming held on September 26-28, 2012 in