Email Gateway (Aug 19 2022 at 17:32): Email Gateway (Aug 19 2022 at 17:32):From: Josef Urban <josef.urban@gmail.com>
CALL FOR PAPERS -- SETS 2015
2nd International Workshop about Sets and Tools (SETS 2015)
June 23, 2015, Oslo, Norway
Affiliated to FM 2015
http://sets2015.cnam.fr/
AIM
Sets and constructs built upon them like relations, functions, sequences are
the main modeling ingredients of formalisms such as VDM, Z, B, or Event-B.
Sets also occur in the formalization of mathematics, as evidenced by the
large
library of the Mizar proof system for example. In addition, still in the
domain of verification, there is an increasing interest to automate set
theory
(which is known to be a difficult problem), with some concrete realizations,
such as mp (the "main prover" of Atelier B) or Muscadet (an automated
theorem
prover for natural deduction, which gives some good performances in set
theory). Sets are also the main features of some programming languages like
the former SetL language or the more recent {log} language (pronounced as
setlog).
The workshop aims at bringing together researchers interested in set theory,
especially to design tools for dealing with set theory, such as interactive
or
automated theorem provers, proof checkers, theories for general purpose
proof
tools, constraint solvers, programming languages etc. These tools may be
dedicated or general purpose tools. Contributions by theoreticians working
on
set theories or fragments of set theories in the aim of designing concrete
tools, and by practitioners using set-based tools are both welcome. We are
also interested by contributions providing some comparisons between set
modeling techniques and other formalisms, such as type theory (and variants)
for instance. Finally, regarding the domains of application, we mainly
expect
contributions in the framework of formal methods, but not exhaustively, and
contributions reporting formalizations of mathematics using set theory for
example could be of interest for this workshop as well.
TOPICS
Topics of interest for this workshop include all aspects of set theory and
corresponding tools. More specifically, some suggested topics are:
CONTRIBUTIONS AND PROCEEDINGS
Submitted papers must be 6-15 pages in length, following the Springer LNCS
format. These submissions may be:
Proceedings, including all the papers selected for the workshop, will be
published as online proceedings in the CEUR workshop proceedings series
(CEUR-WS.org).
PAPER SUBMISSION
Contributions must be submitted electronically in PDF using the SETS 2015
EasyChair web site at the following address:
https://www.easychair.org/conferences/?conf=sets2015
IMPORTANT DATES
Abstract submission: March 31, 2015
Submission deadline: April 7, 2015
Paper notification: May 7, 2015
Revised/final paper: May 22, 2015
Workshop: June 23, 2015
PROGRAMME CO-CHAIRS
David Delahaye (Cnam, France)
Catherine Dubois (Ensiie, France)
PROGRAMME COMMITTEE
Mats Carlsson (Swedish Institute of Computer Science, Sweden)
Iliano Cervesato (Carnegie Mellon University, USA)
Maximiliano Cristia (CIFASIS, Universidad Nacional de Rosario, Argentina)
David Deharbe (Universidade Federal do Rio Grande do Norte, Brazil)
Leo Freitas (Newcastle University, UK)
Michael Leuschel (University of Düsseldorf, Germany)
Stephan Merz (Inria Nancy - Grand Est, Loria, France)
Gianfranco Rossi (Università di Parma, Italy)
Arnaud Spiwack (MINES ParisTech, France)
Josef Urban (Radboud University Nijmegen, The Netherlands)
Wolfgang Windsteiger (RISC Institute, JKU Linz, Austria)
projects-mkm-ig mailing list
projects-mkm-ig@lists.jacobs-university.de
http://lists.jacobs-university.de/mailman/listinfo/projects-mkm-ig
Last updated: Nov 21 2024 at 12:39 UTC