[TYPES/announce] WITS 2023 First Call for Contributions

[Jesper Cockx]

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

==

CALL FOR CONTRIBUTIONS

Second Workshop on the Implementation of Type Systems
August 28th, 2023, Braga, Portugal
https://ifl23.github.io/call_papers_wits.html



==

=== Important Dates ===

* Abstract Submission Deadline: 30th June, 2023 (AoE)
* Notification: 21st July, 2023 (AoE)
* Workshop: 28th August, 2023 (AoE)

Submission site: https://wits23.hotcrp.com (submissions will open soon)

=== Scope and topics ===

The Second Workshop on the Implementation of Type Systems (WITS 2023) will be 
held on August 28, 2023, in Braga, Portugal, co-located with IFL 2023. The goal 
of this workshop is to bring together the implementors of a variety of 
languages with advanced type systems. The main focus is on the practical issues 
that come up in the implementation of these systems, rather than the 
theoretical frameworks that underlie them. In particular, we want to encourage 
exchanging ideas between the communities around specific systems that would 
otherwise be accessible to only a very select group. The workshop will have a 
mix of invited and contributed talks, organized discussion times, and informal 
collaboration time. We invite participants to share their experiences, study 
differences among the implementations, and generalize lessons from those. We 
also want to promote the creation of a shared vocabulary and set of best 
practices for implementing type systems.

Here are a few examples of topics we are interested to discuss:

-   syntax with binders and substitution
-   conversion modulo beta and eta
-   implicit arguments and metavariables
-   unification and constraint solving
-   metaprogramming and tactic languages
-   editor integration and automation
-   discoverability of language features
-   pretty printing and error messages

This list is not exhaustive, so please contact the PC chairs in case you are 
unsure if a topic falls within the scope of the workshop.

=== Paper categories ===

We are looking for contributions in two categories:

- Discussion proposals (1 page abstract) should highlight a particular 
technique or aspect of type system implementation that is applicable to 
different languages. These should not present novel ideas, but rather focus on 
building a shared understanding between the different communities working on 
type systems.

- Talk proposals (1 page abstract) should present a novel idea or technique, an 
implementation of a new type system feature (which can be work in progress), or 
highlight a particular problem that came up in the implementation of a type 
system.

Both types of contribution will be evaluated based on their relevance, clarity, 
and their potential to generate interesting discussions. We especially welcome 
submissions from people who are new to the field or work in adjacent areas. 
Reviewing will be single blind, so there is no need to anonymize submissions.

Accepted submissions will be made available publicly on the WITS website. There 
are no formal proceedings, so you are free to submit work that has also been 
submitted elsewhere.

=== Program Committee ===

PC Chairs:
- Jesper Cockx (Delft University of Technology, The Netherlands)
- Richard Eisenberg (Jane Street, USA)

Committee Members:
- Guillaume Allais (University of Strathclyde, Scotland)
- Alexis King (Tweag Software Innovation Lab, France)
- Xavier Leroy (Collège de France, France)
- Jon Sterling (Aarhus University, Denmark)
- Sebastian Ullrich (Karlsruhe Institute of Technology, Germany)

publickey - jesper@sikanda.be - 0x42DD5655.asc
Description: application/pgp-keys


signature.asc
Description: OpenPGP digital signature

[TYPES/announce] CADE-29: Call for participation

[Haniel Barbosa]

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

[Apologies for multiple copies]

==
CADE-29 CALL FOR PARTICIPATION
==

The 29th International Conference on Automated Deduction
Rome, Italy
1 July - 6 July 2023
https://urldefense.com/v3/__https://easyconferences.eu/cade2023/__;!!IBzWLUs!QerPpgmzxWvMFUwamG5jNy40jOy-4k21MtLwdA_Mw78RXcivhawgWLIBbiw0Klpjn_C1HRJQrgburpJQoebcjn3k_J20PvCjGHjcH1w$
 

CADE-29 is co-located with the 8th International Conference on Formal 
Structures for Computation and Deduction (FSCD 2023)

*** KEYNOTE SPEAKERS ***

Maribel Fernandez  (Kings College London)  (joint invited with FSCD 2023)
Jasmin Blanchette (Ludwig-Maximilan Universität München)

