[TYPES/announce] CfP: Functional Software Architecture - FP in the Large (deadline June 1)

[Michael Sperber]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


==

   *** FUNARCH 2023 -- CALL FOR PAPERS ***

  The First ACM SIGPLAN Workshop on
 Functional Software Architecture - FP in the Large

8th September 2023, Seattle, Washington, USA
  Co-located with ICFP 2023


https://urldefense.com/v3/__https://tinyurl.com/FUNARCH-23__;!!IBzWLUs!SNyK-QS5VEg2-LqRRjItlJLn1kJEouG5GI1hbhI9rXak4stZjB3imVncmTLvp9tkq6cTgGOW5XaorRZ-eFgvwpzVn4DIGYxiJA1_$
 

==

TIMELINE:

Paper submission1st June 2023
Author notification 28th June 2023
Camera ready copy   18th July 2023
Workshop8th Sept 2023

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, proof
  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 .

SUBMISSION:

Papers must be submitted by 1st June 2023 using EasyChair, via the
following link: 
https://urldefense.com/v3/__https://tinyurl.com/FUNARCH23-submit__;!!IBzWLUs!SNyK-QS5VEg2-LqRRjItlJLn1kJEouG5GI1hbhI9rXak4stZjB3imVncmTLvp9tkq6cTgGOW5XaorRZ-eFgvwpzVn4DIGayNK1IF$
 

Formatting: submissions intended for publication 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, as this enables line numbers for easy reference in reviews.
For further details, see: 
https://urldefense.com/v3/__https://tinyurl.com/sigplan-acmart__;!!IBzWLUs!SNyK-QS5VEg2-LqRRjItlJLn1kJEouG5GI1hbhI9rXak4stZjB3imVncmTLvp9tkq6cTgGOW5XaorRZ-eFgvwpzVn4DIGfohBd6s$
 

If your submission is not a research paper, please mark this using
a subtitle (Experience Report, Architectural Pearl, Open Category).

Length: submissions must 

[TYPES/announce] 2nd Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)

[Michael Sperber]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


===
  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://urldefense.com/v3/__https://functional-art.org/2023__;!!IBzWLUs!VxPXXm-AHzPwK4cuWTXTZd9W5kStamQEgMCBD39zylb9sWWnAmYBXy_nWYDAig-tRuksLn0yVVSkhs8e7en08ZeMHtt0zLnEcEI8$
 
===

Key Dates
-

Submission deadlineJune 1 (AoE)
Author notificationJuly 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://urldefense.com/v3/__https://farm23.hotcrp.com__;!!IBzWLUs!VxPXXm-AHzPwK4cuWTXTZd9W5kStamQEgMCBD39zylb9sWWnAmYBXy_nWYDAig-tRuksLn0yVVSkhs8e7en08ZeMHtt0zK1WP0ix$
 )
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://urldefense.com/v3/__https://farm23.hotcrp.com__;!!IBzWLUs!VxPXXm-AHzPwK4cuWTXTZd9W5kStamQEgMCBD39zylb9sWWnAmYBXy_nWYDAig-tRuksLn0yVVSkhs8e7en08ZeMHtt0zK1WP0ix$
 )
and meet the following requirements:

- 500 to 2000 words
- Have a title starting with “Demo: ”
- PDF format
- Adhere to the ACM SIGPLAN template 
(https://urldefense.com/v3/__https://www.sigplan.org/Resources/ProceedingsFormat__;!!IBzWLUs!VxPXXm-AHzPwK4cuWTXTZd9W5kStamQEgMCBD39zylb9sWWnAmYBXy_nWYDAig-tRuksLn0yVVSkhs8e7en08ZeMHtt0zIIQfD6J$
 )

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
performa...@functional-art.org, and must include:

- A 

[TYPES/announce] HOR 2023: Second Call for Papers

[Carsten Fuhs]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

--
**
**  SECOND CALL FOR SUBMISSIONS
**
**HOR 2023 - 11th International Workshop on Higher-Order Rewriting
**4 July 2023
**Rome, Italy
**
**https://urldefense.com/v3/__https://hor2023.github.io/__;!!IBzWLUs!Uot9_RNIhbi1fjNZAOgeCg8haPwlphNiQCUaY_YIinyIlCzb5u8829t2hRgNT21TA1jMwnJdnPEFgZz1xOtp1_AD5ycs_8yCs4Pr$ 
--

