Franta Farka

Hacking Coq at @bedrocksystems

[Zach Holman @holman]

"my laundry machine uses gigabytes of traffic every day" is another one of those fun things we can say now that we live in The Future™

[Niki Vazou @nikivazou]

New PhD position on refinement types.
Apply till March 15 @IMDEA_Software

https://t.co/07lp16h8Wi

[Nomadic Labs @LabosNomades]

Congrats to our nomad @knayawp and his @IMDEA_Software coauthors for their @poplconf paper "Algebraic Abstractions for Concurrent Separation Logics".

Watch @frantafarka's presentation today here 👇https://t.co/gC4zAmreNd

[Christopher Brown @chrismarkbrown]

Why not come and apply to do a PhD with me in programming languages, refactoring, parallelism? St Andrews has a number of PhD positions available in Computer Science: https://t.co/QHExR1ECtx

[Marco Guarnieri @MarcoGuarnier1]

Come join us, we have cookies, great researchers, lovely working environment, and we are in Madrid so beautiful city and a lot of fun😁If you're interested in applying and have questions regarding working at @IMDEA_Software and/or living in Madrid, feel free to drop a DM

[Franta Farka @frantafarka]

And the preprint https://t.co/dKdSfvGkUM

[Franta Farka @frantafarka]

Here we go. https://t.co/vXTMPIjwwZ @poplconf #POPL21

[POPL 2027 @poplconf]

👀 #POPL2021 accepted papers! 👀

https://t.co/yV9S6rPSIf

[Marco Guarnieri @MarcoGuarnier1]

I'm looking to hire new PhD students and postdocs interested in system security, program verification, or computer architectures with focus on microarchitectural attacks/defenses. Positions will officially open in the next few weeks. Contact me directly if you're interested!

[Oleg Grenrus @phadej]

@jer_gib Good one.

> Try thinking of some combination that will possibly give it a pejorative meaning. It’s impossible. Thus, I thought dynamic programming was a good name. It was something not even a Congressman could object to.

(sorry for tying back to elections)

[Harper's Magazine @Harpers]

A statement signed by 150 people incl. Bill T. Jones, Wynton Marsalis, Jennifer Finney Boylan, Noam Chomsky, J.K. Rowling, Margaret Atwood, and Salman Rushdie expresses concern over the illiberal trend intensified by our national reckoning.

https://t.co/4zPjuPNXBu

[POPL 2027 @poplconf]

🎦 The #POPL2020 videos are starting to come online:

https://t.co/Xsa7Oq8Kak

All of them should be posted within the next few days.

[IMDEA Software @IMDEA_Software]

In #chainrEaction we are looking for international bachelor, master, and PhD students to to explore the use of #blockchain technology to develop sustainable solutions for the cities of the future.
✈ Travel grants
🏆Three cash prizes 💶
Apply until 17th of November❗#SDGs

[Nick Finck @nickf]

How to piss off every designer ever.
https://t.co/fZzH4HO3jw

[IMDEA Software @IMDEA_Software]

📌#InvitedTalk at the #IMDEA #software Institute
🗣 František Farka, PhD Student, from @HeriotWattUni
📆 10:45 a.m.
🔍 Proof-Relevant Resolution
ℹ️ https://t.co/PSgm8jO5Ik

[Ornela Dardha @OrnelaDardha]

PPDP (Principles and Practice of Declarative Programming) 2019 co-located with @formalmethods19 is calling for papers!
Taking place 7–9 October 2019, Porto, Portugal.

https://t.co/a67v93iJaz

[Computer Science @CompSciFact]

Which Programming Languages Use the Least Electricity? https://t.co/erPHGwPhHa

[POPL 2027 @poplconf]

We're happy to report that the POPL 2019 YouTube! channel is back up.

https://t.co/oFbc8tYmOp

Thanks for your patience. Happy watching!