15 results · clear filters Sort: newest oldest name

1. Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September 2024
   2024 · Vienna, Austria
   Computer and information sciences
   e1141r3
2. Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023
   2023 · Seattle, United States
   Computer and information sciences
   e1141q5
3. Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022
   2022 · Berlin, Germany
   Computer and information sciences
   e1141p7
4. FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021.
   2021 · Denmark
   Computer and information sciences
   e110g7z
5. FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020
   2020 · United States
   Computer and information sciences
   e110g61
6. Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019
   2019 · London, United Kingdom
   Computer and information sciences
   e110g53
7. Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017
   2017 · Barcelona, Spain
   Computer and information sciences
   e110g45
8. Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016
   2016 · Rome, Italy
   Computer and information sciences
   e110g37
9. Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015
   2015 · Prague, Czech Republic
   Computer and information sciences
   e110g29
10. Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014
    2014 · Uppsala, Sweden
    Computer and information sciences
    e110g1b
11. Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013
    2013 · Montpellier, France
    Computer and information sciences
    e110g0d
12. Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012
    2012 · Beijing, People's Republic of China
    Computer and information sciences
    e110fzf
13. Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011
    2011 · Lancaster, United Kingdom
    Computer and information sciences
    e110fyh
14. Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010
    2010 · Maribor City Municipality, Slovenia
    Computer and information sciences
    e110fxk
15. Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009
    2009 · Genoa, Italy
    Computer and information sciences
    e110fwn

As JSON: https://labs.confref.org/api/search?kind=event&field=1&series=s12241j