**
**HOR 2023 is affiliated with FSCD 2023
**https://urldefense.com/v3/__https://easyconferences.eu/fscd2023/__;!!IBzWLUs!Uot9_RNIhbi1fjNZAOgeCg8haPwlphNiQCUaY_YIinyIlCzb5u8829t2hRgNT21TA1jMwnJdnPEFgZz1xOtp1_AD5ycs_9X_2sOU$ 
**

--

* OVERVIEW

HOR is a forum to present work concerning all aspects of higher-order
rewriting.

HOR aims to provide an informal and friendly setting to discuss recent
work and work in progress concerning higher-order rewriting, broadly
construed. This includes rewriting systems that have functional
variables or bound variables, the lambda-calculus and combinatory
logic being paradigmatic examples.

* TOPICS

The following is a non-exhaustive list of topics for the workshop:

 - Applications: proof checking, theorem proving, generic
   programming, declarative programming, program transformation,
   automated termination/confluence/equivalence analysis tools.

 - Foundations: pattern matching, unification, strategies, narrowing,
   termination, syntactic properties, type theory, complexity of
   derivations.

 - Frameworks: term rewriting, conditional rewriting, graph
   rewriting, net rewriting, comparisons of different frameworks.

 - Implementation: explicit substitution, rewriting tools,
   compilation techniques.

 - Semantics: semantics of higher-order rewriting, categorical
   rewriting, higher-order abstract syntax, games and rewriting.

--
** SUBMISSION GUIDELINES
--

To give a presentation at the workshop, please submit an extended
abstract (between 2 to 5 pages) via Easychair:

 https://urldefense.com/v3/__https://easychair.org/conferences/?conf=hor2023__;!!IBzWLUs!Uot9_RNIhbi1fjNZAOgeCg8haPwlphNiQCUaY_YIinyIlCzb5u8829t2hRgNT21TA1jMwnJdnPEFgZz1xOtp1_AD5ycs_8qsfygT$ 


Please use LaTeX and the Easychair style to prepare your submission:

 https://urldefense.com/v3/__https://easychair.org/publications/easychair.zip__;!!IBzWLUs!Uot9_RNIhbi1fjNZAOgeCg8haPwlphNiQCUaY_YIinyIlCzb5u8829t2hRgNT21TA1jMwnJdnPEFgZz1xOtp1_AD5ycs_6vEucGs$ 


HOR is a platform for discussing open questions, ongoing research,
and new perspectives, as well as new results. Extended abstracts
describing work in progress, preliminary results, research projects,
or problems in higher-order rewriting are very welcome. Specifically,
short versions of recently published papers are welcome, and
submission to HOR does not preclude formal publication at other
venues.

The workshop has informal electronic proceedings that will be made
available on the workshop website.

--
** IMPORTANT DATES
--

* Submission deadline:  2 May  2023
* Notification:29 May  2023
* Final version:   12 June 2023

--
** COMMITTEES
--
** PROGRAM COMMITTEE

* Takahito Aoto - Niigata University, Japan
* Maribel Fernández - King's College London, United Kingdom
* Carsten Fuhs (Chair) - Birkbeck, University of London, United Kingdom
* Delia Kesner - Université Paris 7, France
* Cynthia Kop - Radboud Universiteit Nijmegen, The Netherlands
* Damiano Mazza - Université Paris 13, France

--
** STEERING COMMITTEE

* Delia Kesner, Université Paris 7, France
* Femke van Raamsdonk, Vrije Universiteit, The Netherlands

--
** CONTACT
--

All questions about submissions should be emailed to the PC chair
Carsten Fuhs  (hor2023 at easychair.org)

[TYPES/announce] HoTT 2023: Reduced registration ends May 1

[Steve Awodey]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[Apologies for duplicate emails]

*** HoTT 2023
*** Second International Conference on Homotopy Type Theory
*** Carnegie Mellon University
*** 22nd-25th May 2023

The reduced registration rate for HoTT 2023 closes May 1.
Thereafter registration will be possible until 14th May at a higher rate.
The conference will take place from the morning of Monday 22nd May to the 
evening of Thursday 25th May 2023 at Carnegie Mellon University in Pittsburgh.

You can register via the website

