[TYPES/announce] Postdoc position on Formal Verification for Zero-Trust IoT Systems at Kyoto University

[Atsushi Igarashi]

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

We are seeking a postdoc researcher, who works at Kyoto University,
Japan for a project "Zero-Trust IoT Systems by Collaboration of Formal
Verification and System Software" by Japan Science and Technology
Agency.  This is a great opportunity for programming language
researchers who wish to pursue novel real-world applications.

We'd appreciate you spreading the word to interested candidates.


* Project Description

The project aims at the construction of formally verified secure IoT
systems that follow the concept of "zero trust architecture", dubbed
ZT-IoT systems.  It consists of four research teams, and one of the
teams is led by Atsushi Igarashi, Kyoto University, investigating
applications of formal verification or programming language techniques
to the construction of secure IoT systems: more concretely, the design
and theory of security policy engines for ZT-IoT systems, including
the design of a language to describe security policies and policy
enforcement algorithms and the techniques for verifying policy
enforcement algorithms against given security policies.  Other team
members are Kohei Suenaga and Masaki Waga at Kyoto University.  
The team closely collaborates with another team, led by Taro Sekiyama,
National Institute of Informatics, Japan (NII), together with Ichiro
Hasuo and Shin-ya Katsumata at NII.

The appointment can start as early as May 2023 (the starting date is
negotiable).  The contract will initially run until the end of March
2024, with the possibility of annual renewal until the end of the
project, which is March 2027 at maximum.  The salary will be about
360,000–550,000 JPY/month.

Applicants should have a Ph.D. in computer science or related fields, and
have a strong background in formal verification and/or programming
language theory.  Due to the project's nature, they are required to have
strong interests in applying theory to practice; they should also be
(self-)motivated, dedicated, and able to work both independently and
collaboratively.  Strong communication skills in oral and written English
are required.


* Workplace

Kyoto University, Kyoto, Japan.

(Living costs in Japan are not very high nowadays.  An estimate is found here
https://urldefense.com/v3/__https://www.numbeo.com/cost-of-living/in/Kyoto__;!!IBzWLUs!RZqosDtp4fKwCflk3IWqWczBNvdhApfQEp9FN69OPcnJVccw86R-k5hllnI5Ae1xdn3s9q60aTOFQAZKrDSWTKF7qN6L5FPagwEO4XIgOg$
 .)


* Applications and inquiries

Inquiries can be sent to application-zt-iot [at] fos.kuis.kyoto-u.ac.jp,
with the subject CREST Job Inquiry.  Feel free to ask us any questions on
relevance, topics, compensation, etc.  We will reply when we see enough
relevance.

Applications should be made electronically via the following JREC-IN
Portal websites.

https://urldefense.com/v3/__https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3=D123010461_jor=0__;!!IBzWLUs!RZqosDtp4fKwCflk3IWqWczBNvdhApfQEp9FN69OPcnJVccw86R-k5hllnI5Ae1xdn3s9q60aTOFQAZKrDSWTKF7qN6L5FPagwFcTzOomw$
 


Please upload a pdf, including

- your brief CV,
- short description of research interests (can be very informal and short),
- the list of papers (a dblp or Google scholar link will do, for example),
- a couple of representative papers (in pdf), and
- (preferably) the contact of two references.

We will contact you for further material and an interview, provided that we
find sufficient relevance in your application.  Starting dates are
negotiable.  The positions will remain open until filled.

Best,
Atsushi Igarashi

[TYPES/announce] Call for papers - VL/HCC 2023 - IEEE Symposium on Visual Languages and Human-Centric Computing

[Rebecca Krosnick]

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

VL/HCC 2023: IEEE Symposium on Visual Languages and Human-Centric Computing

https://urldefense.com/v3/__https://conf.researchr.org/home/vlhcc-2023__;!!IBzWLUs!WyulUY4V4qEKH8J9MRQHouXxvAvK5aXvIOSK0QytdbmehbxIs82jwZChBYqQoYYjUzco26gw_Uqy-Yw6Dy3bZXiFSLM2uA$
 

