www.eatcs.org
Open in
urlscan Pro
150.140.5.98
Public Scan
URL:
https://www.eatcs.org/?medikament-lasix-de
Submission: On October 10 via api from DE — Scanned from DE
Submission: On October 10 via api from DE — Scanned from DE
Form analysis 0 forms found in the DOM
Text Content
* About EATCS * How to Join * Organization * Bulletin * Conferences * Awards * Publications * Schools * Home * Contact * Social Media * Site Map * Members European Association for Theoretical Computer Science (EATCS) is an international organization founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science. EATCS BULLETIN ISSUE 140 IS AVAILABLE ONLINE The 140th issue of the EATCS Bulletin, is now available online at http://bulletin.eatcs.org/index.php/beatcs/index featuring * Know the Person behind the Papers Today: Shweta Agrawal - The Interview Column by Chen Avin and Stefan Schmid * Making Reversible Computing Machines in a Reversible Cellular Space - Kenichi Morita, The Logic in Computer Science Column by Yuri Gurevich * Automata and Formal Languages: Shall we let them go? - Michal Koucký, The Computational Complexity Column by Michal Koucky * What if we tried Less Power? Lessons from studying the power of choices in hashing-based data structures - Stefan Walzer, The Algorithmics Column by Thomas Erlebach * Formal Languages via Theories over Strings: An Overview of Some Recent Results - Joel D. Day, Vijay Ganesh, Florin Mane, The Formal Language Theory Column by Giovanni Pighizzini * Mutual Exclusion vs Consensus: Both Sides of the Same Coin? - Michel Raynal, The Distributed Computing Column by Seth Gilbert * Bebras: Inspiring Informatics Education Across the Globe - Valentina Dagiene, The Education Column by Juraj Hromkovic and Dennis Komm Read more... PRESBURGER AWARD 2023 – LAUDATIO The 2023 Presburger Award Committee has unanimously selected Aaron Bernstein and Thatchaphol Saranurak as joint recipients of the 2023 EATCS Presburger Award for Young Scientists. Read more... 2023 EDSGER W. DIJKSTRA PRIZE IN DISTRIBUTED COMPUTING The Edsger W. Dijkstra Prize in Distributed Computing is awarded for outstanding papers on the principles of distributed computing, whose significance and impact on the theory or practice of distributed computing have been evident for at least a decade. It is sponsored jointly by the ACM Symposium on Principles of Distributed Computing (PODC) and the EATCS Symposium on Distributed Computing (DISC). The prize is presented annually, with the presentation taking place alternately at PODC and DISC. Read more... EATCS-IPEC NERODE PRIZE 2023 The EATCS-IPEC Nerode Award Committee consisting of Fedor V. Fomin (chair), Thore Husfeldt, and Sang-il Oum, has selected the following paper as the recipient of the EATCS-IPEC Nerode Prize 2023: * "Solving Connectivity Problems Parameterized by Treewidth in Single Exponential Time" by Marek Cygan, Jesper Nederlof, Marcin Pilipczuk, Michal Pilipczuk, Johan M. M. van Rooij, and Jakub Onufry Wojtaszczyk. ACM Trans. Algorithms 18(2): 17:1-17:31 (2022). Conference version: FOCS 2011. Read more... ICGT 2023 - CALL FOR PARTICIPATION 16th International Conference on Graph Transformation (ICGT 2023) 19-20 July in Leicester, UK, as part of STAF 2023 web: https://conf.researchr.org/home/staf-2023 Read more... PRESBURGER AWARD 2023 The 2023 Presburger Award Committee has unanimously selected Aaron Bernstein (Rutgers University ) and Thatchaphol Saranurak (University of Michigan) as the recipients of the 2023 EATCS Presburger Award for Young Scientists. Read more... More Articles... * The 2023 Gödel Prize * 34th European Summer School in Logic, Language and Information * 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation * EATCS Fellows class of 2023 named << Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >> Page 1 of 60 EATCS to combat harassment and discrimination in the Theory of Computing Community adopts a code of conduct. ICALP 2023 Paderborn, Germany July 10-14, 2023 Calendar of Events New BEATCS issue is out! Number 140, June 2023 AWARDS 2023 GÖDEL PRIZE 2023 * Samuel Fiorini, Serge Massar, Sebastian Pokutta, Hans Raj Tiwary and Ronald de Wolf: "Exponential Lower Bounds for Polytopes in Combinatorial Optimization" STOC 2012: 95-106. J. ACM, 62(2), 17:1-17:23 (2015) * Thomas Rothvoss: "The matching polytope has exponential extension complexity" STOC 2014: 263-272. J. ACM, 64(6),1-19 (2017) DIJKSTRA PRIZE 2023 * Completeness Theorem for Non-Cryptographic Fault-Tolerant Distributed Computation”, by Michael Ben-Or, Shafi Goldwasser and Avi Wigderson. Proceedings of the 20th Annual ACM Symposium on Theory of Computing (STOC), Chicago, Illinois, USA, May 1988, pages 1-10. * “Multiparty Unconditionally Secure Protocols”, by David Chaum, Claude Crépeau and Ivan Damgård. Proceedings of the 20th Annual ACM Symposium on Theory of Computing (STOC), Chicago, Illinois, USA, May 1988, pages 11-19. * “Verifiable Secret Sharing and Multiparty Protocols with Honest Majority”, by Tal Rabin and Michael Ben-Or. Proceedings of the 21st Annual ACM Symposium on Theory of Computing (STOC), Seattle, Washington, USA, May 1989, pages 73-85. PRESBURGER AWARD 2023 * Aaron Bernstein * Thatchaphol Saranurak EATCS AWARD 2023 * Amos Fiat EATCS FELLOWS CLASS 2023 * Michael A. Bender * Leslie Ann Goldberg * Claire Mathieu EATCS DISTINGUISHED DISSERTATION AWARD FOR 2022 * Kuikui Liu: "Spectral Independence: A New Tool to Analyze Markov Chains" (University of Washington; supervisor: Shayan Oveis Gharan). * Alex Lombardi: "Provable Instantiations of Correlation Intractability and the Fiat-Shamir Heuristic" (Electrical Engineering and Computer Science (EECS) at MIT; supervisor: Vinod Vaikuntanathan) * Lijie Chen: "Better Hardness via Algorithms, and New Forms of Hardness versus Randomness" (MIT Department of Electrical Engineering and Computer Science; supervisor: Ryan Williams) ALONZO CHURCH AWARD 2023 * Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer: “Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning”. POPL 2015. * Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer: “Higher-order ghost state”. ICFP 2016. * Robbert Krebbers, Ralf Jung, Aleš Bizjak, Jacques-Henri Jourdan, Derek Dreyer, Lars Birkedal: “The Essence of Higher-Order Concurrent Separation Logic”. ESOP 2017. * Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Aleš Bizjak, Lars Birkedal, Derek Dreyer: “Iris from the ground up: A modular foundation for higher-order concurrent separation logic”. J. Funct. Program. 28 (2018). WE USE COOKIES TO IMPROVE OUR WEBSITE AND YOUR EXPERIENCE WHEN USING IT. COOKIES USED FOR THE ESSENTIAL OPERATION OF THE SITE HAVE ALREADY BEEN SET. European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.