https://urldefense.com/v3/__https://hott.github.io/HoTT-2023/*registration/__;Lw!!IBzWLUs!VkAbh8J-NO5JNlq7YbsyAZWKodAdiYhddh6VRJXtSUf6NlvknHGqOwuplSsgMSKm2WaF-Yq7xsBnOIbaBdhXHl2BQOlbACEEy3I$
 

which now also includes a list of accepted talks as well as registered 
participants.

With best regards,

Steve (on behalf of the Scientific and Organising Committees)

[TYPES/announce] 2nd Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)

[Michael Sperber]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


===
  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://urldefense.com/v3/__https://functional-art.org/2023__;!!IBzWLUs!WymBWgxZSlby0V4EzkQzObz2Wx0mDSNM9gGFMWbrLHx8a4KGrQbPTf1Y_zI3JRmjV6VYxGrnTaj8qZfMChElHBjE7lkEhzEvHYCo$
 
===

Key Dates
-

Submission deadlineJune 1 (AoE)
Author notificationJuly 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://urldefense.com/v3/__https://farm23.hotcrp.com__;!!IBzWLUs!WymBWgxZSlby0V4EzkQzObz2Wx0mDSNM9gGFMWbrLHx8a4KGrQbPTf1Y_zI3JRmjV6VYxGrnTaj8qZfMChElHBjE7lkEh8RafalP$
 )
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://urldefense.com/v3/__https://farm23.hotcrp.com__;!!IBzWLUs!WymBWgxZSlby0V4EzkQzObz2Wx0mDSNM9gGFMWbrLHx8a4KGrQbPTf1Y_zI3JRmjV6VYxGrnTaj8qZfMChElHBjE7lkEh8RafalP$
 )
and meet the following requirements:

- 500 to 2000 words
- Have a title starting with “Demo: ”
- PDF format
- Adhere to the ACM SIGPLAN template 
(https://urldefense.com/v3/__https://www.sigplan.org/Resources/ProceedingsFormat__;!!IBzWLUs!WymBWgxZSlby0V4EzkQzObz2Wx0mDSNM9gGFMWbrLHx8a4KGrQbPTf1Y_zI3JRmjV6VYxGrnTaj8qZfMChElHBjE7lkEhyG3y1eS$
 )

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
performa...@functional-art.org, and must include:

- A 

[TYPES/announce] Two year postdoc in logic and computation at the University of Bath

[Thomas Powell]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The Mathematical Foundations of Computation group at the University of Bath is 
seeking to appoint a Research Associate (postdoc) in the area of logic and 
computation. You should have a PhD in mathematical logic or theoretical 
computer science (or a closely related field) and an excellent research record, 
with expertise in one or more of the following areas:

* The Curry-Howard correspondence
* Proof theory
* Lambda calculi
* The semantics of programming languages
* Formalised mathematics

For full information please see the official job announcement: 
https://urldefense.com/v3/__https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=CC10543__;!!IBzWLUs!VBmZKR79bbea6_u-4atKO5E0icbcEQlrnDuSBRFKtFG59Jd4fZ-BPGdBGyNrWmzjGpz9aeyzZOBfySYosHWSAUIwOTn5g6z5$
 

*Important information*

Application deadline: 18 May 2023
Start date: Autumn 2023 (there is some flexibility)
Duration: Two year fixed-term position

You should feel encouraged to contact Thomas Powell 
(trj...@bath.ac.uk) to discuss any aspect of this 
role, whether it is a technical question on the research area or to hear more 
about life in Bath.

[TYPES/announce] GandALF 2023: 2nd Call For Papers

[Dario Della Monica]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


[apologies for cross-postings]

The Fourteenth International Symposium on Games, Automata, Logics, and 
Formal Verification (GandALF 23) will be held in Udine (Italy) on 
September 18-20, 2023.


