[TYPES/announce] IEEE CSF 2024 Workshop on Security, Privacy and Information Theory, Protect-IT'24 - Call for Papers (deadline May 4, 2024)

[Ralf Kuesters]

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

IEEE CSF 2024 Workshop on Security, Privacy and Information Theory, 
Protect-IT'24  is now accepting submissions.


The workshop will be held in parallel with IEEE CSF 2024 in Enschede, 
Netherlands on July 8, 2024. For further details on the workshop and 
submissions please kindly refer to the workshop webpage or to the 
summary below.


https://urldefense.com/v3/__https://protectitworkshop.github.io/protectit-workshop.github.io/__;!!IBzWLUs!XjuJeR7BDt9jHdh7Uanx2qXqqwC6N-wxZbdhu33RtTj_tUsCt3A0nKG5JHdTXXTUVV9Q5rc3HCsNvTk6ntt4jhAV-aHtRcAFBrkfOa53HFAIN1-1TQ$ 


=

Protect-IT targets to attract studies on security and privacy for 
machine learning (ML) from an information-theoretic standpoint. Accuracy 
and efficiency of ML systems are ensured by employing large datasets 
which usually contain highly sensitive/personal information. This strong 
dependence on personal information jeopardizes the privacy and security 
of innocent Internet users who are contributing, knowingly or not, to 
these online statistical datasets. Protect-IT aims to bring the typical 
attendees of CSF, who have expertise on the theory of cryptography and 
(algorithmic) fairness together with researchers on information theory 
to study, develop, and evaluate privacy, security, and fairness attacks 
against ML along with defense strategies to counter them.
We put information theory at the heart of this endeavor and call for 
contributions grounded in information-theoretic concepts and principles, 
aiming to enrich preliminary research efforts and to achieve widespread 
adoption.


We will have two invited sessions that will be held by Josep 
Domingo-Ferrer from University of Rovira i Virgili and Jan Ramon from 
INRIA, Lille.  The workshop is currently planned as a full day event.


**SUBMISSION INSTRUCTIONS**

We welcome two types of submissions: extended abstracts and posters. 
Extended abstracts must be at most 4 pages long excluding references and 
adhere to the *CSF* *format*. We encourage submissions of work that is 
new to the community of data privacy, security and information theory in 
addition to submissions which are currently under review elsewhere or 
recently published in privacy and security venues. The workshop will 
*not* have formal proceedings, but authors of accepted abstracts can 
choose to publish their work on the workshop's webpage or to provide a 
link to arXiv.


**POSTER INSTRUCTIONS**
All accepted papers have a slot at the poster session. Please print your 
poster on size up to A0 (841 × 1189 mm) and bring it to the conference.


Submission deadline: May 04, 2024, 23:59 (Anywhere on Earth)
Notification of acceptance: June 04, 2024

More information may be found in the attached CFP flyer as well as on
the workshop's webpage.

Best regards,

Protect-IT'24 Organizers

[TYPES/announce] TYPES 2024: Call for Participation

[Patrick Bahr]

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

 Call for Participation
  
  TYPES 2024
   30th International Conference on
 Types for Proofs and Programs
  
 Copenhagen, Denmark, 10 - 14 June 2024
   
https://urldefense.com/v3/__https://types2024.itu.dk__;!!IBzWLUs!RzC8ODhuP-0MyH3Kqdc3zpHsPnQTCwBX3LAdHRVBpchWDlo0gWPoZCjdh2gqGO4G3ej6jw2OEDyVRhU6fKp2vKF3dw$
 



REGISTRATION


Registration is now open at 

https://urldefense.com/v3/__https://types2024.itu.dk/Registration.html__;!!IBzWLUs!RzC8ODhuP-0MyH3Kqdc3zpHsPnQTCwBX3LAdHRVBpchWDlo0gWPoZCjdh2gqGO4G3ej6jw2OEDyVRhU6fKpwUXx0gA$
 

* Early registration until May 13
* Late registration until May 30

Students can register at a reduced fee. For details, see the above link. 


ACCOMMODATION


We have reserved a number of hotel rooms at reduced rates. 

* Some rooms are only available until April 24!

A small number of rooms may be available as late as May 24, but supply is 
limited after April 24. We therefore encourage participants to book these 
soon. More details at
 