The IEEE Symposium on Visual Languages and Human-Centric Computing is the
premier international forum for research on this topic. Established in
1984, the mission of the conference is to support the design, theory,
application, and evaluation of computing technologies and languages for
programming, modeling, and communicating, which are easier to learn, use,
and understand by people.

The 2023 symposium is scheduled to take place October 2-6 in Washington,
DC, USA. VL/HCC 2023 is 100% Sponsored by IEEE Computer Society Technical
Committee on Multimedia Computing (TCMC).


**Call for Research Papers**

IMPORTANT DATES

- Abstracts only: April 21, 2023

- Submission deadline: April 28, 2023

- Rebuttal phase: June 5 - 9, 2023

- Notification: June 23, 2023

- Camera-ready: July 14, 2023


SCOPE AND TOPICS

We solicit original, unpublished research papers on computing technologies
for modeling, programming, communicating, and reasoning, which are easier
to learn, use or understand by humans than the current state-of-the-art.
Papers should focus on efforts to design, formalize, implement, or evaluate
those technologies and languages. This includes technologies intended for
general audiences (e.g., professional or novice programmers, or the public)
or domain-specific audiences (e.g., people working in business
administration, production environments, healthcare, urban design or
scientific domains). Empirical papers that validate current proposed
solutions with rigorous scientific means (i.e., empirical studies,
controlled experiments, rigorous case studies, etc.) are also welcome.

Areas of interest include, but are not limited to:

- Visual languages: Novel visual languages, Design, evaluation, and theory
of visual languages and applications, Development of systems for
manipulating and interacting with diagrammatic representations

- Human aspects and psychology of software development and language design,
such as supporting inclusion and diversity in programming

- End-user development: End-user development, adaptation and programming,
Creation and evaluation of technologies and infrastructures for end-user
development

- Crowdsourcing design and development work

- Representations: Novel representations and user interfaces for expressing
computation, Software, algorithm and data visualization

- Modeling: Model-driven development, Domain-specific languages, including
modeling languages, Visual modeling of human behavior and socio-technical
systems

- Thinking more deeply about code: Computational thinking and Computer
Science education, Debugging and program understanding, Explainable ML/AI

If you are not sure if your paper is a good fit for VL/HCC, feel free to
email the PC Co-chairs (see “Contact” below). We welcome those new to the
VL/HCC community to submit!


SPECIAL EMPHASIS FOR 2023: Low-Code / No-Code Development

This year’s special topic is “Low-Code / No-Code Development”. This
development paradigm enables the creation and deployment of fully
functional applications using visual abstractions and interfaces and
requiring little or no procedural code. This way, users are empowered to
create software applications for constrained domains, even if they lack a
programming background. This year, we especially welcome papers at VL/HCC
that design, build, or evaluate any aspects of low-code and no-code
solutions.


PAPER SUBMISSIONS

We invite two kinds of papers:

- full-length research papers, up to 8 pages - plus unlimited additional
pages containing only references and/or acknowledgements

- short research papers, up to 4 pages - plus unlimited additional pages
containing only references and/or acknowledgements

Papers must be submitted using the IEEE two-column conference paper format.
Be sure to use the current IEEE conference paper format (which was updated
in 2019), and to select the “US letter” template:
https://urldefense.com/v3/__http://www.ieee.org/conferences_events/conferences/publishing/templates.html__;!!IBzWLUs!WyulUY4V4qEKH8J9MRQHouXxvAvK5aXvIOSK0QytdbmehbxIs82jwZChBYqQoYYjUzco26gw_Uqy-Yw6Dy3bZXgoFAhK0A$
 

Papers should be submitted via the EasyChair system (
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=vlhcc2023__;!!IBzWLUs!WyulUY4V4qEKH8J9MRQHouXxvAvK5aXvIOSK0QytdbmehbxIs82jwZChBYqQoYYjUzco26gw_Uqy-Yw6Dy3bZXhGUw2SjQ$
 ).