*** RESEARCH PROGRAM ***

https://urldefense.com/v3/__https://easyconferences.eu/cade2023/__;!!IBzWLUs!QerPpgmzxWvMFUwamG5jNy40jOy-4k21MtLwdA_Mw78RXcivhawgWLIBbiw0Klpjn_C1HRJQrgburpJQoebcjn3k_J20PvCjGHjcH1w$
 

*** WORKSHOPS ***

ADeMaL: Automated Deduction for Machine Learning  – Date: 05 July
Vampire 2023: The 7th Vampire Workshop – Date: 05 July
Theorem Proving Components for Educational Software (ThEdu'23) – Date: 05 July
SMT'23: The 21st International Workshop on Satisfiability Modulo Theories – 
Date: 05-06 July

*** SYSTEM COMPETITION ***

CASC (CADE System Competition)
https://urldefense.com/v3/__https://www.tptp.org/CASC/29/__;!!IBzWLUs!QerPpgmzxWvMFUwamG5jNy40jOy-4k21MtLwdA_Mw78RXcivhawgWLIBbiw0Klpjn_C1HRJQrgburpJQoebcjn3k_J20PvCjJ0Kfj0o$
 

*** REGISTRATION ***

Early registration until 31 May 2023
Late registration from 1 June 2023

*** VENUE ***

The Faculty of Civil and Industrial Engineering
Sapienza University of Rome

*** CADE-29 ORGANIZERS ***

Conference Chairs:
  Daniele Gorla (Sapienza University of Rome)

Program Committee Chairs:
  Brigitte Pientka (McGill University)
  Cesare Tinelli (University of Iowa)

Workshop & Tutorial Chair:
  Ivano Salvo (Sapienza University of Rome)

Publicity Chair:
  Haniel Barbosa (Universidade Federal de Minas Gerais)

[TYPES/announce] SBMF 2023 - Call for papers

[Haniel Barbosa]

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

[Apologies for multiple copies]

=
CALL FOR PAPERS

26th Brazilian Symposium on Formal Methods
Manaus, Brazil, 4th to 8th of December, 2023

Conference web page: 
https://urldefense.com/v3/__https://sbmf23.ufam.edu.br/__;!!IBzWLUs!WN32jD4HTxRambbo8fufSIhQtgcKWGpHcGv1YF97lrKVjx4r2emYuJoNBcxJkiP6DO6OX2QT1GhivTjWVPmdmmNmoZ21vqIxA5Ru3Bc$
 
Supported by the Brazilian Computer Society (SBC)

Paper submission deadline: 28th July, 2023
Authors notification deadline: 8th September, 2023
Camera-ready copy deadline: 9th October, 2023

=> INTRODUCTION

SBMF 2023 is the twenty-sixth of a series of events devoted to the
development, dissemination, and use of formal methods for the
construction of high-quality computational systems. It is now a
well-established event with an international reputation. It regularly
receives submissions and participants from all over the world.

=> KEYNOTE SPEAKERS

TBD

=> SCOPE AND TOPICS

The aim of SBMF is to provide a venue for the presentation and
discussion of high-quality work in formal methods. The topics include,
but are not limited to, the following:

:: Applications of formal methods to
* Software or/and hardware design
* Software or/and hardware development
* Software or/and hardware code generation
* Software or/and hardware testing
* Software maintenance, evolution or/and reuse
* Intelligent systems

:: Specification and modeling languages
* Logic and semantics for specification or/and programming languages
* Formal methods for timed, real-time, hybrid, or/and safety-critical systems
* Formal methods for service-oriented, cloud-based, or/and cyber-physical 
systems

:: Theoretical foundations
* Domain theory
* Term rewriting
* Computational models
* Type systems and category systems
* Computation complexity of methods and models
* Models of time, concurrency, security or/and mobility

:: Verification and validation
* Abstraction, modularization or/and refinement techniques
* Static analysis
* Model checking
* Theorem proving
* Software certification
* Correctness by construction

:: Experience reports
* Reports on teaching formal methods
* Reports on industrial application of formal methods

=> SUBMISSION GUIDELINES

We invite submissions of papers with a strong emphasis on formal methods, 
whether practical or theoretical, in the following categories:

- Regular papers (limit of 15 pages). Proofs of theoretical results
  that do not fit the page limit may be provided in an appendix.

- Short papers (limit of 8 pages). Short papers include system
  descriptions, user experiences, and case studies. We encourage
  authors to make the data needed to reproduce their experiments
  available.

The page limits exclude references and appendices.

Contributions should not be simultaneously submitted for publication
elsewhere. They should be written in English, and prepared using
Springer’s Lecture Notes in Computer Science (LNCS) format. Springer’s
proceedings LaTeX templates are available in Overleaf. More
information is available at the following link:

https://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!WN32jD4HTxRambbo8fufSIhQtgcKWGpHcGv1YF97lrKVjx4r2emYuJoNBcxJkiP6DO6OX2QT1GhivTjWVPmdmmNmoZ21vqIxOEfvJtI$
 

Papers should present unpublished and original work that has a clear
contribution to the state-of-the-art on the theory and practice of
formal methods. Papers will be judged by at least three reviewers on
the basis of originality, relevance, technical soundness and
presentation quality and should contain sound theoretical or practical
results. Industry papers should emphasize the practical application of
formal methods or report on open challenges.

Submissions should be made via the following link:

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

=> PUBLICATION

Accepted papers will be published, after the conference, in a volume
of LNCS. The authors will be requested to complete and sign a
consent-to-publish form. Every accepted paper MUST have at least one
author registered in the symposium by the time the camera-ready copy
is submitted. The registered author is also expected to attend the
symposium and present the paper.

A special issue of the Science of Computer Programming Journal
(Elsevier) is going to be organised (to be confirmed) with selected
and extended papers from the 26th Brazilian Symposium on Formal
Methods (SBMF 2023).

=> CONTACT

All questions about submissions should be sent to sbmf2...@easychair.org

=> COMMITTEES

:: Organising committee

Edjard Mota (Universidade Federal do Amazonas, Brazil) -- General Chair

Haniel Barbosa (Universidade Federal de Minas 

[TYPES/announce] [final CfP+new submission link] MODALITIES IN SUBSTRUCTURAL LOGICS at ESSLLI

[Sadrzadeh, Mehrnoosh]

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

MODALITIES IN SUBSTRUCTURAL LOGICS:
Applications at the interfaces of logic, language and computation

Workshop at ESSLLI 2023, 7-8 August 2023, Ljubljana, Slovenia, 
https://urldefense.com/v3/__https://2023.esslli.eu__;!!IBzWLUs!VAPo03u4AjQD32yVybzOrRldgJQwz1-US_pi6RQwxSmZFOXjrBbd2QypEkwnWnV0sA1w_7RYuEoR5xoJacPcincerBl0_CNU0BVqIQ$
 

INVITED SPEAKERS

- Alessandra Palmigiano (Amsterdam)
- Max Kanovitch (UCL)

SUBMISSIONS (SHORT and LONG PAPERS!)

We invite anonymized submissions of either (1) short papers of up to 4 pages, 
or (2) full articles of  up to 12 pages. Short papers can be reporting on 
existing or in progress work. Full articles should be original work that has 
not been published or submitted elsewhere. Each submission will be refereed by 
three PC members. Accepted full articles will be published as a volume of 
Electronic Proceedings in Theoretical Computer Science (EPTCS), available at 
the workshop.

Please prepare your submission using LaTeX, using the EPTCS style (available at 
https://urldefense.com/v3/__http://style.eptcs.org__;!!IBzWLUs!VAPo03u4AjQD32yVybzOrRldgJQwz1-US_pi6RQwxSmZFOXjrBbd2QypEkwnWnV0sA1w_7RYuEoR5xoJacPcincerBl0_CNrSV5z0w$
 , also on Overleaf), and upload the pdf to EasyChair via the link (CORRECTED!):

 
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=amslo23__;!!IBzWLUs!VAPo03u4AjQD32yVybzOrRldgJQwz1-US_pi6RQwxSmZFOXjrBbd2QypEkwnWnV0sA1w_7RYuEoR5xoJacPcincerBl0_COmpWFCdQ$
 

IMPORTANT DATES (EXTENDED DEADLINE!)

- 19 May 2023: Title and short abstract registration deadline
- 29 May 2023: Full paper submission deadline
- 23 June 2023: Notification to authors
- 7 July 2023: Final copy due
- 7-8 August 2022: Workshop

ORGANIZERS

Michael Moortgat (m.j.moort...@uu.nl), Mehrnoosh Sadrzadeh 
(m.sadrza...@ucl.ac.uk)

BACKGROUND

The workshop is held with the support of the Horizon 2020 MSCA-Rise project 
MOSAIC 
(https://urldefense.com/v3/__https://sites.google.com/view/mosaic-rise__;!!IBzWLUs!VAPo03u4AjQD32yVybzOrRldgJQwz1-US_pi6RQwxSmZFOXjrBbd2QypEkwnWnV0sA1w_7RYuEoR5xoJacPcincerBl0_CP6DiuRWg$
 ). The aim of this project is twofold:

- Putting forward a comprehensive and unifying logico-mathematical study of 
substructural modal logics, that is, substructural logics with modalities;
- Exploring the application of substructural modal logics outside the bounds of 
mathematical logic and, in particular, in the areas of knowledge 
representation; legal reasoning; data privacy and security; logical analysis of 
natural language.

The workshop is complementary to the course "Modal Lambek Calculus and its 
Natural Language Applications" (Sadrzadeh and Wijnholds) held during the first 
week of ESSLLI 2023.

WORKSHOP THEME

By calling into question the implicit structural rules that are taken for 
granted in classical logic, substructural logics have brought to the fore new 
forms of reasoning with applications in many interdisciplinary areas of 
interest. Modalities, in the substructural setting, provide the tools to 
control and finetune the logical resource management.

The focus of the workshop is on applications in the areas of interest to the 
ESSLLI community, in particular logical approaches to natural language syntax 
and semantics and the dynamics of reasoning. The workshop welcomes 
contributions on topics including, but not limited to,

- Modalities in extended typelogical grammars
- Refinements of the linear exponential: prooftheoretic and semantic aspects
- Modalities and the dynamics of NL interpretation: ellipsis, gapping, pronoun 
resolution
- Substructural Dynamic Epistemic Logic, Intuitionistic Public Announcement 
logic
- Epistemic substructural logics, e.g. Epistemic Separation Logic
- Intuitionistic Modal Logics
- Quantum Dynamic Logic


PROGRAMME COMMITTEE

- Nick Bezhanishvili (U of Amsterdam)
- Sabine Fritella (INSA)
- Rajeev Gore (ANU Canberra)
- Giuseppe Greco (Vrije Universiteit Amsterdam)
- Rosalie Iemhoff (Utrecht University)
- Michael Moortgat (Utrecht University, co-chair)
- Richard Moot (LIRMM Montpellier)
- Valeria de Paiva (Topos Institute, Berkeley)
- Mehrnoosh Sadrzadeh (UCL, co-chair)
- Andre Scedrov (UPenn)
- Sonja Smets (U of Amsterdam)

[TYPES/announce] 2nd Call for Contributions: Programming Languages in The Netherlands 2023

[Verano Merino, M. (Mauricio)]

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

[cid:f1358543-9291-4773-b0d4-875914c28c07]
===

3rd Workshop on Programming Languages
 in The Netherlands
  --
 Friday, June 16, 2023
Amsterdam, The Netherlands

CALL FOR TALK PROPOSALS


https://urldefense.com/v3/__https://conf.researchr.org/home/plnl-2023__;!!IBzWLUs!Wd9p1k9ETv0O1B6nIsIdrHR5USD4YUHn1exH1NZnRFz_MPzhQ5MBYMNUDRkIdrv8t17yLZ_KLxw232LfjRZAOxOkYkbO4BSCL_t8ma85$
 

===

Workshop Overview
-
After the successful launch of this new workshop series with PLNL’18 and 
PLNL’19, we are happy to invite you to give a presentation at PLNL’23 in 
Amsterdam. The purpose of PLNL is to bring together researchers in the area of 
programming languages in The Netherlands. The workshop targets programming 
language research in the broad sense, including, but not limited to, the 
design, implementation, theory, application, and teaching of programming 
languages.


Workshop Format
---
The workshop will consist of a number of contributed talks. These talks should 
provoke discussion and questions --- we strive to have interactive sessions 
with plenty of discussion by the audience.

The coffee and lunch breaks will allow for networking with colleagues and 
meeting new people. Junior and senior researchers are equally welcome and 
encouraged to submit a talk proposal.

Researchers that are not from The Netherlands, but for example, from 
neighbouring countries like Belgium or Germany, are also welcome to 
participate. The language of the workshop is English.

Registration

Participation is free, but registration is compulsory. The deadline for 
registration is June 9, 2023.

To register, please visit 
https://urldefense.com/v3/__https://forms.gle/uWSWLywbJWs7sw5i9__;!!IBzWLUs!Wd9p1k9ETv0O1B6nIsIdrHR5USD4YUHn1exH1NZnRFz_MPzhQ5MBYMNUDRkIdrv8t17yLZ_KLxw232LfjRZAOxOkYkbO4BSCL7SDKFNM$
 


Submission details
--
Submission page: 
https://urldefense.com/v3/__https://conf.researchr.org/home/plnl-2023__;!!IBzWLUs!Wd9p1k9ETv0O1B6nIsIdrHR5USD4YUHn1exH1NZnRFz_MPzhQ5MBYMNUDRkIdrv8t17yLZ_KLxw232LfjRZAOxOkYkbO4BSCL_t8ma85$
 


Submission:   Friday, May 19, 2023.
Notification: Friday, May 26, 2023.
Workshop: Friday, June 16, 2023.

Submissions for talk proposals should be described in an abstract of at most 
300 words. Proposals do not need to represent original work. For example, 
proposing a talk about (recently) published work is fine.

Organizers
--
L. Thomas van Binsbergen 
(l.t.vanbinsber...@uva.nl)
Mauricio Verano Merino   (m.verano.mer...@vu.nl)

Programme Committee
--
- L. Thomas van Binsbergen (University of Amsterdam)
- Mauricio Verano Merino (Free University, Amsterdam)
- Pieter Koopman (Radboud University)
- Peter Achten  (Radboud University)
- Wouter Swierstra (University of Utrecht)
- Tijs van der Storm (CWI, University of Groningen)
- Vadim Zaytsev (University of Twente)
- Casper Bach Poulsen (TU Delft)
- Jurgen Vinju (CWI, TU Eindhoven)

Kind regards,

Mauricio Verano Merino

[TYPES/announce] Ackermann Award: Second call for nominations - Deadline 1st July

[Maribel Fernandez]

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

  ACKERMANN AWARD 2023
EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE
  2ND CALL FOR NOMINATIONS

Nominations are invited for the 2023 Ackermann Award.
PhD dissertations in topics specified by the CSL and LICS
conferences, which were formally accepted as PhD theses at a
university or equivalent institution between 1 January 2022
and 31 December 2022 are eligible for nomination for the award.

The deadline for submission is 1 July 2023.

Nominations should be submitted by the candidate or the supervisor
via Easychair:
https://urldefense.com/v3/__https://easychair.org/my/conference?conf=ackermann23__;!!IBzWLUs!UWh_OUTvz8wr5qCgif2wJY6IZ--Cu1el5204yTyXCW10onxm6Au1qm0Wm_RjKnZABRhdXD-fGo-B2gftYabI2V-B6yQadaAE2a_7fnRFjCKx$
 

Please submit a pdf file containing:
1. a summary in English of the thesis (maximum 10 pages),
providing a gentle introduction and overview of the thesis,
highlighting the novel results and their impact and
including a link to the thesis (please do not include the
thesis itself);
2. a supporting letter by the PhD advisor and two supporting
letters by other senior researchers (in English);
3. a copy of a document stating that the thesis was accepted
as a PhD thesis at a recognised University (or equivalent
institution) and that the candidate was awarded the PhD
degree within the specified period;
4. a short CV of the candidate.

*** The Award
The 2023 Ackermann award will be presented to the recipient(s)
at CSL 2024, the annual conference of the EACSL.

The award consists of a certificate, an invitation to present
the thesis at the CSL conference, the publication of the
laudatio in the CSL proceedings, an invitation to publish
the thesis in the FoLLI subseries of Springer LNCS,
and financial support to attend the conference.

*** Ackermann Jury
The jury consists of:
  * Christel Baier (TU Dresden)
  * Maribel Fernandez (King’s College London), president of EACSL
  * Jean Goubault-Larrecq (ENS Paris-Saclay)
  * Joost-Pieter Katoen (RWTH Aachen University), ACM SigLog rep.
  * Delia Kesner (IRIF, U Paris Cite)
  * Slawomir Lasota (U Warsaw)
  * Florin Manea (U Goettingen), vice-president of EACSL
  * Prakash Panangaden (McGill University)
  * James Worrell (U Oxford)

For more information please contact Maribel Fernandez:
maribel.fernan...@kcl.ac.uk

[TYPES/announce] Final CFP: IEEE CSF 2024 - Spring Cycle (Submission Deadline: May 15, 2023, AoE)

[Ralf Kuesters]

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



37th IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF) 2024
July 8 - 12, 2024 - Enschede, The Netherlands

https://urldefense.com/v3/__https://csf2024.ieee-security.org/__;!!IBzWLUs!RmcevHTJEZ7yQyFZR_6RFyBcdeCU8bIXCkkEkADI6t97d3SFjJAeoz2wGuy8AeaDdpphAZ0KPnpVLpEycrodMuyWnONdpqpL_YFrfNGmR_j5VcGlvw$ 




=
 CSF Mailing List (please subscribe) 
=

https://urldefense.com/v3/__http://lists.ieee-security.org/listinfo.cgi/csf-announcements-ieee-security.org__;!!IBzWLUs!RmcevHTJEZ7yQyFZR_6RFyBcdeCU8bIXCkkEkADI6t97d3SFjJAeoz2wGuy8AeaDdpphAZ0KPnpVLpEycrodMuyWnONdpqpL_YFrfNGmR_iWmsK1jA$ 

This is the new CSF mailing list which replaces the former 
csf-attend...@mail-infsec.cs.uni-saarland.de mailing list.


Please subscribe to this new list to be up to date on important 
information in the field of computer security foundations.


=


The Computer Security Foundations Symposium (CSF) is an annual 
conference for researchers in computer security. CSF seeks papers on 
foundational aspects of computer security, such as formal security 
models, relationships between security properties and defenses, 
principled techniques and tools for design and rigorous analysis of 
security mechanisms, as well as their application to practice. While CSF 
welcomes submissions beyond the topics listed below, the main focus of 
CSF is foundational security and privacy. Papers lacking foundational 
aspects risk desk rejection without further evaluation of their merits; 
contact the PC chairs when in doubt.


Important Dates:

Spring cycle paper submission   May 15, 2023
Spring cycle author notificationJuly 6, 2023

Fall cycle paper submission September 30, 2023
Fall cycle author notification  December 2, 2023

Winter cycle paper submission   February 3, 2024
Winter cycle author notificationApril 7, 2024

CSF Symposium   July 8 - 12, 2024

TOPICS

New results in security and privacy are welcome. We also encourage 
challenge/vision papers, which may describe open questions and raise 
fundamental concerns about security and privacy. Possible topics for all 
papers include, but are not limited to:


- access control
- accountability
- anonymity
- attack models
- authentication
- blockchains and smart contracts
- cloud security
- cryptography
- data provenance
- data and system integrity
- database security
- decidability and complexity
- decision theory
- distributed systems security
- electronic voting
- embedded systems security
- forensics
- formal methods and verification
- hardware-based security
- information flow control
- intrusion detection
- language-based security
- mobile security
- network security
- privacy
- security and privacy aspects of machine learning
- security and privacy for the Internet of Things
- security architecture
- security metrics
- security policies
- security protocols
- software security
- socio-technical security
- trust management
- usable security
- web security

SYSTEMATIZATION OF KNOWLEDGE PAPERS
CSF'24 solicits systematization of knowledge (SoK) papers in 
foundational security and privacy research. These papers systematize, 
re-formulate, or evaluate existing work in one established and 
significant research topic. Such papers must provide new insights. 
Survey papers without new insights are not appropriate. Papers trying to 
identify robust foundations of research areas still lacking them are 
particularly welcome. Submissions will be distinguished by the prefix 
“SoK:” in the title and a checkbox on the submission form.


See the conference website

https://urldefense.com/v3/__https://csf2024.ieee-security.org/__;!!IBzWLUs!RmcevHTJEZ7yQyFZR_6RFyBcdeCU8bIXCkkEkADI6t97d3SFjJAeoz2wGuy8AeaDdpphAZ0KPnpVLpEycrodMuyWnONdpqpL_YFrfNGmR_j5VcGlvw$ 


for further information.

[TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) - co-located with CONCUR 2023 - 2nd CfP

[perelli]

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

Subject: RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) - 
co-located with CONCUR 2023 - Preliminary CfP


