Georg Zetzsche @gz@chaos.social retweeted
Want to learn about research in computer science?
Debating whether to go to grad school?
Attend CMMRS (cmmrs.mpi-sws.org/) to learn about emerging trends, experience cutting-edge research, and interact with professors and phd students.
Deadline: Feb 25 (AOE)!
Georg Zetzsche @gz@chaos.social retweeted
I'm hiring PhD students and postdocs in Vienna! If you are interested in program analysis and bug finding, please apply!
PhD: jobs.tuwien.ac.at/Job/198529
Postdoc: jobs.tuwien.ac.at/Job/198528
Deadline: 26.01.23
Georg Zetzsche @gz@chaos.social retweeted
I’m sorry, I simply cannot be cynical about a technology that can accomplish this.
Georg Zetzsche @gz@chaos.social retweeted
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/
Georg Zetzsche @gz@chaos.social retweeted
Tenure-track openings at Max Planck Institutes in CS for young researchers looking for the best conditions to start a research group: cis.mpg.de/tenure-track-open…. Deadline Dec 1st. Please spread the word and ping me if you want to know more details! @maxplanckpress
Georg Zetzsche @gz@chaos.social retweeted
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
lmf.cnrs.fr/News/LICS-TOT202…
Georg Zetzsche @gz@chaos.social retweeted
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 – at Saarbrücken, Germany
Georg Zetzsche @gz@chaos.social retweeted
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 cs.cmu.edu/~mktoneva/!
1st day as faculty! Extremely grateful for my PhD mentors' Leila Wehbe, @tommmitchell & @TarrLab guidance and for my partner @chrodan's support in moving our lives across the ocean for this truly dream opportunity at @mpi_sws_
Stay tuned for our work at the intersection of 🖥️&🧠!
Georg Zetzsche @gz@chaos.social retweeted
A classic problem in formal languages, the star-height problem
This quoted post is unavailable.
Georg Zetzsche @gz@chaos.social retweeted
They should change the name from NFTs to GIF Certificates.
THE DEATH OF NFTs...
One buyer purchased a Snoop Dog curated NFT in early April for about $32,000 worth of the cryptocurrency ether. It's now up for auction, with an asking price of $25.5 million.
The highest current bid is for 0.0743 ether—about $210.
wsj.com/articles/nft-sales-a…
Georg Zetzsche @gz@chaos.social retweeted
Hi! I'm from the future! Here's a slide from a pitch deck for a hot new startup.
See also this episode of 'One the media': wnycstudios.org/podcasts/otm…
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. save.meduza.io/
Georg Zetzsche @gz@chaos.social retweeted
Dear arXiv authors, articles submitted in 2022 are now automatically assigned DOIs that align with the arXiv ID blog.arxiv.org/2022/02/17/ne…
Georg Zetzsche @gz@chaos.social retweeted
Congratulations Joel Ouaknine (one of our scientific directors at the Max Planck Institute for Software Systems @mpi_sws_) on becoming an ACM fellow 🥳 acm.org/media-center/2022/ja…
Georg Zetzsche @gz@chaos.social retweeted
My group at MPI-SWS is looking for postdocs, PhD students, and research interns interested in neuroscience + ML/NLP. Starting dates are flexible & full funding and benefits are provided. Shoot me an email if interested!
Please RT to spread the word! 🙏
Georg Zetzsche @gz@chaos.social retweeted
CS Faculty Twitter! Cornell, Maryland, and Max Planck host a 1-week summer school (CMMRS) for aspiring undergraduate and masters researchers. Free trip to Germany! Please help spread the word -- the application deadline is approaching (21st Feb) cmmrs.mpi-sws.org
Georg Zetzsche @gz@chaos.social retweeted
📢The next #ICALP2022 will take place in Paris 🇫🇷July 4-8, 2022.
🎉The 2022 edition will be the occasion to celebrate the 50th anniversary of both @eatcs_secretary and the 1st ICALP which was held in Rocquencourt in 1972.
Stay tune for more info 👉icalp2022.irif.fr
ALT https://icalp2022.irif.fr