To facilitate the assigning of papers to reviewers, we require paper
abstracts to be submitted via EasyChair at least 1 week prior to the paper
submission deadline (see Important Dates below). The abstract must be kept
up to date such that it matches exactly the abstract in the 

[TYPES/announce] HOR 2023: Call for Papers

[Carsten Fuhs]

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

--
**
**  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!SJiPhDlA_wEpojZhgvzEMPZNuurKAwds_S42n9q36iP3V1B7gLYxctW7e5fo_kjSR_RtK00dBMtU5umxDQ8w8WaBX_rrkEXv4zUh$ 
--

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

--

* 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!SJiPhDlA_wEpojZhgvzEMPZNuurKAwds_S42n9q36iP3V1B7gLYxctW7e5fo_kjSR_RtK00dBMtU5umxDQ8w8WaBX_rrkJg2aETA$ 


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

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


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] PhD and Post-doctoral Positions Available in Formal Methods for Reversible Concurrent Calculi

[Clément Aubert]

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


TL;DR
---

Candidates interested in a PhD in formal and algebraic methods for 
concurrent, reversible computation in Augusta University (Georgia, USA), 
starting in January 2024 are invited to apply by June 1st, 2023. A 
post-doctoral position will open shortly after, but interested 
candidates should feel encouraged to reach out to 
 informally.


In addition to accepting applications, I will be very happy to respond 
to informal inquiries about any aspect of the position, from technical 
ones to ones about life in the US "Garden City".


Thanks for forwarding this offer or the link 
 to 
potentially interested candidates.



Expanded version (PhD position)


The Concurrency In Reversible Computations () 
project is actively seeking a PhD student to fund starting Spring 2024. 
The funding for an admitted PhD student includes waiver of most tuition 
(only $25--$640 / semester is due by the student), a stipend ($29K / 
year), health benefits for the individual, (international) conference 
travel and possibly equipment (laptop). Funding is currently available 
for the first three years of the appointment through a new NSF funded 
project ().


The main goals of this project are to improve existing process calculi 
formalizing reversible computations. In the past, reversible calculi 
have shed a new light on the correctness and adequation of CCS, 
π-calculus and other formalisms for concurrent computation, but they 
still miss crucial features. Contextual equivalences, observable 
behaviors, set of operators and infinite behavior, to name a few, are 
still in the flux and in need of formal definitions that adequately 
models interesting systems. The original project encompasses many 
different dimensions, and will be tailored based on mutual interests, 
capacities, and recent progresses.


The successful applicant will be advised by Clément Aubert, and benefit 
from an international network of collaborators, as well as from a local, 
lively, group of PhD students (including but not limited to students 
working on related formal methods). In addition, they will have the 
opportunity to help mentoring undergraduate research assistants if they 
wish to do so.


Interested students should meet the following:

   - Be interested in the overall project as stated above. A complete 
project description or selected publications are available upon request.
   - Have or are about to complete a Bachelor or (preferably) a Master 
of Science in Computer Science, Mathematics, or a related field 
(Computer Engineering, etc.).


The successful applicant will additionally need to be admitted to the 
PhD program by the school's review committee and the Graduate School, 
but will receive help in completing their application, which should only 
be a formality.


Students from all origins are welcome, and the University has support 
for issuing documents for student visa for the successful applicant and 
their family.


If you are interested in being considered for  this opportunity please 
begin by contacting Clément Aubert () with 
the following information:


   - A brief introduction of yourself and if you have conducted any 
research already.

   - CV/Resume.

Timeline
   Applications will be reviewed starting June, 1st, 2023
   Interviews will be conducted in June 2023
   Successful applicant will be selected in July 2023
   Formal application to the PhD program will be due by September, 1st 2023




Expanded version (Post-doctoral position)
--