==
Third International Workshop on Recent Advances in Concurrency and
Logic (RADICAL 2023)

https://urldefense.com/v3/__https://sites.google.com/site/radicalconcur/Home__;!!IBzWLUs!Wqved8vgXmGfxvymsWpxhq6zDic35o62liWoLQ51vmnv7rL9J9BvAsnUmkRIX2PLenXIuTbwhqEKeWDi8oSOe2_FUzt_ZizkrcTD$ 


Antwerp (Belgium), September 18, 2023
(co-located with CONCUR 2023)

Submission deadline:
*Friday,  30 June 2023*

Invited speakers:
- Natasha Alechina (Utrecht University, NL)
- Damiano Mazza (CNRS and LIPN, Université Sorbonne Paris Nord, FR)
==

++ SCOPE AND TOPICS
Concurrency and Logics are two of the most active research areas in the
theoretical computer science domain. The literature in these fields is
extensive and provides a plethora of logics and models for reasoning
about intelligent and distributed systems. More recently, the interplay
of concurrency and logic with areas such as:

1. design, verification, synthesis for concurrent systems, both qualitative
and quantitative;
2. strategic reasoning for distributed and multi-agent systems;
3. analysis and validation techniques for concurrent and distributed 
programs,

such as advanced type systems and separation logics;

