[curry] FLOPS 2022: Call For Participation & Workshop talk proposals

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Tue, 26 Apr 2022 17:58:05 +0200

============================================================================
             Call For Participation & Workshop talk proposals (extended)

FLOPS 2022: 16th International Symposium on Functional and Logic Programming
============================================================================

                In-Cooperation with ACM SIGPLAN
                   May 10-12, 2022, Online

Registration is open for FLOPS 2022.

https://conf.researchr.org/attending/flops-2022/registration

Deadlines for registration are:

        (Early) 27 April, 2022, 23:59 (UTC)
        (Late) 5 May, 2022, 23:59 (UTC)


*** Call for talk proposals: AiDL 2022 ***

An extra workshop, AiDL 2022 (Workshop on Advances in Declarative
Languages),
will be held in hybrid (online / physical) format in Kyoto, Japan.

Venue: Hybrid (Online / RIMS, Kyoto University, Japan)
Talk proposal deadline (extended): April 30, 2022 (AoE)

Details:
      https://conf.researchr.org/track/flops-2022/aidl-2022

*** Venue / Dates for the extra workshop ***

This extra event will take place early afternoon (UTC+9), 10-12 May at the
venue, RIMS - Research Institute for Mathematical Sciences, Kyoto
University, Japan, without any interference with the main FLOPS conference
slots, and remote participants are able to attend via Zoom.


*** FLOPS 2022 Accepted Papers ***

The list of FLOPS 2022 accepted papers is at

https://conf.researchr.org/track/flops-2022/flops-2022-papers#event-overview

*** FLOPS 2022 Invited Speakers ***

      Lindsey Kuper (University of California at Santa Cruz)
      Akimasa Morihata (University of Tokyo)
      Peter J. Stuckey (Monash University)


*** FLOPS 2022 Program Committee ***

Andreas Abel Gothenburg University, Sweden
Elvira Albert Universidad Complutense de Madrid
Nada Amin Harvard Universuty, USA
Davide Ancona Univ. Genova, Italy
William Byrd University of Alabama, USA
Matteo Cimini UMass Lowell, USA
Youyou Cong Tokyo Institute of Technology, Japan
Robert Glück University of Copenhagen, Denmark
Makoto Hamana Gunma University, Japan
Michael Hanus Kiel University (co-chair)
Zhenjiang Hu Peking University, China
Atsushi Igarashi Kyoto University, Japan (co-chair)
Ekaterina Komendantskaya Heriot-Watt University, UK
Shin-Cheng Mu Academia Sinica, Taiwan
Koko Muroya Kyoto University, Japan
Klaus Ostermann University of Tuebingen, Germany
Ricardo Rocha University of Porto, Portugal
Tom Schrijvers KU Leuven, Belgium
Harald Sondergaard University of Melbourne, Australia
Hiroshi Unno University of Tsukuba, Japan
Niki Vazou IMDEA, Spain
Janis Voigtlaender University of Duisburg-Essen, Germany
Nicolas Wu Imperial College, UK
Ningning Xie University of Hong Kong, China
Jeremy Yallop University of Cambridge, UK
Neng-Fa Zhou City University of New York, USA


*** FLOPS 2022 Organizers ***

Michael Hanus Kiel University, Germany (PC Co-Chair)
Atsushi Igarashi Kyoto University, Japan (PC Co-Chair, General Chair)
Keigo Imai Gifu University, Japan (Local Co-Chair)
Taro Sekiyama National Institute of Informatics, Japan (Local Co-Chair)
_______________________________________________
curry mailing list -- curry_at_lists.rwth-aachen.de
To unsubscribe send an email to curry-leave_at_lists.rwth-aachen.de
https://lists.rwth-aachen.de/postorius/lists/curry.lists.rwth-aachen.de
Received on Di Apr 26 2022 - 18:00:25 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:14 CEST