# CALL FOR PAPERS
22st Workshop on Formal Techniques for Java-like Programs (FTfJP 2020)
https://2020.ecoop.org/track/FTfJP-2020-papers
Co-located with ECOOP 2020, July 13-17, Berlin, Germany
## About FTfJP 2020
Formal techniques can help analyse programs, precisely describe
program
[Apologies for cross-posting]
*IMPORTANT NOTE: We are continuously monitoring the COVID-19 situation
from local authorities and the World Health Organization. ICLP 2020 is
half a year away, and we are confident that COVID-19 emergency will pass
over and the conference will be held in September,
[Apologies for cross-posting]
*IMPORTANT NOTE: We are continuously monitoring the COVID-19 situation
from local authorities and the World Health Organization. ICLP 2020 is
half a year away, and we are confident that COVID-19 emergency will pass
over and the conference will be held in September,
[Apologies for cross-posting]
*IMPORTANT NOTE: We are continuously monitoring the COVID-19 situation
from local authorities and the World Health Organization. ICLP 2020 is
half a year away, and we are confident that COVID-19 emergency will pass
over and the conference will be held in September,
Subject: 2020 Alonzo Church Award: Call for Nominations (2)
---
CALL FOR NOMINATIONS [REMINDER, DEADLINE SOON]
The 2020 Alonzo Church Award for Outstanding Contributions to Logic and
Computation
INTRODUCTION
An annual award, called the
