# CALL FOR PARTICIPATION
22th Workshop on Formal Techniques for Java-like Programs, FTfJP 2020
https://2020.ecoop.org/track/FTfJP-2020-papers
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
36th Annual ACM/SIGAPP Symposium on Applied Computing
Software Verification and Testing Track
Gwangju, Korea
March 22-26, 2021
https://www.sigapp.org/sac/sac2021/
SAC-SVT 2021 Website : https://sites.google.com/view/svt2021/
***
ICLP DC 2020 - 16th Doctoral Consortium (DC) on Logic Programming
Extended Deadline: July 18, 2020!
***
The deadline for applying for the ICLP Doctoral Consortium has been
prolonged by one week; you now have until July 18th to submit your
application!
We would like to stress that despite
=
CALL FOR PARTICIPATION
CICM 2020 -- Conference on Intelligent Computer Mathematics
https://cicm-conference.org/2020/
Due to the Covid-19 outbreak, CICM 2020 is held as an online conference