This NSF-funded project also includes funding for a post-doctoral 
researcher position. The duration of the position is initially one year, 
with guaranteed continuation by mutual agreement. The position will 
start at a mutually agreeable date, but probably not before July 2024. 
However, interested persons should feel encouraged to share their 
graduation plan or professional trajectory if they believe they can 
align particularly well with this project, in which case the starting 
date may be significantly shifted.




More information


   CinRC Project: 
   Clément Aubert:  (en) // 
 (fr)
   AU Programming Languages Reading Group: 


   AU PhD Program: 
   AU International and Postdoctoral Services Office: 

   AU Graduate Assistantship: 


   Cultural Life in Augusta: 

--
Clément Aubert, Assistant Professor of Computer 

[TYPES/announce] Postdoc position at Kyoto University, Japan

[Kohei SUENAGA]

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

(Sorry for cross posting.)

We are currently looking for a postdoctoral researcher to work on the
"CyPhAI: Formal Analysis and Design of AI-intensive Cyber-Physical
Systems" project funded by JST in Kyoto, Japan. The successful
candidate will be collaborating with us on establishing
mathematically-solid methodologies to model, verify, test, monitor,
and control a cyber-physical system in which AI plays a crucial role.
This project involves working closely with a team in Tokyo led by
Masako Kishida (NII) and a team in France led by Thao Dang (CNRS). The
detail of the call can be found here:
https://urldefense.com/v3/__https://www.kyoto-u.ac.jp/sites/default/files/acceptance_teacher/2023-02/20230208_0858_e-f67e82e5e49b6b9c49c3eaa70e2bf5a4.pdf__;!!IBzWLUs!QUeqOFxyvhc7vUCd7LIHTzOlABQ_46gYcaOkpZMuhj-QQX640MmDSOPIO21A6zJgJj_PvuWQBEY9pxWg43oNabB5iq8IlJ9uiv4BZgszbuEUkg$
 

The expected research topics include testing and verifying AI-CPS
using machine learning [3,6,7], secure monitoring techniques using
homomorphic encryption [5], application of model checking and program
logics for AI-CPS [2,4], and interpretability of machine-learned
components AI-CPS [1,8], among others.

The initial contract will run until the end of March 2024, with the
possibility of annual renewal at maximum until March 2026. We welcome
researchers on topics not listed above. If you are interested in this
position, please follow the link to the detailed call for applications
provided below. If you have any questions, please don't hesitate to
contact us!

[1] Yuhki Hatakeyama, Hiroki Sakuma, Yoshinori Konishi, Kohei Suenaga:
Visualizing Color-Wise Saliency of Black-Box Image Classification
Models. ACCV (3) 2020: 189-205
[2] Kohei Suenaga, Takuya Ishizawa:
Generalized Property-Directed Reachability for Hybrid Systems. VMCAI
2020: 293-313
[3] Junya Shijubo, Masaki Waga, Kohei Suenaga:
Efficient Black-Box Checking via Model Checking with Strengthened
Specifications. RV 2021: 100-120
[4] Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga:
Formalizing Statistical Beliefs in Hypothesis Testing Using Program
Logic. KR 2021: 411-421
[5] Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki
Waga, Kohei Suenaga:
Oblivious Online Monitoring for Safety LTL Specification via Fully
Homomorphic Encryption. CAV (1) 2022: 447-468
[6] Amit Gurung, Masaki Waga, Kohei Suenaga:
Learning nonlinear hybrid automata from input-output time-series data.
CoRR abs/2301.03915 (2023)
[7] Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan
Klikovits, Toru Takisaka, Ichiro Hasuo:
Dynamic Shielding for Reinforcement Learning in Black-Box
Environments. ATVA 2022: 25-41
[8] Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga:
BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for
Image- and Video-Classification Models. CoRR abs/2210.17130 (2022)

-- 
Kohei Suenaga (末永幸平), Ph.D
Associate professor (准教授)
Graduate School of Informatics, Kyoto University
(京都大学情報学研究科)
ksuen...@gmail.com
https://urldefense.com/v3/__http://www.fos.kuis.kyoto-u.ac.jp/*ksuenaga/__;fg!!IBzWLUs!QUeqOFxyvhc7vUCd7LIHTzOlABQ_46gYcaOkpZMuhj-QQX640MmDSOPIO21A6zJgJj_PvuWQBEY9pxWg43oNabB5iq8IlJ9uiv4BZgsK9maEPQ$
 

