This account is currently inactive. Please follow us on our other socal media accounts.
Prague, Czech Republic
Joined June 2016
- Tweets723
- Following142
- Followers1.3K
- Likes537
‹Programming› 2025 retweeted
@SCLITConf will see it's triumphant comeback in it's 9th edition as a workshop co-located with @programmingconf. Are you working on #pl? We want to see your paper, consider submitting to #sclit2025
‹Programming› 2025 retweeted
Beat the gatekeepers! Hold a workshop at @programmingconf. Proposal deadline Dec 1.
2025.programming-conference.…
‹Programming› 2025 retweeted
Tomorrow, ‹Programming› 2023 conference moves to the Building 2. Take this stair to our room 212. It is the same room we hosted Dr. Stroustrup's talk in 2018. #prog23
‹Programming› 2025 retweeted
Today we are in Tokyo for the @MoreVMs workshop of @programmingconf! Looking forward for all talks today! #programming23
‹Programming› 2025 retweeted
Let's try something different:
A call for a co-organizer for our @MoreVMs workshop.
If you'd like to be involved in organizing a language implementers workshop in March'23 in Tokyo, please reach out.
Few more bits below:
‹Programming› 2025 retweeted
"Gradual Soundness: Lessons from Static Python"
cs.brown.edu/~sk/Publication…
‹Programming› 2025 retweeted
‹Programming› 2022 Research Papers (with Racket)
@programmingconf @racketlang
ALT Racket programming language logo: stylised white lambda over red and blue circle
‹Programming› 2025 retweeted
Shots of @DINFVUB @softlab_brussel @mvdcamme presenting "Prioritising Server Side Reachability via Inter-process Concolic Testing" in person at the @programmingconf in Porto! youtu.be/4pWodmDz--k and programming-journal.org/2021… Joint work w/ @dardin88 @lachrist @wdmeuter @oniroi
‹Programming› 2025 retweeted
Lots of fun at @programmingconf trying for the first time a device from @elisagboix team that implements a CRDT AWSet ❤️🔥
‹Programming› 2025 retweeted
What is outside of the "hornets nest" of programming languages? And how do we study that? Join us *in person* at @programmingconf tutorial "Tutorial on the Methodology of Programming System" on Friday 25 March to figure it out together! 2022.programming-conference.… Registration is up!
‹Programming› 2025 retweeted
Only one more week until the ProWeb'22 deadline!
📅Submission deadline: 1 Feb 2022
🔗2022.programming-conference.…
Doing Programming Languages / Software Engineering research relating to the web? Consider submitting! 🧑💻
‹Programming› 2025 retweeted
This year again, #ELS2022, the 15th European #Lisp Symposium, is in cooperation with ACM @sigplan.
/cc @programmingconf
‹Programming› 2025 retweeted
We have extended the #ELS2022 submission deadline by one week. Please submit your papers by Jan. 30th! #lisp
/cc @programmingconf
european-lisp-symposium.org/…
‹Programming› 2025 retweeted
Thinking of maybe talking about research face-to-face again? @programmingconf is the place to go!
Submit your work to the PX workshop: 2022.programming-conference.…
Join us for a discussion about programming system methodology: 2022.programming-conference.…
‹Programming› 2025 retweeted
After 6 years jump-starting and running the Programming journal, it is my great pleasure to pass the baton to the talented hands of Jeremy Gibbons (@jer_gib). Proud of what we did here! programming-journal.org/boar…
Next deadline: February 1 for Vol 7(1), edited by Robert Hirschfeld.
‹Programming› 2025 retweeted
We'll be running a Tutorial at @programmingconf on the Methodology of Programming Systems and the "Technical Dimensions" framework developed by Joel Jakubovic, @jonathoda & myself.
Check it out: 2022.programming-conference.… and help us by filling out a form: docs.google.com/forms/d/e/1F…
