• Aucun résultat trouvé

OpenMath Preface

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "OpenMath Preface"

Copied!
1
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

OpenMath 2014 Preface

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: the conclusions and any developments to OpenMath can be found in the minutes of the meeting at http://www.openmath.org.

There were 7 submissions. Each submission was reviewed by at least 2 refer- ees, all program committee members. The committee decided to accept 6 papers.

July 2, 2014, Bath James H. Davenport

Program Committee

James H. Davenport University of Bath Lars Hellstr¨om M¨alardalen University

Jan Willem Knopper Technische Universiteit Eindhoven Michael Kohlhase Jacobs University Bremen

Christoph Lange Rheinische Friedrich-Wilhelms University of Bonn Paul Libbrecht Weingarten University of Education

Chris Rowley LATEX3 Project and OpenMath Society

Références

Télécharger maintenant ( PDF - 1 Page - 48.35 KB )

Documents relatifs

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

Preface

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..

CALL FOR PAPERS Workshop

Moreover , many nati onal publ i c pol i ci es rel ated to the housi ng market (e.g. protected areas) use del i neati on rul es to target speci fi c types of l ocati ons or

Preface

This volume contains the papers presented at the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV 2018), which was held on July 19th, 2018,

Short papers presented as posters at MAICS 2017 conference

For the same number of bus services in- stead of using one size vehicles and fixed value of time intervals, different size vehicles are used to adjust to the variation of

Accepted Papers

Hui Wang, Quan Sun, Anika Oellrich, Honghan Wu and

Preface

This volume contains the papers presented at the Third International Workshop on Experimental Economics and Machine Learning held on July 18, 2016 at the National Research

Preface

This volume contains the papers presented at the 3rd International Workshop on Concept Discovery in Unstructured Data (CDUD 2016) held on July 18, 2018 at the National