• Aucun résultat trouvé

Preface

N/A
N/A
Protected

Academic year: 2022

Partager "Preface"

Copied!
1
0
0

Texte intégral

(1)

Work in Progress Preface

This volume contains the work in progress papers presented at CICM 2013:

Conference on Intelligent Computer Mathematics held on July 9, 2013 in Bath.

There were 7 submissions. Each submission was reviewed by at least 2, and on the average 2.1, program committee members. The committee decided to accept 4 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

David Aspinall Jacques Carette Christoph Lange Petr Sojka Wolfgang Windsteiger

Program Committee

A subset of the complete CICM program committee, consisting of the track chairs, reviewed the work in progress submissions. These PC members are listed here.

David Aspinall Jacques Carette Christoph Lange Petr Sojka

Wolfgang Windsteiger

Additional Reviewers

L´ıˇska, Martin

v

Références

Documents relatifs

One interaction contribution was selected for inclusion in the CEUR proceed- ings and to be conducted at the conference. In Understanding Human Errors In Software Requirements:

154. The Rapporteur further explained that the Body invited submitting States to carefully follow the instructions given in the form and to refer to advice made

The ninth session of the Committee will be held at Room I of UNESCO Headquarters, located on the ground floor of the Fontenoy Building (see Annex

In accordance with paragraph 26 of the Operational Directives, evaluation of nominations to the Urgent Safeguarding List, proposals for the Register of Best

Sexton: Systems & Projects Track Chair Petr Sojka: Digital Mathematical Libraries Track Chair. Josef Urban: Mathematical Knowledge Management

The 1st International IFIP Working Conference on Value-Driven Social Semantics.. & Collective Intelligence (IFIP

THANKS the members of the study groups for

.Secretary of the ECA acting on behalf of the Secretary General of .the United Mat ions as Trustee of that- ■ Agreement convened.the First Meeting of the Board of Governors of the