has received much attention, as witnessed by recent editions of AI
conferences. All these examples share the challenge of developing novel
theories and tools for automated reasoning that take into account the
behavior of concurrent and multi-agent entities.

The workshop aims to bring together researchers working on different aspects
of logic and concurrency in AI, multi-agent systems, and computer science,
both from a theoretical and a practical point of view. Besides, it aims to
promote research on Foundation of AI in other research communities that are
traditionally Theoretical Computer Science-oriented.

The topics covered by the workshop include, but are not limited to, the
following:
Concurrency Theory;
Programming languages and semantics;
Formal models for communication-based, concurrent and distributed systems;
Logics in concurrency;
Logics for verification of (concurrent) multi-agent systems;
Logical foundations of decision theory for multi-agent systems;
Knowledge representation;
Programming languages;

++ SUBMISSION GUIDELINES
Submitted contributions should not exceed 2 pages (not including references)
using the EasyChair format. Submitted papers should be formatted in PDF and
uploaded to

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


We invite submissions describing talk proposals on the intersection of
logic and concurrency. A submission to RADICAL would typically fall within
one of the following categories:

reports of an ongoing work and/or preliminary results;
summaries of an already published paper (or series of papers);
overviews of (recent) PhD theses;
descriptions of research projects and consortia;
manifestos, calls to action, personal views on current and future 
challenges;

