iiinova — where your digital self keeps evolving

Reposted by Eva Darulova

Armin Biere @arminbiere.bsky.social · 26/03/2025

Our department in lovely Freiburg has an opening for a Full Professorship (W3) on Software Engineering (succession of Andreas Podelski) with a more technical and formal focus uni-freiburg.de/en/job/00004...

uni-freiburg.de

University of FreiburgText icon 'Universität Freiburg'Seal element of the university of freiburg in the shape of a flowerSearch iconMenu iconText icon 'Universität Freiburg'Search iconMenu iconhomehom...

075

Eva Darulova @malyzajko.bsky.social · 13/03/2025

📣 I have open PhD and postdoc positions in "Practically Usable Verification for Numerical Programs", located in Uppsala, Sweden. Deadline to apply: 22 April. Start date is flexible. Find the links to ad and application portals on my website: malyzajko.github.io

0104

Reposted by Eva Darulova

Jonathan Aldrich @jonathanaldrich.bsky.social · 28/12/2024

Get your ECOOP papers ready for the new year! ECOOP'25, held in Bergen, Norway, solicits practical and theoretical investigations of programming languages, systems and environments. Round 1 submissions are due January 6 AoE: 2025.ecoop.org/track/ecoop-...

2025.ecoop.org

ECOOP 2025 - Technical Papers - ECOOP 2025

ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to pro...

11611

Reposted by Eva Darulova

rakamaric.bsky.social @rakamaric.bsky.social · 27/11/2024

CAV (International Conference on Computer Aided Verification) is now also on Bluesky! Please follow @confcav.bsky.social and help us spread the word.

0167

Reposted by Eva Darulova

Dr. Casey Fiesler @cfiesler.bsky.social · 18/11/2024

It's the 10 year anniversary of one of the coolest things I've ever done on the Internet: My feminist remix of Mattel's absurdly sexist Computer Engineer Barbie book. A thing I did to procrastinate from writing my dissertation but then resulted in me consulting for Mattel. medium.com/csforall-sto...

medium.com

Tech Barbie’s Backstory: How she went from “math is hard” to robotics engineer

Learning to code can be an exciting journey, but having to overcome stereotypes along the way makes it a more difficult one. Girls deal…

411422

Reposted by Eva Darulova

Isil Dillig @idillig.bsky.social · 16/11/2024

Here is my starter pack of PL folks -- please come and join the fun! go.bsky.app/6kzdn3x

47234