[TYPES/announce] FLoC 2022 Mentoring Workshop: Call for Scholarship Applications - deadline on April 11th

Andrew Kent pnwamk at gmail.com
Fri Mar 25 17:25:48 EDT 2022

FLoC 2022 Mentoring Workshop (FLoC'22 MW)

1 August 2022 and 5 August 2022
Haifa, Israel

We warmly invite students to apply for travel scholarships to attend
the Mentoring Workshop and FLoC.  The deadline for applications is
April 11th. Applications are received via the form at


The purpose of the FLoC 2022 Mentoring Workshop (FLoC'22 MW) is to
provide mentoring and career advice to early-stage graduate students,
to attract them to pursue research careers in various logic-related
areas. The workshop will particularly encourage participation of women
and under-represented minorities.

There will be two workshop days, one for each FLoC Conference Block,
so the students can choose which one of the two they prefer to attend.
The workshop program will include a number of talks and interactive
sessions. The talks will give an overview of the field along with
brief introductions to the varied topics highlighted at FLoC. Other
talks will provide mentoring and career advice, from academia and


Mentoring Workshop for FLoC Conference Block 1 (Friday, August 5th, 2022)
  TBA (check the website for updates!)

Mentoring Workshop for FLoC Conference Block 2 (Friday, August 5th, 2022)
  Rajeev Alur, University of Pennsylvania, USA
  Kristin Rozier, Iowa State University, USA
  Natarajan Shankar, SRI, USA
  Alexandra Silva, Cornell University, USA


In case of questions, please contact the Mentoring Workshop co-chairs:
  Sandra Kiefer <kiefer at informatik.rwth-aachen.de>
  Marijana Lazić <lazic at in.tum.de>
  Caterina Urban <caterina.urban at inria.fr>

More information about the Types-announce mailing list