Georg Zetzsche @[email protected]

@[email protected]

[Georg Zetzsche @[email protected] @GeorgZetzsche]

@malyzajko @DebasmitaLohar Congratulations, Debasmita and Eva!

[MPI-SWS Operating Systems Research Group @OSGroupSWS]

Want to learn about research in computer science?
Debating whether to go to grad school?
Attend CMMRS (https://t.co/ycELVfCLsO) to learn about emerging trends, experience cutting-edge research, and interact with professors and phd students.
Deadline: Feb 25 (AOE)!

[Georg Zetzsche @[email protected] @GeorgZetzsche]

@anthonywlin @rptu_kl_ld @mpi_sws_ @rupakmajumdar @FinkbeinerBernd Congratulations!!🥳

[Maria Christakis @mchri5taki5]

I'm hiring PhD students and postdocs in Vienna! If you are interested in program analysis and bug finding, please apply!

PhD: https://t.co/WNEQsyvR8P
Postdoc: https://t.co/F8fhjwHFEt

Deadline: 26.01.23

[Georg Zetzsche @[email protected] @GeorgZetzsche]

@hybridLinn Congratulations!!! :-)

[Thomas H. Ptacek @tqbf]

I’m sorry, I simply cannot be cynical about a technology that can accomplish this.

[Georg Zetzsche @[email protected] @GeorgZetzsche]

@anne_biene Thank you, @anne_biene !! :-)

[Timothy Gowers @wtgowers @wtgowers]

One of the best known open problems in combinatorics is the union-closed conjecture, which states that if you have a finite collection X of sets such that if A and B belong to X then so does the union of A and B, then at least one element of X belongs to at least half of them. 1/

[Manuel Gomez-Rodriguez @autreche]

Tenure-track openings at Max Planck Institutes in CS for young researchers looking for the best conditions to start a research group: https://t.co/K2yDNGBt7s. Deadline Dec 1st. Please spread the word and ping me if you want to know more details! @maxplanckpress

[Georg Zetzsche @[email protected] @GeorgZetzsche]

@HerrDreyer I just scrolled through the list of people I follow and looked for mastodon IDs in their bio. There are also websites that automate this, but you somehow have to give them access to your twitter profile.

[Laboratoire Méthodes Formelles @lmf_lab]

Philippe Schnoebelen together with François Laroussinie (@irif) and Nicolas Markey (@irisa_lab) receive the LICS Test-of-time award for their paper Temporal Logic with Forgettable Past published at LICS'02
@INS2I_CNRS @ENS_ParisSaclay @UnivParisSaclay

https://t.co/zeoSUvI28M

[Saarland Informatics Campus @SIC_Saar]

We‘ve met @HerrDreyer, Managing Dir of @maxplanckpress|‘ MPI for Software Systems, and asked what they do at MPI-SWS. Founded in 2004 & based in #Saarbrücken & #Kaiserslautern, MPI-SWS focuses on dev., analysis, modeling, implement. & eval. of complex software systems #SIClife

[Manuel Gomez-Rodriguez @autreche]

Mariya just started as tenure-track faculty at MPI-SWS! If you are interested in doing a PhD or postdoc at the intersection of machine learning, NLP, and neuroscience, I encourage you to get in touch with her and check some of her cool papers out at https://t.co/jRUsBLg8vO!

[Georg Zetzsche @[email protected] @GeorgZetzsche]

@mtoneva1 @tommmitchell @TarrLab @chrodan @mpi_sws_ Welcome to MPI-SWS!! 🙂

[Georg Zetzsche @[email protected] @GeorgZetzsche]

@HerrDreyer @SpiesSimon Congratulations!!

[Loris D'Antoni @lorisdanto]

A classic problem in formal languages, the star-height problem

[Joseph Fahmy @jfahmy]

They should change the name from NFTs to GIF Certificates.

[Zach Holman @holman]

Hi! I'm from the future! Here's a slide from a pitch deck for a hot new startup.

[Georg Zetzsche @[email protected] @GeorgZetzsche]

See also this episode of 'One the media': https://t.co/SAM0QSL6iq

[Meduza in English @meduza_en]

Folks, Meduza has redesigned its crowdfunding after being disconnected from our supporters in Russia. We now turn to you—our global audience—to replace those 30k donators. Help us keep Russians & the world informed about the monstrous war against Ukraine. https://t.co/y83ieV9LuT

[Schloss Dagstuhl @dagstuhl]

Солідарність - Solidarität