Meta tags:

Headings (most frequently used words):

2026, award, mpi, systems, paper, at, and, researchers, the, max, planck, with, of, ai, sws, receive, for, awarded, receives, distinguished, to, programming, verification, best, in, institute, software, need, help, rupak, majumdar, erc, advanced, grant, derek, dreyer, sigplan, service, cmmrs, program, has, been, announced, researcher, outstanding, iclr, interview, krishna, gummadi, on, agency, artificial, intelligence, agents, potential, societal, impacts, otto, hahn, medal, two, students, research, areas, computing, society, algorithms, theory, logic, computer, cyber, physical, languages, more, cs, news, events, pldi, sigcse, ts, teaming, excellence, horizon, proposal, funded, inesc, id, dfki, kaiserslautern, publish, 20, papers, lics, icalp, eatcs, towards, playing, imitation, game, virtual, worlds, concurrent, pushdown, dynamic, creation, threads, quantum, internet, from, hardware, application, modern, fine, grained, complexity, generated, feedback, education, ensuring, high, quality, pedagogically, guided, interaction, privacy, overview,

Text of the page (most frequently used words):
the (52), 2026 (24), cookies (19), for (19), and (19), cookie (18), consent (15), sws (15), mpi (13), #researchers (11), systems (10), paper (10), award (9), with (8), website (8), this (8), set (7), used (7), all (7), more (7), are (6), these (6), necessary (6), gdpr (6), store (6), user (6), use (6), months (6), your (6), you (6), have (6), max (6), planck (6), plugin (5), category (5), cookielawinfo (5), checkbox (5), programming (5), help (4), analytics (4), out (4), overview (4), software (4), joint (4), distinguished (4), received (4), best (4), their (4), computer (4), research (4), system (3), how (3), accept (3), data (3), experience (3), that (3), may (3), institute (3), events (3), education (3), student (3), proposal (3), lecture (3), series (3), verification (3), news (3), two (3), april (3), receive (3), papers (3), physical (3), theory (3), computing (3), awarded (3), studies (3), mpg (2), application (2), questions (2), understand (2), visitors (2), provide (2), essential (2), basic (2), functionalities (2), not (2), has (2), performance (2), functional (2), through (2), stored (2), browser (2), they (2), working (2), also (2), only (2), some (2), settings (2), relevant (2), contact (2), interaction (2), defense (2), talks (2), thesis (2), computational (2), what (2), quantum (2), hardware (2), can (2), from (2), jun (2), pushdown (2), imitation (2), game (2), eatcs (2), lics (2), icalp (2), science (2), dfki (2), kaiserslautern (2), inesc (2), been (2), funded (2), horizon (2), teaming (2), excellence (2), sigcse (2), loop (2), june (2), pldi (2), languages (2), cyber (2), algorithms (2), logic (2), society (2), areas (2), students (2), receives (2), program (2), service (2), people (2), scientific (2), structure (2), services (2), postdoctoral (2), mental, health, cis, wireless, lan, related, general, need, save, analytical, interact, information, metrics, number, bounce, rate, traffic, source, etc, absolutely, function, properly, ensure, security, features, anonymously, whether, consented, does, any, personal, viewed_cookie_policy, other, others, record, description, duration, always, enabled, uses, improve, while, navigate, categorized, third, party, analyze, will, option, opt, but, opting, affect, browsing, privacy, close, manage, our, give, most, remembering, preferences, repeat, visits, clicking, however, visit, controlled, copyright, rights, reserved, webmaster, org, protection, imprint, generative, holds, great, promise, enhancing, automatically, generating, personalized, minh, tung, phung, generated, feedback, ensuring, high, quality, pedagogically, guided, mar, put, yourself, shoes, algorithm, designer, nick, fischer, modern, fine, grained, complexity, turns, into, technology, everyone, prof, stephanie, wehner, internet, multi, automata, mpda, classic, model, capture, pascal, baumann, concurrent, dynamic, creation, threads, played, modified, version, where, instead, rishabh, dabral, towards, playing, virtual, worlds, jul, value, problem, weighted, timed, games, clocks, undecidable, authored, top, conferences, theoretical, publish, together, under, competitive, europe, programme, closing, instructor, assistance, supporting, seeking, verusbelt, semantic, foundation, verus, proof, oriented, extensions, rust, type, otto, hahn, medal, interview, krishna, gummadi, agency, artificial, intelligence, agents, potential, societal, impacts, over, 5000, accepted, year, researcher, outstanding, iclr, cmmrs, announced, derek, dreyer, sigplan, million, reliable, large, scale, distributed, rupak, majumdar, erc, advanced, grant, conduct, foundational, beyond, covering, empirical, analysis, driven, investigation, seek, impact, publications, artifacts, principles, efficient, dependable, secure, usable, well, social, context, which, operate, biennial, progress, reports, advisory, board, organization, welcome, founding, director, about, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025, archive, recent, upcoming, technical, administration, team, former, members, doctoral, interns, faculty, life, germany, support, different, programs, faqs, admission, graduate, why, choose, grad, equal, opportunity, resources, internships, positions, tenure, track, openings, careers,

