The deadline of the SETS 2023 workshop has been extended to May 29,
2023. We have also added the "journal-first papers" submission category
(papers that have been published in a journal during the last year but
have never been presented at a conference or workshop). Please feel free
to submit your contribution.
4th International Workshop about Sets and Tools (SETS 2023)
Affiliated to CICM 2023
September 4, 2023 – Cambridge (UK)
https://www.lirmm.fr/sets2023/
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
* Journal-first papers. That is, papers that have been published in a
journal during the last year but have never been presented at a
conference or workshop. The authors should submit an abstract and a
reference indicating where the paper was published.
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://easychair.org/conferences/?conf=sets2023
Contacts
For any question regarding SETS 2023, contact the workshop co-chairs:
* Maximiliano Cristiá (cristia@cifasis-conicet.gov.ar)
* David Delahaye (David.Delahaye@lirmm.fr)
* Olivier Hermant (Olivier.Hermant@minesparis.psl.eu)
2023-04-20
[Caml-list] 2nd Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)
===============================================================================
11th ACM SIGPLAN International Workshop on
Functional Art, Music, Modelling and Design
(FARM)
Call for Papers, Demos, and Performance
Seattle, Washington, USA, 8th September 2023
Deadline: June 1
https://functional-art.org/2023
===============================================================================
Key Dates
---------
Submission deadline June 1 (AoE)
Author notification July 1
Camera-ready deadline July 15
Workshop September 8
AUTHORS TAKE NOTE:
The official publication date is the date the proceedings are made
available in the ACM Digital Library. This date may be up to two weeks
prior to the first day of your conference. The official publication date
affects the deadline for any patent filings related to published work.
Call for Papers
---------------
The ACM SIGPLAN International Workshop on Functional Art, Music,
Modelling and Design (FARM) encourages submissions from across art,
craft, and design, including textiles, visual art, music, 3D
sculpture, animation, GUIs, video games, 3D printing and architectural
models, choreography, poetry, and even VLSI layouts, GPU
configurations, or mechanical engineering designs. Theoretical
foundations, language design, implementation issues, and applications
in industry or the arts are all within the scope of the workshop.
In addition to the main workshop, FARM hosts a traditional evening of
performances. Thus, this call encompasses both papers/demos for the
workshop (and its published proceedings) as well as performance
proposals for the evening's event. Authors are invited to make a
single submission for each. Authors may submit both a paper/demo and
performance proposal, but the submissions will be considered
independently.
Note on Finances
----------------
Paid registration to the FARM workshop is usually required for paper
and demo submitters, but will be waived for performers.
If you would have financial difficulty attending, you can apply for
conference "PAC" funds. Please get in touch for more information.
Papers
------
Paper submissions are invited in three categories:
- Original research
- Overview / state of the art
- Technology tutorial (especially tools and environments for distributed artistic workflow)
Papers must be submitted via HotCRP (https://farm23.hotcrp.com)
and meet the following requirements:
- 5 to 12 pages
- PDF format
- Adhere to the ACM SIGPLAN template
Accepted papers will be published in the ACM Digital Library as part
of the FARM 2023 proceedings.
Authors are encouraged to submit auxiliary material for publication
along with their paper (source code, data, videos, images,
etc.). Authors retain all rights to the auxiliary material.
Demos
-----
Demo submissions should describe a demonstration and its context,
connecting it with the themes of FARM. A demo could be in the form of
a short (10 to 20 minute) tutorial, a presentation of work in
progress, an exhibition of some work, or even a performance.
Demos must be submitted via HotCRP (https://farm23.hotcrp.com)
and meet the following requirements:
- 500 to 2000 words
- Have a title starting with "Demo: "
- PDF format
- Adhere to the ACM SIGPLAN template (https://www.sigplan.org/Resources/ProceedingsFormat)
Accepted demos will be published in the ACM Digital Library as part of
the FARM 2023 proceedings.
Performances
------------
FARM seeks proposals for performances which employ functional
programming techniques, in whole or in part. We invite a diverse range
of functionally-themed submissions including music, video, dance, and
performance art. Both live performances and fixed-media submissions
are welcome. We encourage risk-taking proposals that push forward the
state of the art as well as refined presentations of highly developed
practice. In either case, please support your submission with a clear
description of your performance, including how your performance
employs functional programming and a discussion of influences and
prior art as appropriate.
Performance proposals should be emailed to
performance@functional-art.org, and must include:
- A description of the performance (please be as specific as possible)
- An explanation of the use of functional programming in the work
- A list of technical requirements
- A link to an audio or video example (YouTube, Vimeo, Bandcamp, etc.)
Accepted performances will be presented at the performance evening.
Workshop Organization
---------------------
Workshop Chair: Mae Milano (University of California, Berkeley)
Program Chair: John Leo (Halfaya Research)
Performance Chair: Kaley Eaton (Cornish College of the Arts)
Publicity Chair: Michael Sperber (Active Group GmbH)
Contact
-------
For any questions, issues or comments, email
farm-2023@functional-art.org.
11th ACM SIGPLAN International Workshop on
Functional Art, Music, Modelling and Design
(FARM)
Call for Papers, Demos, and Performance
Seattle, Washington, USA, 8th September 2023
Deadline: June 1
https://functional-art.org/2023
===============================================================================
Key Dates
---------
Submission deadline June 1 (AoE)
Author notification July 1
Camera-ready deadline July 15
Workshop September 8
AUTHORS TAKE NOTE:
The official publication date is the date the proceedings are made
available in the ACM Digital Library. This date may be up to two weeks
prior to the first day of your conference. The official publication date
affects the deadline for any patent filings related to published work.
Call for Papers
---------------
The ACM SIGPLAN International Workshop on Functional Art, Music,
Modelling and Design (FARM) encourages submissions from across art,
craft, and design, including textiles, visual art, music, 3D
sculpture, animation, GUIs, video games, 3D printing and architectural
models, choreography, poetry, and even VLSI layouts, GPU
configurations, or mechanical engineering designs. Theoretical
foundations, language design, implementation issues, and applications
in industry or the arts are all within the scope of the workshop.
In addition to the main workshop, FARM hosts a traditional evening of
performances. Thus, this call encompasses both papers/demos for the
workshop (and its published proceedings) as well as performance
proposals for the evening's event. Authors are invited to make a
single submission for each. Authors may submit both a paper/demo and
performance proposal, but the submissions will be considered
independently.
Note on Finances
----------------
Paid registration to the FARM workshop is usually required for paper
and demo submitters, but will be waived for performers.
If you would have financial difficulty attending, you can apply for
conference "PAC" funds. Please get in touch for more information.
Papers
------
Paper submissions are invited in three categories:
- Original research
- Overview / state of the art
- Technology tutorial (especially tools and environments for distributed artistic workflow)
Papers must be submitted via HotCRP (https://farm23.hotcrp.com)
and meet the following requirements:
- 5 to 12 pages
- PDF format
- Adhere to the ACM SIGPLAN template
Accepted papers will be published in the ACM Digital Library as part
of the FARM 2023 proceedings.
Authors are encouraged to submit auxiliary material for publication
along with their paper (source code, data, videos, images,
etc.). Authors retain all rights to the auxiliary material.
Demos
-----
Demo submissions should describe a demonstration and its context,
connecting it with the themes of FARM. A demo could be in the form of
a short (10 to 20 minute) tutorial, a presentation of work in
progress, an exhibition of some work, or even a performance.
Demos must be submitted via HotCRP (https://farm23.hotcrp.com)
and meet the following requirements:
- 500 to 2000 words
- Have a title starting with "Demo: "
- PDF format
- Adhere to the ACM SIGPLAN template (https://www.sigplan.org/Resources/ProceedingsFormat)
Accepted demos will be published in the ACM Digital Library as part of
the FARM 2023 proceedings.
Performances
------------
FARM seeks proposals for performances which employ functional
programming techniques, in whole or in part. We invite a diverse range
of functionally-themed submissions including music, video, dance, and
performance art. Both live performances and fixed-media submissions
are welcome. We encourage risk-taking proposals that push forward the
state of the art as well as refined presentations of highly developed
practice. In either case, please support your submission with a clear
description of your performance, including how your performance
employs functional programming and a discussion of influences and
prior art as appropriate.
Performance proposals should be emailed to
performance@functional-art.org, and must include:
- A description of the performance (please be as specific as possible)
- An explanation of the use of functional programming in the work
- A list of technical requirements
- A link to an audio or video example (YouTube, Vimeo, Bandcamp, etc.)
Accepted performances will be presented at the performance evening.
Workshop Organization
---------------------
Workshop Chair: Mae Milano (University of California, Berkeley)
Program Chair: John Leo (Halfaya Research)
Performance Chair: Kaley Eaton (Cornish College of the Arts)
Publicity Chair: Michael Sperber (Active Group GmbH)
Contact
-------
For any questions, issues or comments, email
farm-2023@functional-art.org.
2023-04-06
[Caml-list] APLAS 2023 first Call for Papers
======================================================================
CALL FOR PAPERS
21st Asian Symposium on Programming Languages and Systems (APLAS 2023)
Taipei, Taiwan, Sun 26 – Wed 29 November 2023
https://conf.researchr.org/home/aplas-2023
======================================================================
IMPORTANT DATES
-------------------------------------
Submission deadline: Thu 15 Jun 2023 AoE
Author response: Mon 31 Jul 12:00 - Wed 2 Aug 12:00 2023 AoE
Author notification: Mon 14 Aug 2023 AoE
Final paper deadline: Wed 6 Sep 2023 AoE
Conference: Sun 26 – Wed 29 Nov 2023
SCOPE
-------------------------------------
We solicit submissions in the form of regular research papers
describing original scientific research results, including system
development and case studies. Among others, solicited topics include:
- ** programming paradigms and styles ** :
functional programming; object-oriented programming; probabilistic
programming; logic
programming; constraint programming; extensible programming
languages; programming languages for systems code; novel programming
paradigms;
- ** methods and tools to specify and reason about programs and
languages ** :
programming techniques; meta-programming; domain-specific
languages; proof assistants; type systems; dependent types; program
logics, static and dynamic program analysis; language-based
security; model checking; testing;
- ** programming language foundations ** :
formal semantics; type theory; logical foundations; category
theory; automata; effects; monads and comonads; recursion and
corecursion; continuations and effect handlers; program
verification; memory models; abstract interpretation;
- ** methods and tools for implementation ** :
compilers; program transformations; rewriting systems;
partial evaluation; virtual machines; refactoring; intermediate
languages; run-time environments; garbage collection and memory
management; tracing; profiling; build systems; program synthesis;
- ** concurrency and distribution ** :
process algebras; concurrency theory; session types; parallel
programming; service-oriented computing; distributed and mobile
computing; actor-based languages; verification and testing of
concurrent and distributed systems;
- ** applications and emerging topics ** :
programming languages and PL methods in education, security,
privacy, database systems, computational biology, signal
processing, graphics, human-computer interaction, computer-aided
design, artificial intelligence and machine learning; case
studies in program analysis and verification.
GENERAL INFORMATION
-------------------------------------
Submissions should not exceed 17 pages, excluding bibliography in the
Springer LNCS format. LaTeX template is available at:
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
The accepted papers will be allowed to use one extra page for the
content to accommodate feedback from the reviews in the final paper
versions.
Papers should be submitted via HotCRP:
https://aplas2023.hotcrp.com/
The review process of APLAS 2023 is double-anonymous, with a rebuttal
phase. In your submission, please, omit your names and institutions;
refer to your prior work in the third person, just as you refer to
prior work by others; do not include acknowledgments that might
identify you.
Additional material intended for reviewers but not for publication in
the final version - for example, details of proofs - may be placed in
a clearly marked appendix that is not included in the page limit.
Reviewers are at liberty to ignore appendices and papers must be
understandable without them.
Submitted papers must be unpublished and not submitted for publication
elsewhere. Papers must be written in English. The proceedings will be
published as a volume in Springer's LNCS series. Accepted papers must
be presented at the conference.
POSTERS and STUDENT RESEARCH COMPETITION
----------------------------------------
APLAS 2023 includes a Posters session and a Student Research
Competition. For more details, please see the website.
https://conf.researchr.org/track/aplas-2023/posters-and-src
ORGANIZERS
-------------------------------------
General Chair:
Shin-Cheng Mu, Academia Sinica, Taiwan
Program Chair:
Chung-Kil Hur, Seoul National University, Korea
Publicity Chair:
Ryosuke Sato, University of Tokyo, Japan
Program Committee:
Soham Chakraborty, TU Delft, Netherlands
Yu-Fang Chen, Academia Sinica, Taiwan
Ronghui Gu, Columbia University, USA
Ichiro Hasuo, National Institute of Informatics, Japan
Ralf Jung, ETH Zurich, Switzerland
Ohad Kammar, University of Edinburgh, UK
Jeehoon Kang, KAIST, Korea
Jieung Kim, Inha University, Korea
Robbert Krebbers, Radboud University Nijmegen, Netherlands
Ori Lahav, Tel Aviv University, Israel
Doug Lea, State University of New York at Oswego, USA
Woosuk Lee, Hanyang University, Korea
Hongjin Liang, Nanjing University, China
Nuno P. Lopes, University of Lisbon, Portugal
Chandrakana Nandi, Certora and UW, USA
Liam O'Connor, The University of Edinburgh, UK
Bruno C. d. S. Oliveira, The University of Hong Kong, Hong Kong
Jihyeok Park, Korea University, Korea
Clément Pit-Claudel, EPFL, Switzerland
Matthieu Sozeau, Inria, France
Kohei Suenaga, Kyoto University, Japan
Tarmo Uustalu, Reykjavik University, Iceland
John Wickerson, Imperial College London, UK
Danfeng Zhang, Penn State University, USA
CALL FOR PAPERS
21st Asian Symposium on Programming Languages and Systems (APLAS 2023)
Taipei, Taiwan, Sun 26 – Wed 29 November 2023
https://conf.researchr.org/home/aplas-2023
======================================================================
IMPORTANT DATES
-------------------------------------
Submission deadline: Thu 15 Jun 2023 AoE
Author response: Mon 31 Jul 12:00 - Wed 2 Aug 12:00 2023 AoE
Author notification: Mon 14 Aug 2023 AoE
Final paper deadline: Wed 6 Sep 2023 AoE
Conference: Sun 26 – Wed 29 Nov 2023
SCOPE
-------------------------------------
We solicit submissions in the form of regular research papers
describing original scientific research results, including system
development and case studies. Among others, solicited topics include:
- ** programming paradigms and styles ** :
functional programming; object-oriented programming; probabilistic
programming; logic
programming; constraint programming; extensible programming
languages; programming languages for systems code; novel programming
paradigms;
- ** methods and tools to specify and reason about programs and
languages ** :
programming techniques; meta-programming; domain-specific
languages; proof assistants; type systems; dependent types; program
logics, static and dynamic program analysis; language-based
security; model checking; testing;
- ** programming language foundations ** :
formal semantics; type theory; logical foundations; category
theory; automata; effects; monads and comonads; recursion and
corecursion; continuations and effect handlers; program
verification; memory models; abstract interpretation;
- ** methods and tools for implementation ** :
compilers; program transformations; rewriting systems;
partial evaluation; virtual machines; refactoring; intermediate
languages; run-time environments; garbage collection and memory
management; tracing; profiling; build systems; program synthesis;
- ** concurrency and distribution ** :
process algebras; concurrency theory; session types; parallel
programming; service-oriented computing; distributed and mobile
computing; actor-based languages; verification and testing of
concurrent and distributed systems;
- ** applications and emerging topics ** :
programming languages and PL methods in education, security,
privacy, database systems, computational biology, signal
processing, graphics, human-computer interaction, computer-aided
design, artificial intelligence and machine learning; case
studies in program analysis and verification.
GENERAL INFORMATION
-------------------------------------
Submissions should not exceed 17 pages, excluding bibliography in the
Springer LNCS format. LaTeX template is available at:
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
The accepted papers will be allowed to use one extra page for the
content to accommodate feedback from the reviews in the final paper
versions.
Papers should be submitted via HotCRP:
https://aplas2023.hotcrp.com/
The review process of APLAS 2023 is double-anonymous, with a rebuttal
phase. In your submission, please, omit your names and institutions;
refer to your prior work in the third person, just as you refer to
prior work by others; do not include acknowledgments that might
identify you.
Additional material intended for reviewers but not for publication in
the final version - for example, details of proofs - may be placed in
a clearly marked appendix that is not included in the page limit.
Reviewers are at liberty to ignore appendices and papers must be
understandable without them.
Submitted papers must be unpublished and not submitted for publication
elsewhere. Papers must be written in English. The proceedings will be
published as a volume in Springer's LNCS series. Accepted papers must
be presented at the conference.
POSTERS and STUDENT RESEARCH COMPETITION
----------------------------------------
APLAS 2023 includes a Posters session and a Student Research
Competition. For more details, please see the website.
https://conf.researchr.org/track/aplas-2023/posters-and-src
ORGANIZERS
-------------------------------------
General Chair:
Shin-Cheng Mu, Academia Sinica, Taiwan
Program Chair:
Chung-Kil Hur, Seoul National University, Korea
Publicity Chair:
Ryosuke Sato, University of Tokyo, Japan
Program Committee:
Soham Chakraborty, TU Delft, Netherlands
Yu-Fang Chen, Academia Sinica, Taiwan
Ronghui Gu, Columbia University, USA
Ichiro Hasuo, National Institute of Informatics, Japan
Ralf Jung, ETH Zurich, Switzerland
Ohad Kammar, University of Edinburgh, UK
Jeehoon Kang, KAIST, Korea
Jieung Kim, Inha University, Korea
Robbert Krebbers, Radboud University Nijmegen, Netherlands
Ori Lahav, Tel Aviv University, Israel
Doug Lea, State University of New York at Oswego, USA
Woosuk Lee, Hanyang University, Korea
Hongjin Liang, Nanjing University, China
Nuno P. Lopes, University of Lisbon, Portugal
Chandrakana Nandi, Certora and UW, USA
Liam O'Connor, The University of Edinburgh, UK
Bruno C. d. S. Oliveira, The University of Hong Kong, Hong Kong
Jihyeok Park, Korea University, Korea
Clément Pit-Claudel, EPFL, Switzerland
Matthieu Sozeau, Inria, France
Kohei Suenaga, Kyoto University, Japan
Tarmo Uustalu, Reykjavik University, Iceland
John Wickerson, Imperial College London, UK
Danfeng Zhang, Penn State University, USA
2023-04-04
[Caml-list] [CFP] ML'23: Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
September 8, 2023 (Friday) Seattle, WA, USA (day after main ICFP)
Call for presentations: https://icfp23.sigplan.org/home/mlworkshop-2023
ML Family Workshop is an established informal workshop aiming to
recognize the entire extended ML family and to provide the forum to
present and discuss common issues: all aspects of the design,
semantics, theory, application, implementation, and teaching of the
members of the ML family. We also encourage presentations from related
languages (such as Haskell, Scala, Rust, Nemerle, Links, Koka, F*,
Eff, ATS, etc), to promote the exchange of ideas and experience. The
ML family workshop will be held in close coordination with the OCaml
Users and Developers Workshop.
We plan the workshop to an be in-person event with remote participation
(streamed live). Speakers are generally expected to present in person
(we will work to make remote presentations possible).
We solicit proposals for contributed talks, in PDF format, with a
short summary at the beginning and the indication of the submission
category: Research Presentations, Experience Reports, Demos, and
Informed Positions. The point of the submission should be clear from
its first two pages (PC members are not obligated to read any
further.) We particularly encourage talks about works in progress,
presentations of negative results (things that were expected to but
did not quite work out) and informed positions.
* Deadline for talk proposals: ** Thursday June 1, 2023 **
* Notification of acceptance: ** Thursday July 6, 2023 **
* Workshop: ** Friday September 8, 2023 **
Submission website: https://ml2023.hotcrp.com/
Program Committee
Lars Bergstrom Google, USA
Martin Elsman University of Copenhagen, Denmark
Matthew Fluet Rochester Institute of Technology, USA
Jacques Garrigue Nagoya University, Japan
Oleg Kiselyov Tohoku University, Japan (Chair)
Julia Lawall Inria Paris, France
Andrey Mokhov Jane Street, UK
Benoît Montagu Inria Rennes, France
Guillaume Munch-Maccagnoni Inria Rennes, France
Matija Pretnar University of Ljubljana, Slovenia
Andreas Rossberg Germany
Gabriel Scherer Inria Saclay, France
September 8, 2023 (Friday) Seattle, WA, USA (day after main ICFP)
Call for presentations: https://icfp23.sigplan.org/home/mlworkshop-2023
ML Family Workshop is an established informal workshop aiming to
recognize the entire extended ML family and to provide the forum to
present and discuss common issues: all aspects of the design,
semantics, theory, application, implementation, and teaching of the
members of the ML family. We also encourage presentations from related
languages (such as Haskell, Scala, Rust, Nemerle, Links, Koka, F*,
Eff, ATS, etc), to promote the exchange of ideas and experience. The
ML family workshop will be held in close coordination with the OCaml
Users and Developers Workshop.
We plan the workshop to an be in-person event with remote participation
(streamed live). Speakers are generally expected to present in person
(we will work to make remote presentations possible).
We solicit proposals for contributed talks, in PDF format, with a
short summary at the beginning and the indication of the submission
category: Research Presentations, Experience Reports, Demos, and
Informed Positions. The point of the submission should be clear from
its first two pages (PC members are not obligated to read any
further.) We particularly encourage talks about works in progress,
presentations of negative results (things that were expected to but
did not quite work out) and informed positions.
* Deadline for talk proposals: ** Thursday June 1, 2023 **
* Notification of acceptance: ** Thursday July 6, 2023 **
* Workshop: ** Friday September 8, 2023 **
Submission website: https://ml2023.hotcrp.com/
Program Committee
Lars Bergstrom Google, USA
Martin Elsman University of Copenhagen, Denmark
Matthew Fluet Rochester Institute of Technology, USA
Jacques Garrigue Nagoya University, Japan
Oleg Kiselyov Tohoku University, Japan (Chair)
Julia Lawall Inria Paris, France
Andrey Mokhov Jane Street, UK
Benoît Montagu Inria Rennes, France
Guillaume Munch-Maccagnoni Inria Rennes, France
Matija Pretnar University of Ljubljana, Slovenia
Andreas Rossberg Germany
Gabriel Scherer Inria Saclay, France
2023-04-03
[Caml-list] TyDe 2023 - Call for Papers
--------------------------------------------------------------------------------
CALL FOR PAPERS
8th Workshop on Type-Driven Development (TyDe 2023)
Co-Located with ICFP 2023 (Seattle, Washington, USA)
https://icfp23.sigplan.org/home/tyde-2023
--------------------------------------------------------------------------------
# Goals of the Workshop
The Workshop on Type-Driven Development (TyDe) aims to show how
static type information may be used effectively in the development
of computer programs. Co-located with ICFP, this workshop brings
together leading researchers and practitioners who are using or
exploring types as a means of program development.
We welcome all contributions, both theoretical and practical, on a
range of topics including:
- dependently typed programming;
- generic programming;
- design and implementation of programming languages, exploiting
types in novel ways;
- exploiting typed data, data dependent data, or type providers;
- static and dynamic analyses of typed programs;
- tools, IDEs, or testing tools exploiting type information;
- pearls, being elegant, instructive examples of types used in the
derivation, calculation, or construction of programs.
# Proceedings and Copyright
We will have formal proceedings, published by the ACM. Accepted
papers will be included in the ACM Digital Library. Authors must
grant ACM publication rights upon acceptance, but may retain
copyright if they wish. Authors are encouraged to publish auxiliary
material with their paper (source code, test data, and so forth).
The proceedings will be freely available for download from the ACM
Digital Library from one week before the start of the conference
until two weeks after the conference.
The official publication date is the date the papers are made
available in the ACM Digital Library. This date may be up to two
weeks prior to the first day of the conference. The official
publication date affects the deadline for any patent filings related
to published work.
# Submission Details
Submissions should fall into one of two categories:
- regular research papers (12 pages);
- extended abstracts (3 pages).
The bibliography will not be counted against the page limits for
either category.
Regular research papers are expected to present novel and interesting
research results, and will be included in the formal proceedings.
Extended abstracts should report work in progress that the authors
would like to present at the workshop. Extended abstracts will be
distributed to workshop attendees but will not be published in the
formal proceedings.
We welcome submissions from PC members (with the exception of the two
co-chairs), but these submissions will be held to a higher standard.
Submission is handled through HotCRP:
https://tyde23.hotcrp.com
All submissions should be in portable document format (PDF) and
formatted using the ACM SIGPLAN style guidelines:
https://www.sigplan.org/Resources/Author/
Note that submissions should use the new 'acmart' format and the
two-column 'sigplan' subformat (not to be confused with the
one-column 'acmsmall' subformat).
Extended abstracts must be submitted with the label 'Extended
Abstract' clearly in the title.
# Participant Support
Student attendees with accepted papers can apply for a SIGPLAN PAC
grant to help cover participation-related expenses. PAC also offers
other support, such as for child-care expenses during the meeting or
for accommodations for members with physical disabilities. For
details on the PAC program, see its web page:
https://www.sigplan.org/PAC/
# Important Dates
- Submission Deadline: Thursday June 1, 2023
- Author Notification: Thursday June 29, 2023
- Camera-Ready Deadline: Thursday July 13, 2023
- Workshop: Monday September 4, 2023
# Workshop Organization
Organizing Committee:
- Youyou Cong (Tokyo Institute of Technology, Japan)
- Pierre-Evariste Dagand (IRIF / CNRS, France)
Program Committee:
- Reynald Affeldt (AIST, Japan)
- Sandra Alves (DCC-FCUP, Portugual)
- Stephen Chang (UMass Boston, United States)
- Magnus Madsen (Aarhus University, Denmark)
- Victor Cacciari Miraldo (Channable, Netherlands)
- Jonathan Protzenko (Microsoft Research, United States)
- Marianna Rapoport (Amazon Web Services, Canada)
- Christine Rizkallah (University of Melbourne, Australia)
- Filip Sieczkowski (Heriot-Watt University, United Kingdom)
- Aaron Stump (The University of Iowa, United States)
- Peter Thiemann (University of Freiburg, Germany)
- Ningning Xie (Google Brain / University of Toronto, Canada)
CALL FOR PAPERS
8th Workshop on Type-Driven Development (TyDe 2023)
Co-Located with ICFP 2023 (Seattle, Washington, USA)
https://icfp23.sigplan.org/home/tyde-2023
--------------------------------------------------------------------------------
# Goals of the Workshop
The Workshop on Type-Driven Development (TyDe) aims to show how
static type information may be used effectively in the development
of computer programs. Co-located with ICFP, this workshop brings
together leading researchers and practitioners who are using or
exploring types as a means of program development.
We welcome all contributions, both theoretical and practical, on a
range of topics including:
- dependently typed programming;
- generic programming;
- design and implementation of programming languages, exploiting
types in novel ways;
- exploiting typed data, data dependent data, or type providers;
- static and dynamic analyses of typed programs;
- tools, IDEs, or testing tools exploiting type information;
- pearls, being elegant, instructive examples of types used in the
derivation, calculation, or construction of programs.
# Proceedings and Copyright
We will have formal proceedings, published by the ACM. Accepted
papers will be included in the ACM Digital Library. Authors must
grant ACM publication rights upon acceptance, but may retain
copyright if they wish. Authors are encouraged to publish auxiliary
material with their paper (source code, test data, and so forth).
The proceedings will be freely available for download from the ACM
Digital Library from one week before the start of the conference
until two weeks after the conference.
The official publication date is the date the papers are made
available in the ACM Digital Library. This date may be up to two
weeks prior to the first day of the conference. The official
publication date affects the deadline for any patent filings related
to published work.
# Submission Details
Submissions should fall into one of two categories:
- regular research papers (12 pages);
- extended abstracts (3 pages).
The bibliography will not be counted against the page limits for
either category.
Regular research papers are expected to present novel and interesting
research results, and will be included in the formal proceedings.
Extended abstracts should report work in progress that the authors
would like to present at the workshop. Extended abstracts will be
distributed to workshop attendees but will not be published in the
formal proceedings.
We welcome submissions from PC members (with the exception of the two
co-chairs), but these submissions will be held to a higher standard.
Submission is handled through HotCRP:
https://tyde23.hotcrp.com
All submissions should be in portable document format (PDF) and
formatted using the ACM SIGPLAN style guidelines:
https://www.sigplan.org/Resources/Author/
Note that submissions should use the new 'acmart' format and the
two-column 'sigplan' subformat (not to be confused with the
one-column 'acmsmall' subformat).
Extended abstracts must be submitted with the label 'Extended
Abstract' clearly in the title.
# Participant Support
Student attendees with accepted papers can apply for a SIGPLAN PAC
grant to help cover participation-related expenses. PAC also offers
other support, such as for child-care expenses during the meeting or
for accommodations for members with physical disabilities. For
details on the PAC program, see its web page:
https://www.sigplan.org/PAC/
# Important Dates
- Submission Deadline: Thursday June 1, 2023
- Author Notification: Thursday June 29, 2023
- Camera-Ready Deadline: Thursday July 13, 2023
- Workshop: Monday September 4, 2023
# Workshop Organization
Organizing Committee:
- Youyou Cong (Tokyo Institute of Technology, Japan)
- Pierre-Evariste Dagand (IRIF / CNRS, France)
Program Committee:
- Reynald Affeldt (AIST, Japan)
- Sandra Alves (DCC-FCUP, Portugual)
- Stephen Chang (UMass Boston, United States)
- Magnus Madsen (Aarhus University, Denmark)
- Victor Cacciari Miraldo (Channable, Netherlands)
- Jonathan Protzenko (Microsoft Research, United States)
- Marianna Rapoport (Amazon Web Services, Canada)
- Christine Rizkallah (University of Melbourne, Australia)
- Filip Sieczkowski (Heriot-Watt University, United Kingdom)
- Aaron Stump (The University of Iowa, United States)
- Peter Thiemann (University of Freiburg, Germany)
- Ningning Xie (Google Brain / University of Toronto, Canada)
Subscribe to:
Posts (Atom)