• Aucun résultat trouvé

Preface

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

Academic year: 2022

Partager "Preface"

Copied!
1
0
0

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

Texte intégral

(1)

OpenMath Preface

This volume contains the papers presented at the 25th OpenMath Workshop held on July 10, 2013 in Bath.

There were 3 submissions. Each submission was reviewed by at least 3, and on the average 3.3, program committee members. The committee decided to accept 3 papers.

We would like to thank our peer reviewers for carefully reviewing the sub- missions and giving constructive feedback.

This proceedings volume has been generated with EasyChair and ceur-make, which made this task really convenient.

July 6, 2013 Birmingham

Christoph Lange James H. Davenport Michael Kohlhase

Program Committee

James H. Davenport University of Bath Lars Hellstr¨om Ume˚a University

Jan Willem Knopper Technische Universiteit Eindhoven Michael Kohlhase Jacobs University Bremen

Christoph Lange University of Birmingham

Paul Libbrecht Center for Educational Research, Martin Luther University Halle

v

Références

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

Documents relatifs

Preface Volume 3

It is of high relevance to the AIED community to explore how AI techniques can be used to support collaborative learning, and how theories of how students

Preface

This volume contains the papers presented at the Fifth International Workshop on Experimental Economics and Machine Learning held on September 26, 2019 at the National

Preface

This volume contains the papers presented at the 4-th Workshop on Satisfiability Checking and Sym- bolic Computation (SC-square) held on 10th July 2019 in Bern (Switzerland) as part

Preface

This volume contains the papers presented at STPIS'19: 5th International Workshop on Socio-Technical Perspective in IS Development was held on June 10, 2019 in Stock- holm,

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,

Preface

This volume contains the papers presented at the Second International Work- shop on Satisfiability Checking and Symbolic Computation (SC 2 2017).. The workshop was held on the 29th

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