[I apologize for the previous, incorrectly titled message.]
Dear all,
We're delighted to announce that the first ACM SIGPLAN Workshop on
"Functional Software Architecture - FP in the Large" will be held
in Seattle, USA in September 2023, co-located with the ICFP conference.
Please share, and submit your best papers, experience reports, and
architectural pearls on large-scale functional programming!
Best wishes,
Mike Sperber and Graham Hutton
Program Chairs, FUNARCH 2023
======================================================================
*** CALL FOR PAPERS -- FUNARCH 2023 ***
First ACM SIGPLAN Workshop on
Functional Software Architecture - FP in the Large
8th September 2023, Seattle, Washington, USA
Co-located with ICFP 2023
https://tinyurl.com/FUNARCH23
======================================================================
TIMELINE:
Paper submission 1st June 2023
Author notification 28th June 2023
Camera ready copy 18th July 2023
Workshop 8th Sept 2023 (date to be confirmed)
BACKGROUND:
Functional Software Architecture" refers to methods of construction
and structure of large and long-lived software projects that are
implemented in functional languages and released to real users,
typically in industry. The goals for the workshop are:
- To assemble a community interested in software architecture
techniques and technologies specific to functional programming;
- To identify, categorize, and document topics relevant to
the field of functional software architecture;
- To connect the functional programming community to the software
architecture community to cross-pollinate between the two.
The workshop follows on from the Functional Software Architecture
open space that was held at ICFP 2022 in Slovenia.
SCOPE:
The workshop seeks submissions in a range of categories:
- You're a member of the FP community and have thought about how
to support programming in the large, for example by framing
functional ideas in architectural terms or vice verse, comparing
different languages in terms of their architectural capabilities,
clarifying architectural roles played by formal methods, proofs
assistants and DSLs, or observing how functional concepts are
used in other language and architecture communities.
Great, submit a research paper!
- You're a member of the architecture community, and have thought
about how your discipline might help functional programmers, for
example by applying domain-driven design, implementing hexagonal
architecture, or designing self-contained systems.
Excellent, submit a research paper!
- You've worked on a large project using functional programming,
and it's worked out well, or terribly, or a mix of both; bonus
points for deriving architectural principles from your experience.
Wonderful, submit an experience report!
- You know a neat architectural idiom or pattern that may be useful
to others developing large functional software systems.
Fabulous, submit an architectural pearl!
- You have something that doesn't fit the above categories, but
that still relates to functional software architecture, such
as something that can be written up, or that could be part of
the workshop format like a panel debate or a fishbowl.
Superb, submit to the open category!
Research papers should explain their research contributions in both
general and technical terms, identifying what has been accomplished,
explaining why it is significant, and relating it to previous work,
and to other languages where appropriate.
Experience reports and architectural pearls need not necessarily
report original research results. The key criterion for such papers
is that they make a contribution from which others can benefit.
It is not enough simply to describe a large software system, or
to present ideas that are specific to a particular system.
Open category submissions that are not intended for publication
are not required to follow the formatting guidelines, and can
submit in PDF, word or plain text format as preferred.
If you are unsure whether your contribution is suitable, or if
you need any kind of help with your submission, please email
the program chairs at <funarch2023@easychair.org>.
SUBMISSION:
Papers must be submitted by 1st June 2023 using EasyChair, via the
following link: https://tinyurl.com/FUNARCH23-submit
Formatting: submissions must be in PDF format and follow the ACM
SIGPLAN style guidelines, using the acmart format and the sigplan
sub-format. Please use the review option when submitting, as this
enables line numbers for easy reference in reviews. For further
details, see: https://tinyurl.com/sigplan-acmart
If your submission is not a research paper, please mark this using
a subtitle (Experience Report, Architectural Pearl, Open Category).
Length: submissions must adhere to the limits specified below.
However, there is no requirement or expectation that all pages
are used, and authors are encouraged to strive for brevity.
Research papers 5 to 12+ pages
Architectural pearls 5 to 12 pages
Experience reports 3 to 6 pages
Open category 1 to 6 pages
Publication: The proceedings of FUNARCH 2023 will be published in
the ACM Digital Library, and authors of accepted papers are required
to agree to one of the standard ACM licensing options. Accepted
papers must be presented at the workshop by one of the authors,
but in special cases we may consider remote presentation.
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 the workshop.
PROGRAM CHAIRS:
Mike Sperber Active Group, Germany
Graham Hutton University of Nottingham, UK
PROGRAM COMMITTEE:
Joachim Breitner Germany
Manuel Chakravarty Tweag & IOG, The Netherlands
Ron Garcia University of British Columbia, Canada
Debasish Ghosh LeadIQ, India
Lars Hupel Giesecke+Devrient, Germany
Andy Keep Meta, USA
Shriram Krishnamurthi Brown University, USA
Andres Löh Well-Typed, Germany
Anil Madhavapeddy University of Cambridge, UK
José Pedro Magalhães Standard Chartered, UK
Simon Marlow Meta, UK
Hannes Mehnert Robur, Germany
Erik Meijer USA
Ivan Perez KBR / NASA Ames Research Center, USA
Stefanie Schirmer DuckDuckGo, Germany
Perdita Stevens University of Edinburgh, UK
Stefan Wehr Hochschule Offenburg, Germany
Scott Wlaschin FPbridge, UK
WORKSHOP VENUE:
The workshop will be co-located with the ICFP 2023 conference at
The Westin Seattle Hotel, Seattle, Washington, United States.
======================================================================
2023-03-18
2023-03-16
[Caml-list] 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-03-11
[Caml-list] First Call for Papers 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
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-01-31
[Caml-list] 2nd Call for Participation: BOB 2023 (Berlin, March 17 - early bird expires today)
Lots of functional programming at BOB!
=========================================================================
BOB 2023
Conference
"What happens if we simply use what's best?"
March 17, 2023, Berlin
https://bobkonf.de/2023/
Program: https://bobkonf.de/2023/program.html
Registration: https://bobkonf.de/2023/registration.html
=========================================================================
BOB conference is a place for developers, architects, and decision-makers
to explore technologies beyond the mainstream in software development
and to find the best tools available to software developers today. Our
goal is for all participants of BOB to return home with new insights
that enable them to improve their own software development
experience.
The program features 14 talks and 8 tutorials on current topics:
https://bobkonf.de/2023/program.html
Talk subjects includes functional programming, software
architecture, accessibility, digital transformation, version control,
formal methods, and devops.
BOB will feature tutorials on Elixir, Scheme, Kotlin, Agda, Domain
Storytelling, Hexagonal Frontend Architecture, and other topics.
Yulia Startsev will give the keynote talk on
"Re-thinking Modules for the Web".
Registration is open - online tickets are all under 200€, and many
discount options are available, as are grants for members of groups
underrepresented in tech:
https://bobkonf.de/2023/registration.html
=========================================================================
BOB 2023
Conference
"What happens if we simply use what's best?"
March 17, 2023, Berlin
https://bobkonf.de/2023/
Program: https://bobkonf.de/2023/program.html
Registration: https://bobkonf.de/2023/registration.html
=========================================================================
BOB conference is a place for developers, architects, and decision-makers
to explore technologies beyond the mainstream in software development
and to find the best tools available to software developers today. Our
goal is for all participants of BOB to return home with new insights
that enable them to improve their own software development
experience.
The program features 14 talks and 8 tutorials on current topics:
https://bobkonf.de/2023/program.html
Talk subjects includes functional programming, software
architecture, accessibility, digital transformation, version control,
formal methods, and devops.
BOB will feature tutorials on Elixir, Scheme, Kotlin, Agda, Domain
Storytelling, Hexagonal Frontend Architecture, and other topics.
Yulia Startsev will give the keynote talk on
"Re-thinking Modules for the Web".
Registration is open - online tickets are all under 200€, and many
discount options are available, as are grants for members of groups
underrepresented in tech:
https://bobkonf.de/2023/registration.html
2022-12-13
[Caml-list] Call for Participation: BOB 2022 (Berlin, March 17)
=========================================================================
BOB 2023
Conference
"What happens if we simply use what's best?"
March 17, 2023, Berlin
https://bobkonf.de/2023/
Program: https://bobkonf.de/2023/program.html
Registration: https://bobkonf.de/2023/registration.html
=========================================================================
BOB conference is a place for developers, architects, and decision-makers
to explore technologies beyond the mainstream in software development
and to find the best tools available to software developers today. Our
goal is for all participants of BOB to return home with new insights
that enable them to improve their own software development
experience.
The program features 14 talks and 8 tutorials on current topics:
https://bobkonf.de/2023/program.html
Talk subjects includes functional programming, software
architecture, accessibility, digital transformation, version control,
formal methods, and devops.
BOB will feature tutorials on Elixir, Scheme, Kotlin, Agda, Domain
Storytelling, Hexagonal Frontend Architecture, and other topics.
Yulia Startsev will give the keynote talk on
"Re-thinking Modules for the Web".
Registration is open - regular early-bird tickets are 160€, student
tickets are 75€. Note that many discount options are available, as
are grants for members of groups underrepresented in tech:
https://bobkonf.de/2023/registration.html
BOB 2023
Conference
"What happens if we simply use what's best?"
March 17, 2023, Berlin
https://bobkonf.de/2023/
Program: https://bobkonf.de/2023/program.html
Registration: https://bobkonf.de/2023/registration.html
=========================================================================
BOB conference is a place for developers, architects, and decision-makers
to explore technologies beyond the mainstream in software development
and to find the best tools available to software developers today. Our
goal is for all participants of BOB to return home with new insights
that enable them to improve their own software development
experience.
The program features 14 talks and 8 tutorials on current topics:
https://bobkonf.de/2023/program.html
Talk subjects includes functional programming, software
architecture, accessibility, digital transformation, version control,
formal methods, and devops.
BOB will feature tutorials on Elixir, Scheme, Kotlin, Agda, Domain
Storytelling, Hexagonal Frontend Architecture, and other topics.
Yulia Startsev will give the keynote talk on
"Re-thinking Modules for the Web".
Registration is open - regular early-bird tickets are 160€, student
tickets are 75€. Note that many discount options are available, as
are grants for members of groups underrepresented in tech:
https://bobkonf.de/2023/registration.html
2022-12-05
[Caml-list] Certified Programs and Proofs (CPP) 2023: Call for Participation
*** Call for Participation ***
*** Certified Programs and Proofs (CPP) 2023 ***
- Early registration deadline: 16 December 2022
- Registration: https://popl23.sigplan.org/attending/registration
- Further reduced student participation fee: see below
- Accommodation: Boston Park Plaza
https://popl23.sigplan.org/venue/POPL-2023-venue
Certified Programs and Proofs (CPP) is an international conference on
practical and theoretical topics in all areas that consider formal
verification and certification as an essential paradigm for their
work. CPP spans areas of computer science, mathematics, logic, and
education.
CPP 2023 (https://popl23.sigplan.org/home/CPP-2023) will be held on
16-17 January 2023 and will be co-located with POPL 2023. CPP 2023 is
sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG, and
supported by a diverse set of industrial sponsors.
Similarly to other events collocated with POPL 2023, CPP will take
place as an in-person event at Boston Park Plaza, and will require
attendees to provide proof of vaccination (details will be available
soon). Virtual participation via Airmeet will also be available; look for
updated information about that option on the POPL web site.
For more information about this edition and the CPP series, please
visit https://popl23.sigplan.org/home/CPP-2023
### Invited Speakers
* Sandrine Blazy, University of Rennes and IRISA
* Cezary Kaliszyk, University of Innsbruck
### Accepted papers
The list of accepted papers is available at
https://popl23.sigplan.org/home/CPP-2023#event-overview
### Subsidized student registration
To facilitate in-person participation, CPP 2023 offers the opportunity
to waive
the registration fees for those that are in need of financial support to
attend
the conference. This support is particularly aimed at undergraduate and
graduate
students, postdocs, and those from marginalized groups.
If you wish to apply for support you may do so by sending an email to
the CPP
conference co-chairs (Dmitriy Traytel and Robbert Krebbers, see below
for their
email addresses), with a brief description of your situation. The
deadline for
applications is 11 December 2022, 23:59 AoE. Notifications will be sent
out at
most two days later; hence, those who cannot be supported will still
have the
opportunity to register with the regular early registration fee before 16
December. Applications arriving after 11 December will be considered only if
additional budget is remaining.
CPP's student support is made possible by our generous industrial
supporters:
https://popl23.sigplan.org/home/CPP-2023#About
### Contact
For any questions please contact the chairs:
Steve Zdancewic <stevez@seas.upenn.edu> (PC co-chair)
Brigitte Pientka <bpientka@cs.mcgill.ca> (PC co-chair)
Robbert Krebbers <mail@robbertkrebbers.nl> (conference co-chair)
Dmitriy Traytel <traytel@di.ku.dk> (conference co-chair)
*** Certified Programs and Proofs (CPP) 2023 ***
- Early registration deadline: 16 December 2022
- Registration: https://popl23.sigplan.org/attending/registration
- Further reduced student participation fee: see below
- Accommodation: Boston Park Plaza
https://popl23.sigplan.org/venue/POPL-2023-venue
Certified Programs and Proofs (CPP) is an international conference on
practical and theoretical topics in all areas that consider formal
verification and certification as an essential paradigm for their
work. CPP spans areas of computer science, mathematics, logic, and
education.
CPP 2023 (https://popl23.sigplan.org/home/CPP-2023) will be held on
16-17 January 2023 and will be co-located with POPL 2023. CPP 2023 is
sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG, and
supported by a diverse set of industrial sponsors.
Similarly to other events collocated with POPL 2023, CPP will take
place as an in-person event at Boston Park Plaza, and will require
attendees to provide proof of vaccination (details will be available
soon). Virtual participation via Airmeet will also be available; look for
updated information about that option on the POPL web site.
For more information about this edition and the CPP series, please
visit https://popl23.sigplan.org/home/CPP-2023
### Invited Speakers
* Sandrine Blazy, University of Rennes and IRISA
* Cezary Kaliszyk, University of Innsbruck
### Accepted papers
The list of accepted papers is available at
https://popl23.sigplan.org/home/CPP-2023#event-overview
### Subsidized student registration
To facilitate in-person participation, CPP 2023 offers the opportunity
to waive
the registration fees for those that are in need of financial support to
attend
the conference. This support is particularly aimed at undergraduate and
graduate
students, postdocs, and those from marginalized groups.
If you wish to apply for support you may do so by sending an email to
the CPP
conference co-chairs (Dmitriy Traytel and Robbert Krebbers, see below
for their
email addresses), with a brief description of your situation. The
deadline for
applications is 11 December 2022, 23:59 AoE. Notifications will be sent
out at
most two days later; hence, those who cannot be supported will still
have the
opportunity to register with the regular early registration fee before 16
December. Applications arriving after 11 December will be considered only if
additional budget is remaining.
CPP's student support is made possible by our generous industrial
supporters:
https://popl23.sigplan.org/home/CPP-2023#About
### Contact
For any questions please contact the chairs:
Steve Zdancewic <stevez@seas.upenn.edu> (PC co-chair)
Brigitte Pientka <bpientka@cs.mcgill.ca> (PC co-chair)
Robbert Krebbers <mail@robbertkrebbers.nl> (conference co-chair)
Dmitriy Traytel <traytel@di.ku.dk> (conference co-chair)
2022-09-26
[Caml-list] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022
----------------------------------------------------------------------------------------- ProLaLa 2023 -- 2nd Workshop on Programming Languages and the Law Sunday Jan 15th, 2022 Boston, MA co-located with POPL 2023 ------------------------------------------------------------------------------------------ (please forward to anyone who might be interested!) We are pleased to announce ProLaLa'23, the second edition of the workshop concerned with the intersection of PL (Programming Languages) techniques and the law. We are particularly concerned with the following topics: - language design for legal matters; - static analysis of legal texts; - program synthesis and repair for legal software components; - formal modeling of legal semantics; - non-standard logics in support of legal reasoning; - program verification for legal expert systems. If you have explored any of these areas, we encourage you to submit a short abstract. We are hoping to solidify around this workshop what we believe is a nascent but growing community; last year we had 25 submissions and 60 participants. As such, the workshop will be informal, and we strongly encourage you to submit ongoing or already-published work in the form of a brief 5-page submission for a long talk, or a 2-page submission for a short talk. Full details: https://popl23.sigplan.org/home/prolala-2023#Call-for-Papers
Venue
ProLaLa will be colocated with POPL'23. We plan to coordinate with the POPL conference on remote participation. We would like to have remote participation even if the workshop happens in person. Our plan is to create an inclusive environment that does not demand traveling for COVID-19 (or other) reasons.
Submission details
We accept two kinds of submissions. - Long talks: 5 pages excluding references - Short talks: 2 page excluding references We require using SIGPLAN's one-column LaTeX format (acmsmall). Submission site: https://prolala23.hotcrp.com
Important dates
- Thu 27 Oct 2022: Submission deadline - Thu 10 Nov 2022: Notification of acceptance - Sun 15 Jan 2023: Workshop
Program committee
- Shrutarshi Basu (co-chair), Middlebury College, USA - Denis Merigoux (co-chair), Inria, France - Jonathan Protzenko (co-chair), Microsoft Research, USA - Timos Antonopoulos, Yale, USA - Joaquín Arias, Universidad Rey Juan Carlos, Spain - James Grimmelman, Cornell, USA - Ekaterina Komandantskaya, Herriot-Watts University, UK - Emma Tosch, University of Michigan, USA - Saeid Tizpaz-Niari, University of Texas at El Paso, USA - Giovanni Sileno, University of Amsterdam, Netherlands - Chris Bailey, University of Illinois, USA - Laurence Diver, Vrije Universiteit Brussel, Belgium - Sarah Lawsky, Northwestern Pritzker School of Law, USA
Subscribe to:
Posts (Atom)