Text of the page (random words):
mpi sws max planck institute for software systems research ai computing and society algorithms theory logic computer systems cyber physical systems programming languages verification more cs mpg careers overview tenure track openings postdoctoral positions internships equal opportunity resources grad studies overview why choose mpi sws graduate studies mpi sws program structure admission faqs different programs support services life in germany people faculty postdoctoral researchers doctoral students and interns former members service team joint administration joint scientific it and technical services events overview upcoming recent archive news all 2026 2025 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 about us welcome from the founding director structure and organization scientific advisory board biennial progress reports contact the max planck institute for software systems studies the principles of efficient dependable secure and usable computing systems as well as their interaction with the physical and social context in which they operate we conduct foundational research in relevant areas of computer science and beyond covering theory empirical analysis and data driven investigation we seek impact through publications artifacts and people rupak majumdar awarded erc advanced grant 2 5 million awarded for research on reliable large scale distributed systems derek dreyer receives 2026 sigplan distinguished service award cmmrs 2026 program has been announced mpi researcher receives outstanding paper award at iclr 2026 only 2 out of over 5000 accepted papers received the award this year interview with krishna gummadi on the agency of artificial intelligence ai agents and potential societal impacts otto hahn medal awarded to two mpi sws students research areas ai computing and society algorithms theory logic computer systems cyber physical systems programming languages verification more cs max planck news mpi researchers receive distinguished paper award at pldi 2026 june 16 2026 mpi sws researchers have received a pldi 2026 distinguished paper award for their paper verusbelt a semantic foundation for verus s proof oriented extensions to the rust type system more mpi sws researchers receive a best paper award at sigcse ts 2026 june 10 2026 mpi sws researchers have received the 2026 sigcse ts best paper award for their paper closing the loop an instructor in the loop ai assistance system for supporting student help seeking in programming education more teaming for excellence horizon proposal funded with inesc id and dfki kaiserslautern april 24 2026 mpi sws researchers together with dfki in kaiserslautern and researchers at inesc id have been funded under the competitive horizon europe teaming for excellence programme more max planck researchers publish 20 papers at lics icalp 2026 april 24 2026 max planck researchers have co authored 20 papers at lics 2026 and icalp 2026 two of the top conferences in theoretical computer science more mpi sws researchers receive 2026 eatcs best paper award april 7 2026 mpi sws researchers have received the 2026 eatcs best paper award for their paper the value problem for weighted timed games with two clocks is undecidable more all news events joint lecture series 01 jul 2026 12 15 pm 1 15 pm towards playing the imitation game in virtual worlds rishabh dabral what if we played a modified version of the imitation game where instead sws student defense talks thesis proposal 25 jun 2026 11 00 am 12 00 pm verification of concurrent pushdown systems with dynamic creation of threads pascal baumann multi pushdown automata mpda are a classic computational model that can be used to capture sws distinguished lecture series 01 jun 2026 10 00 am 11 00 am quantum internet from hardware to application prof stephanie wehner software is what turns quantum hardware into technology everyone can use in this joint lecture series 06 may 2026 12 15 pm 1 15 pm modern fine grained complexity nick fischer put yourself in the shoes of an algorithm designer working on some computational sws student defense talks thesis proposal 30 mar 2026 11 00 am 12 00 pm ai generated feedback in programming education ensuring high quality and pedagogically guided interaction minh tung phung generative ai holds great promise in enhancing programming education by automatically generating personalized all events imprint data protection contact webmaster sws mpi sws org copyright by max planck institute for software systems 2026 all rights reserved we use cookies on our website to give you the most relevant experience by remembering your preferences and repeat visits by clicking accept all you consent to the use of all the cookies however you may visit cookie settings to provide a controlled consent cookie settings accept all manage consent close privacy overview this website uses cookies to improve your experience while you navigate through the website out of these the cookies that are categorized as necessary are stored on your browser as they are essential for the working of basic functionalities of the website we also use third party cookies that help us analyze and understand how you use this website these cookies will be stored in your browser only with your consent you also have the option to opt out of these cookies but opting out of some of these cookies may affect your browsing experience necessary necessary always enabled necessary cookies are absolutely essential for the website to function properly these cookies ensure basic functionalities and security features of the website anonymously cookie duration description cookielawinfo checkbox analytics 11 months this cookie is set by gdpr cookie consent plugin the cookie is used to store the user consent for the cookies in the category analytics cookielawinfo checkbox functional 11 months the cookie is set by gdpr cookie consent to record the user consent for the cookies in the category functional cookielawinfo checkbox necessary 11 months this cookie is set by gdpr cookie consent plugin the cookies is used to store the user consent for the cookies in the category necessary cookielawinfo checkbox others 11 months this cookie is set by gdpr cookie consent plugin the cookie is used to store the user consent for the cookies in the category other cookielawinfo checkbox performance 11 months this cookie is set by gdpr cookie consent plugin the cookie is used to store the user consent for the cookies in the category performance viewed_cookie_policy 11 months the cookie is set by the gdpr cookie consent plugin and is used to store whether or not user has consented to the use of cookies it does not store any personal data analytics analytics analytical cookies are used to understand how visitors interact with the website these cookies help provide information on metrics the number of visitors bounce rate traffic source etc save accept need help general questions it related questions how to set up wireless lan mpg cis application system mental health