overviews of interesting yet underrepresented problems.

This list is by no means exhaustive but merely indicative.

Submissions based on already published works should include explicit 
references/links as appropriate.

Reviewers may read such prior published works, but are not obliged to do so.

Submissions will be judged by the program committee on the basis of 
significance, relevance, and potential of an engaging, compelling talk 
at the workshop.


Submission from PC members is encouraged.

It is understood that for each accepted submission one of the co-authors 
will attend the workshop and give the talk.


No Proceedings:
RADICAL will be an informal venue, oriented to interaction, so there 
will be no formal proceedings.


++ IMPORTANT DATES
** Submission deadline: 30 June 2023.
** Notification to authors: 28 July 2023.
** Workshop: 18th September 2023, in Antwerp (Belgium).

++ WORKSHOP CO-CHAIRS
Giuseppe Perelli (Sapienza University of Rome, Italy)
Jorge A. Pérez (University of Groningen, The Netherlands)

++ PROGRAMME COMMITTEE (In progress)
Antonis Achilleos, Reykjavik University
Natasha Alechina, Utrecht University
Benedikt Bollig, LSV, ENS Cachan, CNRS
Patricia Bouyer, CNRS & ENS Paris-Saclay
James Brotherston, University College London
Marco Carbone, IT University of Copenhagen
Zoé Christoff, University of Groningen
Emanuele D'Osualdo, Max Planck Institute for Software Systems
Ornela Dardha, School of Computing Science -- University of Glasgow
Mariangiola Dezani-Ciancaglini, Dipartimento di Informatica, Università 
di Torino

