caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] Second and Final Call for Submissions: Programming Languages and the Law (ProLaLa)
@ 2021-10-05 20:54 Jonathan Protzenko
  0 siblings, 0 replies; only message in thread
From: Jonathan Protzenko @ 2021-10-05 20:54 UTC (permalink / raw)
  To: caml-list

-----------------------------------------------------------------------

    ProLaLa 2022 -- 1st Workshop on Programming Languages and the Law

                        Sunday Jan 16th, 2022
                          Philadelphia, PA
                      co-located with POPL 2022

-----------------------------------------------------------------------

                     (please forward to anyone who might be interested!)


We are pleased to announce ProLaLa'22, a new 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 community. 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 3-page submission for a long talk, or a 
1-page submission for a short talk.

Full details: 
https://popl22.sigplan.org/home/prolala-2022#Call-for-submissions

### Venue

ProLaLa will be colocated with POPL'22. If POPL'22 goes virtual, we will 
be virtual too. If POPL'22 happens in-person, we will support hybrid 
(in-person and remote) participation.

### Submission details

We accept two kinds of submissions.
- Long talks: 3 pages excluding references
- Short talks: 1 page excluding references

No formatting requirements. We recommend using SIGPLAN's two-column 
LaTeX format if possible.

Submission site: https://prolala22.hotcrp.com/

### Important dates

- Thu 28 Oct 2021: Submission deadline
- Thu 11 Nov 2021: Notification of acceptance
- Sun 16 Jan 2022: Workshop

## Program committee

- Timos Antonopoulos, Yale University
- Joaquin Arias, Universidad Politécnica de Madrid and IMDEA Software 
Institute, Spain
- Shrutarshi Basu, Cornell University, USA
- Nate Foster, Cornell University, USA
- James Grimmelmann, Cornell University, USA
- Sarah Lawsky (Co-Chair), Northwestern University, USA
- Denis Merigoux, INRIA, France
- Ruzica Piskac, Yale University, USA
- Jonathan Protzenko (Co-Chair), Microsoft Research, USA
- Giovanni Sartor, University of Bologna, Italy
- Ken Satoh, National Institute of Informatics, Japan
- Kanae Tsushima, National Institute of Informatics, Japan
- Meng Weng Wong, Singapore Management University, Singapore






^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2021-10-05 20:54 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-10-05 20:54 [Caml-list] Second and Final Call for Submissions: Programming Languages and the Law (ProLaLa) Jonathan Protzenko

caml-list - the Caml user's mailing list

This inbox may be cloned and mirrored by anyone:

	git clone --mirror https://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 caml-list caml-list/ https://inbox.vuxu.org/caml-list \
		caml-list@inria.fr
	public-inbox-index caml-list

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git