https://urldefense.com/v3/__https://types2024.itu.dk/Venue.html__;!!IBzWLUs!RzC8ODhuP-0MyH3Kqdc3zpHsPnQTCwBX3LAdHRVBpchWDlo0gWPoZCjdh2gqGO4G3ej6jw2OEDyVRhU6fKpB3PB9FA$
 


INVITED SPEAKERS


* Brigitte Pientka (McGill University, Canada)
* Egbert Rijke (University of Ljubljana, Slovenia)
* Talia Ringer (University of Illinois at Urbana-Champaign, USA)

There will also be a special session in memory of Peter Aczel, organised
by Peter Dybjer. The session will consist of talks by 

* Nicola Gambino (University of Manchester, UK)
* Michael Rathjen (University of Leeds, UK)


BACKGROUND
--

The TYPES meetings are a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalised
and computer assisted reasoning and computer programming.

The TYPES areas of interest include, but are not limited to:

* foundations of type theory and constructive mathematics;
* applications of type theory;
* dependently typed programming;
* industrial uses of type theory technology;
* meta-theoretic studies of type systems;
* proof assistants and proof technology;
* automation in computer-assisted reasoning;
* links between type theory and functional programming;
* formalizing mathematics using type theory.

We encourage talks proposing new ways of applying type theory. In the
spirit of workshops, talks may be based on newly published papers,
work submitted for publication, but also work in progress.


PROGRAMME COMMITTEE
---

Patrick Bahr  (IT University of Copenhagen, Denmark) (co-chair)
Henning Basold  (Leiden University, The Netherlands)
Andrej Bauer  (University of Ljubljana, Slovenia)
Marco Carbone  (IT University of Copenhagen, Denmark)
Jesper Cockx  (TU Delft, The Netherlands)
Greta Coraglia  (University of Milan, Italy)
Peter Dybjer  (Chalmers University of Technology, Sweden)
Yannick Forster  (INRIA, France)
Hugo Herbelin  (INRIA, France)
Patricia Johann  (Appalachian State University, USA)
Marie Kerjean  (CNRS, France)
Ekaterina Komendantskaya  (University of Southampton, United Kingdom)
Meven Lennon-Bertrand  (University of Cambridge, United Kingdom)
Assia Mahboubi  (INRIA, France)
Sonia Marin  (University of Birmingham, United Kingdom)
Anders Mörtberg  (Stockholm University, Sweden)
Rasmus Ejlers Møgelberg  (IT University of Copenhagen, Denmark) (co-chair)
Benjamin Pierce  (University of Pennsylvania, USA)
Jakob Rehof  (Technical University of Dortmund, Germany)
Simona Ronchi Della Rocca  (University of Turin, Italy)
Kristina Sojakova  (Vrije Universiteit Amsterdam, The Netherlands)
Ana Sokolova  (University of Salzburg, Austria)
Bas Spitters  (Aarhus University, Denmark)
Wouter Swierstra  (Utrecht University, The Netherlands)
Philip Wadler  (University of Edinburgh, United Kingdom)

TYPES STEERING COMMITTEE


Sandra Alves (University of Porto, Portugal)
Eduardo Hermo Reyes (Formal Vindications, Spain)
Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark)
Paige Randall North (Utrecht University, The Netherlands) (chair)
Matthieu Sozeau (INRIA & Université de Nantes, France)
Benno van den Berg (University of Amsterdam, The Netherlands) (secretary)

ABOUT TYPES
---