The aim of GandALF 2023 is to bring 
together researchers from academia and industry who are actively working 
in the fields of Games, Automata, Logics, and Formal Verification. The 
idea is to cover an ample spectrum of themes, ranging from theory to 
applications, and stimulate cross-fertilization. Papers focused on 
formal methods are especially welcome. Authors are invited to submit 
original research or tool papers on all relevant topics in these areas. 
Papers discussing new ideas that are at an early stage of development 
are also welcome. The topics covered by the conference include, but are 
not limited to, the following:


 *

   Automata Theory

 *

   Automated Deduction

 *

   Computational aspects of Game Theory

 *

   Concurrency and Distributed computation

 *

   Decision Procedures

 *

   Deductive, Compositional, and Abstraction Techniques for Verification

 *

   Finite Model Theory

 *

   First-order and Higher-order Logics

 *

   Formal Languages

 *

   Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems

 *

   Game Semantics

 *

   Games and Automata for Verification

 *

   Logical aspects of Computational Complexity

 *

   Logics of Programs

 *

   Modal and Temporal Logics

 *

   Model Checking

 *

   Models of Reactive and Real-Time Systems

 *

   Probabilistic Models (Markov Decision processes)

 *

   Program Analysis and Software Verification

 *

   Reinforcement Learning

 *

   Run-time Verification and Testing

 *

   Specification and Verification of Finite and Infinite-state Systems

 *

   Synthesis


   Important Dates

 *

   Abstract submission deadline: 23 June 2023

 *

   Paper submission deadline: 30 June 2023

 *

   Acceptance notification: 7 August 2023

 *

   Camera-ready deadline: 6 September 2023

 *

   Conference dates: 18-20 September 2023

⚠ all deadlines areAoE 



   Publication

The proceedings will be published byElectronic Proceedings in 
Theoretical Computer Science . Authors of 
selected papers will be invited to submit a revised version of their 
work to a special issue of Logical Methods in Computer Science 
.


The previous editions of GandALF already led to special issues of the 
International Journal of Foundations of Computer Science (GandALF 2010), 
Theoretical Computer Science (GandALF 2011 and 2012), Information and 
Computation (GandALF 2013, 2014, 2016, 2017, 2018, 2019, and 2020), Acta 
Informatica (GandALF 2015) and Logical Methods in Computer Science 
(GandALF 2021 and 2022).



   Submission

Submitted papers should not exceed 14 pages (excluding references and 
clearly marked appendices) using EPTCS format (please use the LaTeX 
style providedhere ), be unpublished, and 
contain original research. For papers reporting experimental results, 
authors are encouraged to make their data available with their 
submission. Submissions must be in PDF format and will be handled via 
easychair at the following address:


https://urldefense.com/v3/__https://easychair.org/conferences/?conf=gandalf23__;!!IBzWLUs!WMSu4hLrnB6YdEEoOAQry8Q5TXtBsl4QLPG1rkEmn0olEZ5cSU0L_5mdtHjgYnz4stTK_C0FZaMPaMhahGznLcPMKlm-AntP8Cv7MKpCAV4$  




   Invited Speakers

 *

   Laure Daviaud
   
  –
   City, University of London (UK)

 *

   Juha Kontinen
   

[TYPES/announce] Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023

[Ana Sokolova]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023
———
Since 2002, the Association for Logic, Language, and Information (FoLLI)
has been awarding the annual E.W. Beth Dissertation Prize to outstanding
Ph.D. dissertations in Logic, Language, and Information (
https://urldefense.com/v3/__http://www.folli.info/?page_id=74__;!!IBzWLUs!QFrGNzYCcKHvj_TYNfmfV5u6lQIEluWWgxc_YwZ8-TBFGzUkcPxwZJtB9CC-iWqO2WuTgTUs14ordRlqnTntNZIJNycc6VRWcqCK$
 ), with financial support of the E.W. Beth
Foundation (
https://urldefense.com/v3/__https://www.knaw.nl/en/awards/funds/evert-willem-beth-stichting/evert-willem-beth-foundation__;!!IBzWLUs!QFrGNzYCcKHvj_TYNfmfV5u6lQIEluWWgxc_YwZ8-TBFGzUkcPxwZJtB9CC-iWqO2WuTgTUs14ordRlqnTntNZIJNycc6bfS9XWp$
 ).
Nominations are now invited for the best dissertation in these areas
resulting in a Ph.D. degree awarded in 2022.

The deadline for nominations is the 12th of May 2023.
———
Qualifications:

 - A Ph.D. dissertation on a topic concerning Logic, Language, or
Information is eligible for the Beth Dissertation Prize 2023, if the degree
was awarded  between January 1st and December 31st, 2022.
 - There are no restrictions on the nationality, ethnicity, age, gender or
employment status of the author of the nominated dissertation, nor on the
university, academic department or scientific institution formally
conferring the Ph.D. degree, nor on the language in which the dissertation
has originally been written.
 -  In accordance with the aim of the Beth Foundation to continue and
