To all participants of WG6 of EuroProofNet: anybody interested in organizing an activity (workshop, school) in the period Oct 22 - Sept 23? If so, please let people know at epn.zulipchat.com.

It's my pleasure to be part of the PC this time, I encourage you to submit cool papers. :)

We're trying to bring the F* community together with an informal meeting series, the F* PoP Up Seminar. First meeting on July 12. If you're already using F* and want to up your game, or if you're just curious and want to learn more: fstar-lang.org/popup/seminar.… #fstarlang

After an amazing TYPES week, I had the pleasant surprise of getting a position at Centre Inria de Saclay which starts in October. I will be joining Deducteam. 🥳

F* PoP Up Seminar Ep. 2 on Aug 9: Alex Rozanov on an abstract algebra library fstar-lang.org/popup/seminar.…

#fstarlang #wasm #rustlang altogether in a single seminar by Jay Bosamiya Jay Bosamiya at the monthly F* PoP Up Seminar, September 6 fstar-lang.org/popup/seminar.…

Working with Catalin at MPI-SP has been a great experience for me so far so if you're interested in verification in F* and/or Coq I suggest reaching out. You can also ask me about it, eg. at #icfp2022 this week!

The recordings of ICFP Conference #ICFP2022 are now available online. We are still working on getting the captions in. youtube.com/playlist?list=…

Next F* PoP Up Seminar: Oct 11, 830am PDT Guido Martinez gives an introduction to tactics and metaprogramming. fstar-lang.org/popup/seminar.… #fstarlang

Complexity theorists are welcome! We recently created a new axis focussed on this topic, contact us for more information.

POPL 23 is coming up and we (Shraddha Barke and I) are looking for student volunteers. POPL will take place in ☘️ Boston, MA 🟥🧦, from Jan 15th to January 21st. Student volunteers get free registration to the conference and all accompanying events. More ⬇️

3 Max Planck Institutes are offering research internships next year (MPI-SP, SWS, and INF). We are looking for advanced students in all areas of CS; prior research experience is not a strict prerequisite. The application deadline is **November 1st, 2022**: cis.mpg.de/internships/

I joined the LIPN instance as theowinterhalter. There they allow one more character than Twitter so my name fits!

Looking for top PhD program in Europe? CS@max planck is a highly selective program that grants admitted students full financial support to pursue doctoral research in the broad area of CS with MPI faculty. Can apply with a BSc or MSc by 31 December 2022! cis.mpg.de/cs-max-planck

HoTT/UF Workshop 2023 April 22--23, Vienna (co-located with EPN WG6 meeting) Submission is open. hott-uf.github.io/2023/

Cezar Andrici is up next at the F* pop up seminar on July 25. He'll talk about a secure compilation technique that enables verified IO programs secure compose with unverified contexts. Should be really interesting! fstar-lang.org/popup/seminar.… #fstarlang

The Max Planck Institutes in Computer Science invite applications for tenure-track faculty by Dec 1, 2023. We are considering all areas of CS, including security and privacy, and expect to fill several positions: cis.mpg.de/tenure-track-o…