The TYPES meetings from 1990 to 2008 were annual workshops of a sequence
of five EU funded networking projects. From 2009 to 2021, TYPES has been
run as an independent conference series. Previous TYPES meetings were
held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen
(1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee
(1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen
(2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham
(2006), Cividale del Friuli (2007), Torino (2008), Aussois 

[TYPES/announce] WiL 2024: 8th Women in Logic Workshop

[Elaine Pimentel]

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

--> Please feel free to forward this e-mail to interested persons! <--


Are you a woman working in logic?
Please join us on July 9, 2024 at WiL, give a talk, and enjoy a day with
Women in Logic!

Please submit an abstract of 1-2 pages by April 30, 2024 (AoE), via
EasyChair.

-
Call for Contributions
WiL 2024: 8th Women in Logic Workshop
 July 9, 2024
Co-located with LICS/ICALP/FSCD 2024
 
https://urldefense.com/v3/__https://sites.google.com/view/wil24__;!!IBzWLUs!SLT2fG-CaFVhY-5Og3KhK3FOc6XxIDns8m_jF-s1hFwV5zdLUGyuuDbqAxW2HUzd79rhEXZh0n8yf-rCk7jc9mCFvwOY8M67qet2ebBM$
 
-
Women in Logic 2024 is a satellite event of the  9th International
Conference on Formal Structures for Computation and Deduction (FSCD 2024)
to be held in Tallinn, Estonia, from July 10 to July 13, 2024.

The Women in Logic workshop (WiL) provides an opportunity to increase
awareness of the valuable contributions made by women in the area of logic
in computer science. Its main purpose is to promote the excellent research
done by women, with the ultimate goal of increasing their visibility and
representation in the community. Our aim is to:

* provide a platform for women researchers to share their work and
achievements;
* increase the feelings of community and belonging, especially among junior
faculty, post-docs and students through positive interactions with peers
and more established faculty;
* establish new connections and collaborations;
* foster a welcoming culture of mutual support and growth within the logic
research community.

We believe these aspects will benefit women working in logic and computer
science, particularly early-career researchers.

Previous versions of Women in Logic (Reykjavík 2017, Oxford 2018, Vancouver
2019, Paris 2020, Rome 2021, Haifa 2022, Rome 2023) were very successful in
showcasing women's work and as catalysts for a recognition of the need for
change in the community.

Topics of interest include but are not limited to: automata theory,
automated deduction, categorical models and logics, concurrency and
distributed computation, constraint programming, constructive mathematics,
database theory, decision procedures, description logics, domain theory,
finite model theory, formal aspects of program analysis, formal methods,
foundations of computability, games and logic, higher-order logic, lambda
and combinatory calculi, linear logic, logic in artificial intelligence,
logic programming, logical aspects of bioinformatics, logical aspects of
computational complexity, logical aspects of quantum computation, logical
frameworks, logics of programs, modal and temporal logics, model checking,
probabilistic systems, process calculi, programming language semantics,
proof theory, real-time systems, reasoning about security and privacy,
rewriting, type systems and type theory, and verification.

INVITED SPEAKERS
*  TBA

IMPORTANT DATES
* Abstract submission deadline: April 30, 2024
* Notification: May 13, 2024
* Easrly registration: May 17, 2024
* Contribution for Informal Proceedings: June 25, 2024
* Workshop: July 9, 2024

SUBMISSIONS
Abstracts should be written in English (1-2 pages), and prepared using the
Easychair style 
(https://urldefense.com/v3/__https://easychair.org/publications/for_authors__;!!IBzWLUs!SLT2fG-CaFVhY-5Og3KhK3FOc6XxIDns8m_jF-s1hFwV5zdLUGyuuDbqAxW2HUzd79rhEXZh0n8yf-rCk7jc9mCFvwOY8M67qXH08YL-$
 ). The
abstracts should be uploaded to the WiL 2024 Easychair page
https://urldefense.com/v3/__https://easychair.org/my/conference?conf=wil2024__;!!IBzWLUs!SLT2fG-CaFVhY-5Og3KhK3FOc6XxIDns8m_jF-s1hFwV5zdLUGyuuDbqAxW2HUzd79rhEXZh0n8yf-rCk7jc9mCFvwOY8M67qbbJa8z6$
 

as a PDF file before the submission deadline on April 30, 2024, anywhere on
Earth.

ORGANIZING AND PROGRAM COMMITTEE
* Suguman Bansal (Georgia Institute of Technology)
* Agata Ciabattoni (Vienna University of Technology)
* Lourdes Del Carmen González Huesca (Universidad Nacional Autónoma de
México)
* Amy Felty (University of Ottawa)
* Maria Keet (University of Cape Town)
* Delia Kesner (Université Paris Cité)
* Daniele Nantes (Co-chair, University of Brasília/Imperial College)
* Thaynara Arielly de Lima (Federal University of Goiás)
* Valeria de Paiva  (Topos Institute)
* Catuscia Palamidessi (INRIA)
* Elaine Pimentel (Co-chair, UCL)
* Tephilla Prince (Co-chair, IIT Dharwad)
* Krishna S. (IIT Bombay)

GRANTS
A limited number of travel grants is available for students/young
researchers who would not otherwise have resources to attend WiL, and whose
attendance would benefit both the applicant and the event. We expect to be
able to help with registration/local/travel expenses. Applicants should
note that grants are limited, and that costs in 

[TYPES/announce] APLAS 2024: 2nd Call for Papers

[Mirai Ikebuchi]

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

2nd Call for Papers

APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems
October 22-24, 2024, Kyoto, Japan

   
https://urldefense.com/v3/__https://conf.researchr.org/home/aplas-2024/__;!!IBzWLUs!TqTDfuEmGii2XRJgEMjv0egXrppZvyrKlqJ-LNzlZP5c6UbBm5IYVTyXkbsXsSldVMWRvdlXdIVP-SqeVO0erTp36MMZIoqj$
  


APLAS 2024 aims to bring together programming language researchers,
practitioners and implementors *worldwide*, to present and discuss the
latest results and exchange ideas in all areas of programming
languages and systems. APLAS 2024 is co-located with the
22nd International Symposium on Automated Technology for Verification
and Analysis (ATVA).


We solicit submissions in the form of regular research papers
describing original scientific research results, including system
development and case studies. Among others, solicited topics include:
programming paradigms and styles; methods and tools to specify and
reason about programs and languages; programming language foundations;
methods and tools for implementation; concurrency and distribution;
applications, case studies and emerging topics.

Submissions should not exceed 17 pages, excluding bibliography, in the
Springer LNCS format. The reviewing process is light double-blind,
with a rebuttal phase to address factual errors and minor
misunderstandings.

Proceedings of APLAS 2024 will be published by Springer as part of
Lecture Notes in Computer Science (LNCS). 
https://urldefense.com/v3/__https://link.springer.com/conference/aplas__;!!IBzWLUs!TqTDfuEmGii2XRJgEMjv0egXrppZvyrKlqJ-LNzlZP5c6UbBm5IYVTyXkbsXsSldVMWRvdlXdIVP-SqeVO0erTp36LF_1nC1$
  


APLAS 2024 continues the tradition of the best paper award. 

   Submission deadline: Fri May 24

   Response period: Jul 24-26
   Acceptance notification: Fri Aug 2
   Camera-ready: Sat Aug 31

The submission website is now open: 
https://urldefense.com/v3/__https://aplas24.hotcrp.com/__;!!IBzWLUs!TqTDfuEmGii2XRJgEMjv0egXrppZvyrKlqJ-LNzlZP5c6UbBm5IYVTyXkbsXsSldVMWRvdlXdIVP-SqeVO0erTp36JKKdL37$
  


General Chair: Jacques Garrigue (Nagoya U.)
Publicity Chairs: Ryosuke Sato (Tokyo U.), Mirai Ikebuchi (Kyoto U.)

Program Committee:

Beniamino Accattoli (Inria & Ecole Polytechnique)
Pierre-Evariste Dagand (IRIF / CNRS) 
Silvia Ghilezan (University of Novi Sad, Mathematical Institute SASA)
Fritz Henglein (DIKU and Deon Digital)
Mirai Ikebuchi (Kyoto University)
Patrik Jansson (Chalmers University of Technology and University of Gothenburg)
Oleg Kiselyov (Tohoku University, PC Chair)
Hsiang-Shang ‘Josh’ Ko (Academia Sinica)
Daan Leijen (Microsoft Research)
Martin Lester (University of Reading)
Fredrik Nordvall Forsberg (University of Strathclyde)
Matija Pretnar (University of Ljubljana)
Peter Schachte (The University of Melbourne)
Sven-Bodo Scholz (Radboud University)
Philipp Schuster (University of Tübingen)
Taro Sekiyama (NII)
Amir Shaikhha (University of Edinburgh)
Pavle Subotic (Fantom Foundation)
Yong Kiam Tan (Institute for Infocomm Research, A*STAR)
Kazunori Ueda (Waseda University)
Yuting Wang (Shanghai Jiao Tong University)
Ki Yung Ahn (Hannam University)