extend the work of the Dutch logician Evert Willem Beth, nominations are
invited of excellent dissertations on topics in the broad remit of ESSLLI,
including current topics in philosophical and mathematical logic, computer
science logic, philosophy of science, philosophy of language, history of
logic, history of the philosophy of science and scientific philosophy in
general, as well as the current theoretical and foundational developments
in information and computation, language, and cognition. Dissertations with
results more broadly impacting various research areas in their
interdisciplinary investigations are especially solicited.
 -  If a nominated dissertation has originally been written in a language
other than English, its dossier should still contain the required 10 page
English abstract, see below. If the committee decides that a nominated
dissertation in a language other than English requires translation to
English for proper evaluation, the committee can transfer its nomination to
the competition in 2024. The English translation must in such cases be
submitted before the deadline of the call for nominations in 2024. The
committee may recommend the Beth Foundation to consider supporting such
nominated dissertations for English translation, upon request by the author
of the dissertation.

The prize consists of:
 - a certificate
 - a donation of 3000 euros, provided by the E.W. Beth Foundation
 - an invitation to submit the dissertation, possibly after revision, for
publication in FoLLI Publications on Logic, Language and Information
(Springer).

Only digital submissions are accepted, without exception. Hard copy
submissions are not allowed. The following documents are to be submitted in
the nomination dossier:
 - The original dissertation in pdf format (ps/doc/rtf etc. not acceptable).
 - A ten-page English abstract of the dissertation, presenting the main
results of each chapter.
 - A letter of nomination from the dissertation supervisor, which concisely
describes the scope and significance of the dissertation, stating when the
degree was officially awarded and the members of the Ph.D. committee.
Nominations should contain the address, phone and email details of the
nominator.
 - Two additional letters of support, including at least one from a referee
not affiliated with the academic institution that awarded the Ph.D. degree,
nor otherwise related to the nominee (e.g. former teachers, supervisors,
co-authors, publishers or relatives) or the dissertation.
 - Self-nominations are not possible.

All pdf documents must be submitted electronically, as one zip file, via
EasyChair by following the link
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=bodp23__;!!IBzWLUs!QFrGNzYCcKHvj_TYNfmfV5u6lQIEluWWgxc_YwZ8-TBFGzUkcPxwZJtB9CC-iWqO2WuTgTUs14ordRlqnTntNZIJNycc6Xi3nyLh$
 . In case of any problems or
questions please contact the chair of the committee Ana Sokolova (
a...@cs.uni-salzburg.at).

The prize will be awarded by the chair of the FoLLI board at a ceremony
during the 34th ESSLLI summer school in Ljubljana, July 31 - August 11,
2023.

Beth dissertation prize committee 2023:
--

[TYPES/announce] QEST 2023: Third Call for Papers with Deadline Extension

[QEST Publicity]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]




QEST 2023: Third Call for Papers with Deadline Extension
20th International Conference on Quantitative Evaluation of SysTems (QEST)
20-22 September 2023, Antwerp, Belgium

Co-located with CONCUR, FMICS, and FORMATS as part of CONFEST 2023

https://www.uantwerpen.be/en/conferences/confest-2023/


Deadlines extended: 

Abstract deadline: 30 April 2023 (extended to May 8)
Paper deadline: 7 May 2023 (extended to May 17)


** Scope and Topics

The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum for the quantitative evaluation and verification of systems. Systems of interest include biological and chemical systems; computer networks; cyber-physical systems; critical infrastructures; data-driven AI systems; energy systems; hardware and software systems; industrial systems; and mobility networks.
QEST 2023 is the 20th conference in the series and will be held on 19-22 September 2023 in Antwerp, Belgium, as part of the CONFEST 2023 umbrella conference. 
Topics and scientific areas of interest include:

	• languages and methods for the specification of quantitative properties of systems;
	• quantitative and probabilistic aspects of programming;
	• stochastic, probabilistic, and non-deterministic models and
	• metrics for the correctness,
	  performance, reliability, safety, and security of systems;
	• algorithms for the evaluation and verification of
	• stochastic,
	  probabilistic, and non-deterministic models;
	• data-driven and machine-learning techniques for the
	• analysis, prediction, and verification
	  of quantitative properties of systems;
	• case studies that highlight the role of quantitative
	• specification, modelling,
	  and evaluation in the design and analysis of systems, with
	• emphasis on emerging problems
	  and technologies;
	• novel tools to support the practical application of research
	  results in all of the above areas.