[TYPES/announce] ISMM 2023 (colocated with PLDI): call for papers

[Anders Miltner]

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

The 2023 ACM SIGPLAN International Symposium on Memory Management (ISMM 2023) 
is soliciting full-length submissions covering new work on all memory 
management related topics, as well as papers presenting confirmations or 
refutations of important prior results. In additional to regular papers, 
traditionally submitted to ISMM, we also invite submissions of the following 
kinds:

  *   Surveys and comparative analyses that shed new light on previously 
published techniques.
  *   Practitioner reports, describing experience with memory management in 
production. Such papers are not expected to provide novel research 
contributions, but they should not have been previously published.
  *   Intellectual abstracts, where researchers share designs, algorithms, or 
theory that may be interesting to the memory management community, but not yet 
evaluated.

Please indicate whether the paper is a regular paper, a survey, a practitioner 
report, or an intellectual abstract, by using a subtitle. For example, for a 
regular paper, include on of the following on the line below the title line: 
\subtitle{This submission is a regular paper}, \subtitle{This submission is a 
survey}, \subtitle{This submission is a practitioner report}, or \subtitle{This 
submission is an intellectual abstract}.

ISMM 2023 will be colocated with PLDI 
2023 at 
FCRC’23.

Areas of interest include but are not limited to:

  *   Garbage collection algorithms and implementations
  *   Memory allocation and de-allocation
  *   Memory system design and analysis
  *   Hardware support for memory management
  *   Memory management for large-scale data-intensive systems
  *   Novel memory architectures
  *   Memory management at datacenter and cloud scales
  *   Formal analysis and verification of memory management algorithms
  *   Compiler analyses to aid memory management
  *   Tools to analyze memory usage of programs
  *   Empirical analysis of memory intensive programs
  *   Formal analysis and verification of memory intensive programs
  *   Memory management for machine learning systems
  *   Programming and management of emerging or persistent memories

The symposium welcomes industry practitioners presenting their recent practice 
and findings in memory management related to real-world deployments.


Deadline: This Friday, March 3, 2023

[TYPES/announce] Second Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23)

[Carlos Olarte]

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

[Apologies if you receive multiple copies of this CFP. Please forward to
interested parties]

===

Second call for papers -- LFMTP 2023

   Logical Frameworks and Meta-Languages:
   Theory and Practice

 Rome, Italy -- July 2nd, 2023
   Affiliated with FSCD 2023

  
https://urldefense.com/v3/__https://lfmtp.org/workshops/2023__;!!IBzWLUs!SRut2nI2ycUBKESzrERVBVFAJDrvnlLBbDMOWeSWLI7E7Q9Ft_RYWixd_ilFSzsOAb_wQConpO_QfNZVKCgBDdIiZ0HdET2cckLGPg$
 

===

Logical frameworks and meta-languages form a common substrate for
representing, implementing and reasoning about a wide variety of
deductive systems of interest in logic and computer science. Their
design, implementation and their use in reasoning tasks, ranging from
the correctness of software to the properties of formal systems,
have been the focus of considerable research over the last two decades.
This workshop will bring together designers, implementors and
practitioners to discuss various aspects impinging on the structure and
utility of logical frameworks, including the treatment of variable
binding, inductive and co-inductive reasoning techniques and the
expressiveness and lucidity of the reasoning process.

LFMTP 2023 will provide researchers a forum to present state-of-the-art
techniques and discuss progress in areas such as the following:

* Encoding and reasoning about the meta-theory of programming languages,
  logical systems and related formally specified systems.

* Theoretical and practical issues concerning the treatment of variable
  binding, especially the representation of, and reasoning about,
  datatypes defined from binding signatures.

