[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We extended the submission deadline to Tuesday 28th May in case you missed
it. :-)
Jeremy and Favonia
*
Tenth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Monday 8th
on those: if you have a paper and have
not registered an abstract, submit it anyway!
Jeremy and Favonia
*
Tenth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Monday 8th July 2024, Tallinn, Estonia
A satellite workshop of FSCD 2024
https://urldefense.com/v3/__https://msfp
!RumAcQodq4w5Lw3b6hfC8CMskKrJzLYXKRjBAkk3qyXZmqpnUszE7561izyg10utFLrjL63FIUjxw8_E4zccVHSGxQ$
Best regards,
The organizers Benedikt Ahrens and Favonia
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
ICFP 2024 Student Research Competition
Call for Submissions
ICFP 2024 invites students to participate in the Student Research
Competition in order to present their research and get
of South Carolina, US
Jeremy Gibbons- University of Oxford, UK (co-chair)
Kuen-Bang Hou (Favonia) - University of Minnesota, UK (co-chair)
Robin Kaarsgaard - University of Southern Denmark, DK
Paul Blain Levy - University of Birmingham, UK
Dan Marsden
Workshops at POPL 2012-2022, we are pleased to announce the 12th SIGPLAN
Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2023
and organized by Hannah Gommerstadt, Michael Greenberg, Kuen-Bang Hou
(Favonia), and Robbert Krebbers. The workshop will take place *in person*
in Boston
affiliation would be the University of Minnesota with Favonia
being your supervisor. However, you will frequently meet and collaborate
with other researchers from Carnegie Mellon University, Wesleyan
University, University of San Diego, and other institutions. Especially
during the COVID-19 pandemic, most
actively considering exceptional candidates
in areas such as programming languages and logic. Please see below for the
official announcement:
Thanks,
Favonia
Department of Computer Science & Engineering
University of Minnesota
===
https://www.cs.umn.edu/news/cse-now-hiring-new-fac
and inclusiveness seriously, which is an important reason
why I joined the University. I strongly encourage people of often
underrepresented groups (not just regarding race or gender) to consider
this position.
Best,
Favonia
they/them/theirs
http://favonia.org