QEST 2023 will set up an artifact evaluation process (details below). QEST 2023 is open to theoretical, experimental, and applicative research. The conference welcomes a diversity of modelling formalisms, programming languages, and methodologies that incorporate quantitative aspects such as probabilities, temporal properties, rewards, and forms of non-determinism. Papers may advance the state of the art on empirical approaches, simulation methods, analysis techniques, and applications to industrially relevant case studies.


** Invited Speakers

QEST 2023 features a list of invited speakers that are partially shared with the other CONFEST 2023 conferences. 

QEST invited speakers: 

Frans A. Oliehoek, TU Delft, Netherlands
David Parker, Oxford University, UK

CONFEST invited speakers: 

Ahmed Bouajjani, Paris Diderot University, France
Joost-Pieter Katoen, RWTH Aachen, Germany
Nicolas Markey, University of Rennes, France
Jaco van de Pol, Aarhus University, Denmark
Anna Slobodova, Intel, USA


** Submissions

QEST 2023 considers three types of papers (authors will be able to specify the type of contribution upon submission):

	• Research papers: Theoretical, methodological, and application-based contributions that advance
			   the understanding on a topic or issue, describe the development of new analysis
			   processes  and techniques, or apply quantitative methods to relevant case studies.
			   
	• Tool papers: New tools and the formalisms they support. focusing on the software architecture and practical
		   implementation and use. Tool papers must be accompanied by an artifact in the Artifact Evaluation.
		   
	• Work-in-progress papers: We offer an opportunity to present preliminary results and receive feedback from
		   the community. Work-in-progress contributions are not required to be fully worked-out approaches,
		   for example regarding validation or technical depth; however the presented ideas should be
		   mature enough to appreciate soundness and how they advance our knowledge.

Research and tool papers can be regular or short:

	• Regular papers must not exceed 14 pages, excluding references.
	• Short papers should be limited to 7 pages, also excluding references.

All papers can have an appendix containing supporting material. Note
that reviewers are not required to read the appendix to fully assess
the merits of the paper. Work-in-progress papers must not exceed 4
pages including references. All papers must be submitted in Springer’s
LNCS format. All submitted papers must be unpublished and not be
submitted for publication elsewhere. Papers should be submitted
electronically using EasyChair via 
https://easychair.org/my/conference?conf=qest2023

Springer encourages authors to include their ORCIDs in their papers.
Authors should consult Springer's authors' guidelines and use Springer's LaTeX templates for the preparation of their papers.
Submitted papers not complying with the above 

[TYPES/announce] 2023 Coq workshop call for presentations

[Yves Bertot]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

We are pleased to invite you to submit presentation proposals for the 
Coq Workshop 2023, which will be held in Białystok, Poland on July 31, 
2023, as a satellite to the ITP conference.


https://urldefense.com/v3/__https://coq-workshop.gitlab.io/2023/__;!!IBzWLUs!TZkbypr524bNFhzSsi53DuD-88GPUOqG1NslSOq6ZY1OCOgFEEzZ9PfI6C3KU823ebpIC7QmA78QyMTCdI5stk-GQk9hXCEsqukt$ 



The Coq Workshop 2023 is the 14th installment of the Coq Workshop 
series. The workshop brings together users, contributors, and developers 
of the Coq proof assistant.


The Coq Workshop focuses on strengthening the Coq community and 
providing a forum for discussing practical issues, including the future 
of the Coq software, piece of software based on type theory and its 
associated ecosystem of libraries and tools. Thus, rather than serving 
as a venue for traditional research papers, the workshop is organized 
around informal presentations and discussions, supplemented with invited 
talks.



Important dates:

    May 26, 2023 (AoE): Deadline for submission of presentation proposals
    June 15, 2023: Notification to authors
    July 31, 2023: Workshop

Submission instructions:

Authors should submit presentation proposals as extended abstracts
through EasyChair.

Relevant subject matter includes but is not limited to:

    Language or tactic features for Coq
    Theory and implementation of the Calculus of Inductive Constructions
    Applications of Coq and experience reports on Coq use in education and
 industry
    Tools and platforms built on Coq
    Plugins and libraries for Coq
    Interfacing with Coq
    Formalization tricks and Coq pearls