Claudio Di Ciccio, 

[TYPES/announce] Call for Submissions: Student Research Competition and Posters, APLAS 2023

[Sato, Ryosuke]

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

==
CALL FOR SUBMISSIONS

21st Asian Symposium on Programming Languages and Systems (APLAS 2023)
STUDENT RESEARCH COMPETITION and POSTERS

Taipei, Taiwan, Sun 26 – Wed 29 November 2023

https://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2023/src-and-posters__;!!IBzWLUs!SdPlt3XNAoopNpHsSgTheCsHNXkUkFV9hoYFsktBXBKvgr6uUBrzF8q5L5lfYBoMHFth90bnsRf8Mt4Gjtfn6HpWfcBo-ab1DLFM0Q$
 
==


The APLAS 2023 student research competition (SRC) aims to provide
opportunities for students to present their ongoing work to the
community and receive feedback. The associated poster session also
welcomes contributions from the entire community.


IMPORTANT DATES
---

* Mon 21 Aug 2023: Submission Deadline for Extended Abstracts
* Fri 22 Sep 2023: Notification


SUBMISSION CATEGORIES
-

* Student Research Competition: unpublished work by a single student
https://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2023/src-and-posters*student-research-competition__;Iw!!IBzWLUs!SdPlt3XNAoopNpHsSgTheCsHNXkUkFV9hoYFsktBXBKvgr6uUBrzF8q5L5lfYBoMHFth90bnsRf8Mt4Gjtfn6HpWfcBo-abw9WGE9A$
 