* Logical treatments of inductive and co-inductive definitions and
  associated reasoning techniques, including inductive types of higher
  dimension in homotopy type theory.

* Graphical languages for building proofs, applications in geometry,
  equational reasoning and category theory.

* New theory contributions: canonical and substructural frameworks,
  contextual frameworks, proof-theoretic foundations supporting
  binders, functional programming over logical frameworks,
  homotopy and cubical type theory.

* Applications of logical frameworks: proof-carrying architectures,
  proof exchange and transformation, program refactoring, etc.

* Techniques for programming with binders in functional programming
  languages such as Haskell, OCaml or Agda, and logic programming
  languages such as lambda Prolog or Alpha-Prolog.

The workshop's program will include contributed and invited talks.
We hope that LFMTP takes place physically in Rome, but online
participation will be possible and may even be necessary.

## Important Dates

Abstract submission deadline: April 10
Paper submission deadline: April 20
Notification to authors: May 20

## Submission

Submit on EasyChair: 
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=lfmtp23__;!!IBzWLUs!SRut2nI2ycUBKESzrERVBVFAJDrvnlLBbDMOWeSWLI7E7Q9Ft_RYWixd_ilFSzsOAb_wQConpO_QfNZVKCgBDdIiZ0HdET01osSsRQ$
 

All papers must be original and not simultaneously submitted to another
journal or conference.

In addition to regular papers, we welcome/encourage the submission of
"work in progress" reports, in a broad sense. Those do not need to
report fully polished research results, but should be of interest for
the community at large.

Submitted papers should be in PDF, formatted using the EPTCS style
guidelines 
(https://urldefense.com/v3/__https://info.eptcs.org/__;!!IBzWLUs!SRut2nI2ycUBKESzrERVBVFAJDrvnlLBbDMOWeSWLI7E7Q9Ft_RYWixd_ilFSzsOAb_wQConpO_QfNZVKCgBDdIiZ0HdET1ADXbnHg$
 ). The length is restricted to 15
pages for regular papers and 8 pages for "work in progress" papers
(both limits include references).

## Proceedings

A selection of the presented papers will be published online in the
Electronic Proceedings in Theoretical Computer Science (EPTCS).

## Invited Speakers

TBA.

Note: shared session with LSFA'23 
(https://urldefense.com/v3/__https://sites.google.com/ufg.br/lsfa2023__;!!IBzWLUs!SRut2nI2ycUBKESzrERVBVFAJDrvnlLBbDMOWeSWLI7E7Q9Ft_RYWixd_ilFSzsOAb_wQConpO_QfNZVKCgBDdIiZ0HdET3uUnirFg$
 
).

## Program Committee

* Roberto Blanco (MPI-SP)
* Frédéric Blanqui (Inria)
* Ana Bove (Chalmers University of Technology)
* Alberto Ciaffaglione, co-chair (Università degli Studi di Udine)
* Amy Felty (University of Ottawa)
* Assia Mahboubi (Inria)
* Narciso Marti-Oliet (Universidad Complutense de Madrid)
* Gopalan Nadathur (University of Minnesota)
* Carlos Olarte, co-chair (LIPN, Université Sorbonne Paris Nord)
* Clément Pit-Claudel (Amazon AWS)
* Andrei Popescu (University of Sheffield)
* Claudio Sacerdoti Coen (University of Bologna)

[TYPES/announce] SYCO 11 - Second call for papers

[Samuel Mimram]

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

-
SECOND CALL FOR SUBMISSIONS
ELEVENTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 11)

Palaiseau, France
20-21 April, 2023

Submission deadline: Monday 6 March 2023
https://urldefense.com/v3/__https://www.cl.cam.ac.uk/events/syco/11/__;!!IBzWLUs!W3YM4R9JJCpBXz0rd_tvZxXT5SHhKyAz-ceX4VWZp2XqfQopdGmS-Pmyp2PxQXeWKumN7FpY8FLw7osdrRDHtYUN_7vs93LpbqHvU-1Tp-KZrbdqsc8$ 
-


