• 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)

Preface

This volume contains the papers presented at the 14th edition of the International Workshop on Satisfiability Modulo Theories (SMT 2016). The workshop was held on July 1st and 2nd 2016 in Coimbra, Portugal in association with the 8th International Joint Conference on Automated Reasoning (IJCAR 2016).

The SMT workshop is world’s premier annual event dedicated to SMT. It is a forum that brings together researchers of SMT, users of SMT technologies, and students. The workshop covers all aspects SMT including new decision procedures, novel applications, implementation techniques, theoretical developments, evaluation methodologies, and case studies. As in previ- ous years of the workshop, we invited three categories of papers: extended abstracts, to describe preliminary works in progress and solicit feedback, original papers, to present original, mature research, and presentation-only papers, to provide additional access to important developments that SMT Workshop attendees may be unaware of.

This year the workshop received 16 submissions. Each submission was reviewed by at least three program committee members. We have accepted 15 of these submissions as contributions to the workshop. This reflects the high quality of the submissions and the interests of the pro- gram committee in: fostering discussion, the presentation of preliminary work, and encouraging participation. Accepted were 5 original papers, 4 extended abstracts, and 6 presentation-only papers. Additionally, the program included three invited talks by Bruno Dutertre from SRI International, Carsten Fuhs from Birkbeck, University of London, and Justin Pearson from Uppsala University.

We would like to thank the authors, the invited speakers, the program committee, the reviewers, and the steering committee for their contributions to the workshop. We thank the IJCAR organizers for hosting the workshop, the EasyChair team for the availability of the EasyChair Conference System, and the CEUR Workshop Proceedings team for their help in publishing these proceedings.

July, 2016 Tim King

Ruzica Piskac

Références

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

Documents relatifs

Preface to the Special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)

This special issue contains improved and extended versions of selected papers from the 19th International Workshop on Formal Methods for Industrial

Preface

There  were  13  submissions  to  the  workshop,  from  which  the  program  committee  accepted  5  as  full  papers  and  5  as  short  papers.  Taking 

Preface

Workshop on Large-scale and model-based Interactive Systems: Approaches and Challenges, June 23 2015, Duisburg, Germany.. Copyright c 2015 for the individual papers by the

Preface

Thanks to all the invited speakers, poster presenters and workshop participants, the DMRS 2014 had been successfully held at the Faculty of Computer Science,

Preface

This joint volume of proceedings gathers papers from the 6th International Workshop on Dataset Profiling and Search (PROFILES 2019) and the 1st Workshop on Semantic

Preface

The annDH workshop makes an attempt to push the boundary of this interface and focus on annotation beyond the standard linguistic categories, looking at categories and

Preface

This joint volume contains papers from the 1st International Workshop on Tem- poral Dynamics in Digital Libraries (TDDL 2017), the (Meta)-Data Quality Workshop (MDQual 2017), and

Preface

These proceedings contain the full papers, short papers, and posters selected for presentation at the First International Workshop on Accessing Cultural Heritage