[TYPES/announce] First Call for Papers SETS 2023

[David Delahaye]

4th International Workshop about Sets and Tools (SETS 2023)

Affiliated to CICM 2023


September 4, 2023 – Cambridge (UK)


https://urldefense.com/v3/__https://www.lirmm.fr/sets2023/__;!!IBzWLUs!W0ajUnfSJWkwNt89XqHTmaV2rm2t60jXt6GNkP8_CSyNGD96Xj6LI-__8eIYIMmrBkUceEan9_ONJ7yMmelvcIy4G4TaYxSSg-Wq8c90$ 


Call for Papers


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 theorem proving, 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 different decision procedures for SAT or 
SMT solvers. 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 in 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:


  *

    Proof tools for sets

  *

    Constraint solvers for sets

  *

    Set-based programming languages

  *

    Automated verification in set theory

  *

    Encodings of set theory in provers

  *

    Set theories for SMT solvers

  *

    Use of set-based tools in formal methods

  *

    Use of set-based tools in mathematics

  *

    Comparison of set-based tools

  *

    Comparison between set and type theories

  *

    Experience reports


Contributions and Proceedings


Submitted papers must be 6-15 pages in length, following the Springer 
LNCS format. These submissions may be:


  *

    Research papers providing new concepts and results

  *

    Position papers and research perspectives

  *

    Experience reports

  *

    Tool presentations


Proceedings, including all the papers selected for the workshop, will be 
published as online proceedings in the CEUR workshop proceedings series 
(CEUR-WS.org) together with the other workshop papers and informal 
submissions of CICM.


Submission Web Site


Contributions must be submitted electronically in PDF using the SETS 
2023 EasyChair web site at the following address:


https://urldefense.com/v3/__https://easychair.org/conferences/?conf=sets2023__;!!IBzWLUs!W0ajUnfSJWkwNt89XqHTmaV2rm2t60jXt6GNkP8_CSyNGD96Xj6LI-__8eIYIMmrBkUceEan9_ONJ7yMmelvcIy4G4TaYxSSgyy7k04R$ 


Contacts


For any question regarding SETS 2023, contact the workshop co-chairs:


  *

    Maximiliano Cristiá (cristia at cifasis-conicet.gov.ar
    <mailto:cristia at cifasis-conicet.gov.ar>)

  *

    David Delahaye (David.Delahaye at lirmm.fr
    <mailto:David.Delahaye at lirmm.fr>)

  *

    Olivier Hermant (Olivier.Hermant at minesparis.psl.eu
    <mailto:Olivier.Hermant at minesparis.psl.eu>)


-- 
7.5.8 - 27/08/2021

David DELAHAYE

Professor

Head of the Computer Science Departement
Faculty of Sciences

LIRMM UMR 5506
Bt. 4 – CC477 • 161 rue Ada
34095 Montpellier Cedex 5 • France

Phone: +33 (0)4 67 41 86 01 <tel:+33 (0)4 67 41 86 01>

David.Delahaye at lirmm.fr <mailto:David.Delahaye at lirmm.fr>

https://urldefense.com/v3/__http://www.lirmm.fr/*delahaye/__;fg!!IBzWLUs!W0ajUnfSJWkwNt89XqHTmaV2rm2t60jXt6GNkP8_CSyNGD96Xj6LI-__8eIYIMmrBkUceEan9_ONJ7yMmelvcIy4G4TaYxSSgymfUonZ$ 


<https://urldefense.com/v3/__http://www.umontpellier.fr/__;!!IBzWLUs!W0ajUnfSJWkwNt89XqHTmaV2rm2t60jXt6GNkP8_CSyNGD96Xj6LI-__8eIYIMmrBkUceEan9_ONJ7yMmelvcIy4G4TaYxSSg4akyg5I$ > 	<https://urldefense.com/v3/__http://http:/*www.lirmm.fr/*delahaye/__;L34!!IBzWLUs!W0ajUnfSJWkwNt89XqHTmaV2rm2t60jXt6GNkP8_CSyNGD96Xj6LI-__8eIYIMmrBkUceEan9_ONJ7yMmelvcIy4G4TaYxSSg4djXYog$ > 	

UNIVERSITÉ DE MONTPELLIER

Département Informatique
Bt. 16 – CC 12 • Place Eugène Bataillon
34095 Montpellier cedex 05 • France

informatique-fds.edu.umontpellier.fr 
<https://urldefense.com/v3/__https://informatique-fds.edu.umontpellier.fr/__;!!IBzWLUs!W0ajUnfSJWkwNt89XqHTmaV2rm2t60jXt6GNkP8_CSyNGD96Xj6LI-__8eIYIMmrBkUceEan9_ONJ7yMmelvcIy4G4TaYxSSg5DCDaw6$ >

<#> <#> <#> <#> <#>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230311/63de9dc8/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: fmamhlogdemmmopl.png
Type: image/png
Size: 2928 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230311/63de9dc8/attachment-0002.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: bhlchaajfjpomhff.png
Type: image/png
Size: 85 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230311/63de9dc8/attachment-0003.png>