Submission format:

Presentation proposals should be no more than 2 pages in length
including bibliographic references, and should use the EasyChair style
with the fullpage package. All submissions must be in PDF format.

Program committee:

    Nada Amin (Harvard)
    Jesper Bengtson (IT-University of Copenhagen)
    Yves Bertot (Inria) [chair]
    Ana Borges (University of Barcelona)
    Chantal Keller (LMF, Université Paris-Saclay)
    Pierre Roux (ONERA, Toulouse)
    Takafumi Saikawa (Nagoya University)
    Enrico Tassi (Inria) [chair]

Organizers and contact:

Enrico Tassi and Yves Bertot (coq2...@easychair.org)

[TYPES/announce] Fwd: Final CfP: Logical and Semantic Frameworks with Applications (LSFA 2023) [extended deadlines]

[D. Ventura]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

ERRATA: submission deadline should be May 8 instead of May 27.

===


*18th Logical and Semantic Frameworks with Applications - LSFA 2023*
*1-2 July 2023*

   
https://urldefense.com/v3/__https://sites.google.com/ufg.br/lsfa2023__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOHQnfXOcg$
 

 Affiliated to FSCD 2023 
,
Rome, Italy

 *Final Call For Papers*

===

Logical and semantic frameworks are formal languages used to
represent logics, languages and systems. These frameworks provide
foundations for the formal specification of systems and computational
languages, supporting tool development and reasoning. The LSFA
series' objective is to put together theoreticians and practitioners
to promote new techniques and results, from the theoretical side, and
feedback on the implementation and the use of such techniques and
results, from the practical side.

See lsfa-workshop.github.io/ for more information.

LSFA *topics of interest* include, but are not limited to:

* Automated deduction
* Applications of logical and semantic frameworks
* Computational and logical properties of semantic frameworks
* Formal semantics of languages and systems
* Implementation of logical and semantic frameworks
* Lambda and combinatory calculi
* Logical aspects of computational complexity
* Logical frameworks
* Process calculi
* Proof theory
* Semantic frameworks
* Specification languages and meta-languages
* Type theory

*Submissions*

Contributions should be written in English and submitted as *full *
*papers *(with a maximum of *16 pages*) or as *short papers* (with a
maximum of *6 pages*). They must be unpublished and not submitted
simultaneously for publication elsewhere. The papers should be
prepared in LaTeX using the *EPTCS style*. The submission should be
in the form of a PDF file uploaded to Easychair:

https://urldefense.com/v3/__https://easychair.org/conferences/?conf=lsfa2023__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOFUT8A0gw$
 

The pre-proceedings, containing the reviewed papers, will be
available on the conference webpage by the time of the event.
*After the meeting*, the authors will be invited to *submit full*
*versions of their works for the post-proceedings publication in *
*EPTCS (TBC)*. At least *one of the authors of each submission must*
*register for the conference*. Presentations should be in English.

According to the submissions' quality, the chairs will promote the
further publication of journal revised versions of the papers.
Previous LSFA Special Issues have been published in journals such
as The Logical J. of the IGPL, Theoretical Computer Science and
Mathematical Structures in Computer Sciences (see the LSFA page
https://urldefense.com/v3/__https://lsfa-workshop.github.io/__;!!IBzWLUs!SvWnxNLDG9A13u6N5iaDJ3lA71CTSuJiIEd3LZXLzGs-HdcYjzMM28gzCbbGRNJ_001OG-eBOqZyJ-OaUzejkOHXJrFS3g$
 ).

*Important dates (*extended deadlines
*)*
* *Abstract*: *April 22 **April 29* (AoE)
* *Submission*: *April 29 **May 27 *(AoE)
* *Notification*: *May 27*
* *Preliminary proceedings* version due: *June 10*
* Submission for *final proceedings*: *TBC*
* *Final version*: *TBC*


*Invited Speakers*
  * Cynthia Kop 
 (Radboud
University Nijmegen, The Netherlands)
[shared session with LFMTP'23 
]
  * Brigitte Pientka 
 (McGill
University, Canada)
  * Pablo Barenbaum 
 (UBA & UNQ, Argentina)

 *note*: shared session with LFMTP'23 
 on
July 2.

*Program Committee*

  Sandra Alves