Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] FTfJP 2020 (virtual) - Call for Participation ...

view this post on Zulip Email Gateway (Jul 17 2020 at 07:46):

From: Oortwijn Wytse <>


22th Workshop on Formal Techniques for Java-like Programs, FTfJP 2020

Virtual event, to be held using Zoom,
on Thursday, 23 July 2020,
from 10:00 to 17:30 (GMT+2 Amsterdam time).

Participation is free. For more details please see the webpage linked above.




The program of (virtual) FTfJP 2020, July 23th, is as follows.
All times are in GMT+2 Amsterdam time.

Session One

-- lunch break --

Session Two

-- break --

Session Three


Formal techniques can help analyse programs, precisely describe
program behaviour, and verify program properties. Modern programming
languages are interesting targets for formal techniques due to their
ubiquity and wide user base, stable and well-defined interfaces and
platforms, and powerful (but also complex) libraries. New languages
and applications in this space are continually arising, resulting in
new programming languages (PL) research challenges.

Work on formal techniques and tools and on the formal underpinnings of
programming languages themselves naturally complement each
other. FTfJP is an established workshop which has run annually since
1999 alongside ECOOP, with the goal of bringing together people
working in both fields.

The workshop has a broad PL theme; the most important criterion is
that submissions will generate interesting discussions within this
community. The term “Java-like” is somewhat historic and should be
interpreted broadly: FTfJP solicits and welcomes submission relating
to programming languages in general, beyond Java, C#, Scala, etc.

Last updated: Jan 25 2022 at 02:35 UTC