The Symposium on Compositional Structures (SYCO) is an interdisciplinary series
of meetings aiming to support the growing community of researchers interested in
the phenomenon of compositionality, from both applied and abstract perspectives,
and in particular where category theory serves as a unifying common
language. Previous SYCO events have been held in Birmingham, Strathclyde,
Oxford, Chapman, Leicester, Tallinn, and Como.

We welcome submissions from researchers across computer science, mathematics,
physics, philosophy, and beyond, with the aim of fostering friendly discussion,
disseminating new ideas, and spreading knowledge between fields. Submission is
encouraged for both mature research and work in progress, and by both
established academics and junior researchers, including students. Submissions is
easy, with no formatting or page restrictions. The meeting does not have
proceedings, so work can be submitted even if it has been submitted or published
elsewhere. You could submit work-in-progress, or a recently completed paper, or
even a PhD or Masters thesis.

While no list of topics could be exhaustive, SYCO welcomes submissions with a
compositional focus related to any of the following areas, in particular from
the perspective of category theory:

- logical methods in computer science, including classical and quantum
  programming, type theory, concurrency, natural language processing and machine
  learning;
- graphical calculi, including string diagrams, Petri nets and reaction
  networks;
- languages and frameworks, including process algebras, proof nets, type theory
  and game semantics;
- abstract algebra and pure category theory, including monoidal category theory,
  higher category theory, operads, polygraphs, and relationships to homotopy
  theory;
- quantum algebra, including quantum computation and representation theory;
- tools and techniques, including rewriting, formal proofs and proof assistants,
  and game theory;
- industrial applications, including case studies and real-world problem
  descriptions.

IMPORTANT DATES
===

All deadlines are 23:59 Anywhere on Earth.

Submission deadline: Monday 6 March, 2023
Author notification: Sunday 20 March, 2023
Symposium dates: Thursday 20 and Friday 21 April 2023

SUBMISSION INSTRUCTIONS
===

Submissions are by OpenReview, via the SYCO 11 submission page:
https://urldefense.com/v3/__https://openreview.net/group?id=cl.cam.ac.uk*SYCO*2023*Symposium__;Ly8v!!IBzWLUs!W3YM4R9JJCpBXz0rd_tvZxXT5SHhKyAz-ceX4VWZp2XqfQopdGmS-Pmyp2PxQXeWKumN7FpY8FLw7osdrRDHtYUN_7vs93LpbqHvU-1Tp-KZUms1-oI$ 


Submission is easy, with no format requirements or page restrictions. The
meeting does not have proceedings, so work can be submitted even if it has been
submitted or published elsewhere. Think creatively: you could submit a recent
paper, or notes on work in progress, or even a recent Masters or PhD thesis.

In the event that more good-quality submissions are received than can be
accommodated in the timetable, the programme committee may choose to *defer*
some submissions to a future meeting, rather than reject them. Deferred
submissions can be re-submitted to any future SYCO meeting, where they will not
need peer review, and where they will be prioritised for inclusion in the
programme. Meetings will be held sufficiently frequently to avoid a backlog of
deferred papers.

If you have a submission which was deferred from a previous SYCO meeting, it
will not automatically be considered for SYCO 11; you still need to submit it
again through OpenReview. When submitting, append the words "DEFERRED FROM SYCO
X" to the title of your paper, replacing "X" with the appropriate meeting
number. There is no need to attach any documents.

PROGRAMME COMMITTEE
===

The PC chair is Bryce Clarke, Inria Saclay. The Programme Committee will
be announced soon.

STEERING COMMITTEE
==

Ross Duncan, University of Strathclyde
Chris Heunen, University of Edinburgh
Dominic Horsman, University of Oxford
Aleks Kissinger, University of Oxford
Samuel Mimram, École Polytechnique
Simona Paoli, University of Aberdeen
Mehrnoosh Sadrzadeh, University College London
Pawel Sobocinski, Tallinn University of Technology
Jamie Vicary, University of Cambridge