* Non-SRC posters: unpublished or published work, not restricted to students
https://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2023/src-and-posters*non-src-posters__;Iw!!IBzWLUs!SdPlt3XNAoopNpHsSgTheCsHNXkUkFV9hoYFsktBXBKvgr6uUBrzF8q5L5lfYBoMHFth90bnsRf8Mt4Gjtfn6HpWfcBo-aYX0OYUhg$
 


PRIZES AND AWARDS
-

* First, second, and third prizes of the SRC

* Audience awards (based on voting by conference participants) given in three
categories: SRC posters, non-SRC posters, and SRC finalist presentations


SUBMISSION INFORMATION
--

For both submission categories, submit an extended abstract following the
instructions on the website:

https://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2023/src-and-posters*submission-information__;Iw!!IBzWLUs!SdPlt3XNAoopNpHsSgTheCsHNXkUkFV9hoYFsktBXBKvgr6uUBrzF8q5L5lfYBoMHFth90bnsRf8Mt4Gjtfn6HpWfcBo-aY2Kj6PQA$
 

A selection committee will review the extended abstracts and provide feedback.


ORGANISERS
--

SRC & Posters Chair:

* Hsiang-Shang 'Josh' Ko (Academia Sinica, Taiwan)

Selection Committee:

* Jacques Garrigue (Nagoya University, Japan)
* Jeremy Gibbons (University of Oxford, UK)
* Chih-Duo Hong (National Chengchi University, Taiwan)
* Oleg Kiselyov (Tohoku University, Japan)
* Akimasa Morihata (University of Tokyo, Japan)
* Dominic Orchard (University of Kent, UK)
* Taro Sekiyama (National Institute of Informatics, Japan)
* Chung-chieh Shan (Indiana University, USA)
* Youngju Song (MPI-SWS, Germany)
* Tachio Terauchi (Waseda University, Japan)
* Chuangjie Xu (SonarSource, Germany)