International Symposium On Mathematical Foundations Of Computer Science
MFCS, the International Symposium on Mathematical Foundations of Computer Science is an academic conference organized annually since 1972. The topics of the conference cover the entire field of theoretical computer science. Up to 2012, the conference was held in different locations in Poland, Czech Republic and Slovakia but, since MFCS 2013, it travels around Europe. All contributions are strongly peer-reviewed. From 1974 to 2015, conference articles were published in proceedings published by Springer in the Lecture Notes in Computer Science ''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post- proceedings, monographs, and Festschrift In academia, a ''F ... series. Since 2016 the proceedings have been published by the Leibniz International Proceedings in Informatics. Recent history of the symposium the Steering Committee of the MFCS symposia ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Theoretical Computer Science
Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumscribe the theoretical areas precisely. The Association for Computing Machinery, ACM's ACM SIGACT, Special Interest Group on Algorithms and Computation Theory (SIGACT) provides the following description: History While logical inference and mathematical proof had existed previously, in 1931 Kurt Gödel proved with his incompleteness theorem that there are fundamental limitations on what statements could be proved or disproved. Information theory was added to the field with a 1948 mathematical theory of communication by Claude Shannon. In the same decade, Donald Hebb introduced a mathematical model of Hebbian learning, learning in the brain. With mounting biological data supporting this hypothesis with some modification, the fields of n ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Giuseppe F
Giuseppe is the Italian form of the given name Joseph, from Latin Iōsēphus from Ancient Greek Ἰωσήφ (Iōsḗph), from Hebrew יוסף. It is the most common name in Italy and is unique (97%) to it. The feminine form of the name is Giuseppina. People with the given name Artists and musicians * Giuseppe Aldrovandini (1671–1707), Italian composer * Giuseppe Arcimboldo (1526 or 1527–1593), Italian painter * Giuseppe Belli (singer) (1732–1760), Italian castrato singer * Giuseppe Gioachino Belli (1791–1863), Italian poet * Giuseppe Castiglione (1829–1908) (1829–1908), Italian painter * Giuseppe Giordani (1751–1798), Italian composer, mainly of opera * Giuseppe Ottaviani (born 1978), Italian musician and disc jockey * Giuseppe Psaila (1891–1960), Maltese Art Nouveau architect * Giuseppe Sammartini (1695–1750), Italian composer and oboist * Giuseppe Sanmartino or Sammartino (1720–1793), Italian sculptor * Giuseppe Santomaso (1907–1990), Italian painter ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Joost-Pieter Katoen
Joost-Pieter Katoen (born October 6, 1964) is a Dutch theoretical computer scientist based in Germany. He is distinguished professor in Computer Science and head of the Software Modeling and Verification Group at RWTH Aachen University. Furthermore, he is part-time associated to the Formal Methods & Tools group at the University of Twente. Education Katoen received his master's degree with distinction in Computer Science from the University of Twente in 1987. In 1990, he was awarded a Professional Doctorate in Engineering from the Eindhoven University of Technology, and in 1996, he received his Ph.D. in computer science from the University of Twente. Research Katoen's main research interests are formal methods, computer aided verification, in particular model checking, concurrency theory, and semantics, in particular semantics of probabilistic programming languages. His research is largely tool and application oriented. Together with Christel Baier he wrote and published the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Pinar Heggernes
Pinar Heggernes (born 1969) is a Turkish-born Norwegian computer scientist known for her research on graph algorithms, sparse matrix computations, and parameterized complexity. She is the deputy rector of the University of Bergen, elected together with rector Margareth Hagen for the period 2021 - 2025. Until August 2021, she was the head of the Department of Informatics at the University of Bergen. She is also a member of the board of directors of the Research Council of Norway, appointed for the period 2019-2022. Education and career Heggernes was born in 1969 in Istanbul. She was educated at the University of Bergen, earning bachelor's and master's degrees there in 1990 and 1992, and completing her Ph.D. there in 1996. Her dissertation, ''Partitioning and Ordering Graphs for Sparse Matrix Computations'', was supervised by Bengt Aspvall. After working at a research laboratory in Norway, and then as a postdoctoral researcher at the University of Bergen, she became a faculty membe ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hans L
Hans may refer to: __NOTOC__ People * Hans (name), a masculine given name * Hans Raj Hans, Indian singer and politician ** Navraj Hans, Indian singer, actor, entrepreneur, cricket player and performer, son of Hans Raj Hans ** Yuvraj Hans, Punjabi actor and singer, son of Hans Raj Hans * Hans clan, a tribal clan in Punjab, Pakistan Places * Hans, Marne, a commune in France * Hans Island, administrated by Greenland and Canada Arts and entertainment * ''Hans'' (film) a 2006 Italian film directed by Louis Nero * Hans (Frozen), the main antagonist of the 2013 Disney animated film ''Frozen'' * ''Hans'' (magazine), an Indian Hindi literary monthly * ''Hans'', a comic book drawn by Grzegorz Rosiński and later by Zbigniew Kasprzak Other uses * Clever Hans, the "wonder horse" * ''The Hans India'', an English language newspaper in India * HANS device, a racing car safety device *Hans, the ISO 15924 code for Simplified Chinese script See also *Han (other) *Hans im Glück, a Germa ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Rolf Niedermeier
Rolf Niedermeier (21 July 1966 – 19 March 2022) was a professor of computer science, known for his research in computational complexity theory, especially in parameterized complexity, graph theory, computational social choice, and social network analysis. Biography Niedermeier studied Computer Science with Mathematics at the Technical University of Munich (1991 – 1994). He received his Ph.D. in Computer Science from the University of Tübingen in 1996. Subsequently, he did his post-doc at the Charles University in Prague in 1998 with Jaroslav Nešetřil. In 1999 he joined the University of Tübingen, where he became the head of Emmy Noether research group (2002 – 2004). From 2004 to 2010 he was a professor of Theoretical Computer Science at the University of Jena. Between 2010 and 2022 he led the Algorithmics and Computational Complexity group at the Technical University of Berlin The Technical University of Berlin (official name both in English and german: link=no, Te ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Don Sannella
Donald T. Sannella FRSE is professor of computer science in the Laboratory for Foundations of Computer Science, at the School of Informatics, University of Edinburgh, Scotland. Sannella graduated from Yale University, University of California, Berkeley and University of Edinburgh with degrees in computer science. His research interests include: algebraic specification and formal software development, correctness of modular systems, types and functional programming, resource certification for mobile code. Sannella is founder of the European Joint Conferences on Theory and Practice of Software, a confederation of computer science conferences, held annually in Europe since 1998. He is editor-in-chief of the journal ''Theoretical Computer Science'', and is co-founder and CEO oContemplate Ltd His father is Ted Sannella. Honours and awards In 2014 Sannella was elected a Fellow of the Royal Society of Edinburgh The Royal Society of Edinburgh is Scotland's national academy ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Giovanni Pighizzini
Giovanni Pighizzini is an Italian theoretical computer scientist known for his work in formal language theory and particularly in state complexity of two-way finite automata. He earned his PhD in 1993 from the University of Milan, where he is a full professor since 2001. Pighizzini serves as the Steering Committee Chair of the annual Descriptional Complexity of Formal Systems academic conference since 2006. Research contributions Pighizzini obtained optimal state complexity tradeoffs between different types of finite automata over a one-letter alphabet, In particular, in his joint paper with Geffert and Mereghetti he presented the first simulation of two-way nondeterministic finite automata by two-way deterministic finite automata using Savitch's theorem, contributing to the 2DFA vs. 2NFA open question. Jointly with Jirásková, he determined state complexity of self-verifying finite automata. He also contributed to the computational complexity theory In theoretical co ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Zoltán Ésik
Zoltán () is a Hungarian masculine given name. The name days for this name are 8 March and 23 June in Hungary, and 7 April in Slovakia. Zoltána is the feminine version. Notable people * Zoltán of Hungary * Zoltan Bathory, guitarist of heavy metal band Five Finger Death Punch * Zoltán Lajos Bay * Zoltán Berczik, six times European Champion in table-tennis. * Zoltán Czibor * Zoltán Czukor * Zoltán Dani * Zoltán Gera (actor) * Zoltán Gera (footballer) – Fulham F.C. * Zoltán Halmay * Zoltán Horváth (other) – several people * Zoltan Istvan – American writer and futurist * Zoltan Kaszas – American comedian * Zoltán Kammerer * Zoltán Kocsis, pianist, conductor, and composer * Zoltán Kodály, composer, creator of the Kodály-method. * Zoltán Korda * Zoltán Kovács (ice hockey), ice hockey coach and administrator, recipient of the Paul Loicq Award * Zoltán Lajos Bay, physicist. * Zoltán Latinovits, Hungarian actor, director. * ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Leibniz Center For Informatics
Dagstuhl is a computer science research center in Germany, located in and named after a district of the town of Wadern, Merzig-Wadern, Saarland. Location Following the model of the mathematical center at Oberwolfach, the center is installed in a very remote and relaxed location in the countryside. The Leibniz Center is located in a historic country house, Schloss Dagstuhl (Dagstuhl Castle), together with modern purpose-built buildings connected by an enclosed footbridge. The ruins of the 13th-century Dagstuhl Castle are nearby, a short walk up a hill from the Schloss. History The Leibniz-Zentrum für Informatik (LZI, ''Leibniz Center for Informatics'') was established at Dagstuhl in 1990. In 1993, the over 200-year-old building received a modern extension with other guest rooms, conference rooms and a library. The center is managed as a non-profit organization, and financed by national funds. It receives scientific support by a variety of German and foreign research institutio ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Leibniz International Proceedings In Informatics
Dagstuhl is a computer science research center in Germany, located in and named after a district of the town of Wadern, Merzig-Wadern, Saarland. Location Following the model of the mathematical center at Oberwolfach, the center is installed in a very remote and relaxed location in the countryside. The Leibniz Center is located in a historic country house, Schloss Dagstuhl (Dagstuhl Castle), together with modern purpose-built buildings connected by an enclosed footbridge. The ruins of the 13th-century Dagstuhl Castle are nearby, a short walk up a hill from the Schloss. History The Leibniz-Zentrum für Informatik (LZI, ''Leibniz Center for Informatics'') was established at Dagstuhl in 1990. In 1993, the over 200-year-old building received a modern extension with other guest rooms, conference rooms and a library. The center is managed as a non-profit organization, and financed by national funds. It receives scientific support by a variety of German and foreign research institutio ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lecture Notes In Computer Science
''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post- proceedings, monographs, and Festschrift In academia, a ''Festschrift'' (; plural, ''Festschriften'' ) is a book honoring a respected person, especially an academic, and presented during their lifetime. It generally takes the form of an edited volume, containing contributions from the ...s. In addition, tutorials, state-of-the-art surveys, and "hot topics" are increasingly being included. The series is indexed by DBLP. See also *'' Monographiae Biologicae'', another monograph series published by Springer Science+Business Media *'' Lecture Notes in Physics'' *'' Lecture Notes in Mathematics'' *'' Electronic Workshops in Computing'', published by the British Computer Society References External links * Publications established in 1973 Computer science books Series of non-fiction books ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |