 |
European Association For Theoretical Computer Science
The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, 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. The major activities of the EATCS are: * Organization of ICALP, the International Colloquium on Automata, Languages and Programming;Brauer, Ute; Brauer, WilfriedEuropean Association for Theoretical Computer Science / About the Association / Silver Jubilee of EATCS/ref> * Publication of the ''Bulletin of the EATCS''; * Publication of a series of monographs and texts on theoretical computer science; * Publication of the journal ''Theoretical Computer Science''; * Publication of the journal '' Fundamenta Informaticae''. EATCS Award Each year, the EATCS Award is awarded in recognition of a distinguished career in theoretical computer scienc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Glasgow
Glasgow is the Cities of Scotland, most populous city in Scotland, located on the banks of the River Clyde in Strathclyde, west central Scotland. It is the List of cities in the United Kingdom, third-most-populous city in the United Kingdom and the 27th-most-populous city in Europe, and comprises Wards of Glasgow, 23 wards which represent the areas of the city within Glasgow City Council. Glasgow is a leading city in Scotland for finance, shopping, industry, culture and fashion, and was commonly referred to as the "second city of the British Empire" for much of the Victorian era, Victorian and Edwardian eras. In , it had an estimated population as a defined locality of . More than 1,000,000 people live in the Greater Glasgow contiguous urban area, while the wider Glasgow City Region is home to more than 1,800,000 people (its defined functional urban area total was almost the same in 2020), around a third of Scotland's population. The city has a population density of 3,562 p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Gordon Plotkin
Gordon David Plotkin (born 9 September 1946) is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and his work on denotational semantics. In particular, his notes on ''A Structural Approach to Operational Semantics'' were very influential. He has contributed to many other areas of computer science. Education Plotkin was educated at the University of Glasgow and the University of Edinburgh, gaining his Bachelor of Science degree in 1967 and PhD in 1972 supervised by Rod Burstall. Career and research Plotkin has remained at Edinburgh, and was, with Burstall and Robin Milner, a co-founder of the Laboratory for Foundations of Computer Science (LFCS). His former doctoral students include Luca Cardelli, Philippa Gardner, Doug Gurr, Eugenio Moggi, and Lǐ Wèi. Awards and honours Plotkin was elected a Fellow of the Royal Society (FRS) in 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Kyoto
Kyoto ( or ; Japanese language, Japanese: , ''Kyōto'' ), officially , is the capital city of Kyoto Prefecture in the Kansai region of Japan's largest and most populous island of Honshu. , the city had a population of 1.46 million, making it the List of cities in Japan, ninth-most populous city in Japan. More than half (56.8%) of Kyoto Prefecture's population resides in the city. The city is the cultural anchor of the substantially larger Greater Kyoto, a metropolitan statistical area (MSA) home to a census-estimated 3.8 million people. It is also part of the even larger Keihanshin, Keihanshin metropolitan area, along with Osaka and Kobe. Kyoto is one of the oldest municipalities in Japan, having been chosen in 794 as the new seat of Japan's imperial court by Emperor Kanmu. The original city, named Heian-kyō, was arranged in accordance with traditional Chinese feng shui following the model of the ancient Chinese capitals of Chang'an and Luoyang. The emperors of Japan ruled fro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Christos Papadimitriou
Christos Charilaos Papadimitriou (; born August 16, 1949) is a Greek-American theoretical computer scientist and the Donovan Family Professor of Computer Science at Columbia University. Education Papadimitriou studied at the National Technical University of Athens, where in 1972 he received his Bachelor of Arts degree in electrical engineering. He then pursued graduate studies at Princeton University, where he received his Ph.D. in electrical engineering and computer science in 1976 after completing a doctoral dissertation titled "The complexity of combinatorial optimization problems." Career Papadimitriou has taught at Harvard, MIT, the National Technical University of Athens, Stanford, UCSD, University of California, Berkeley and is currently the Donovan Family Professor of Computer Science at Columbia University. Papadimitriou co-authored a paper on pancake sorting with Bill Gates, then a Harvard undergraduate. Papadimitriou recalled "Two years later, I called to tell him ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Rome
Rome (Italian language, Italian and , ) is the capital city and most populated (municipality) of Italy. It is also the administrative centre of the Lazio Regions of Italy, region and of the Metropolitan City of Rome. A special named with 2,746,984 residents in , Rome is the list of cities in the European Union by population within city limits, third most populous city in the European Union by population within city limits. The Metropolitan City of Rome Capital, with a population of 4,223,885 residents, is the most populous metropolitan cities of Italy, metropolitan city in Italy. Rome metropolitan area, Its metropolitan area is the third-most populous within Italy. Rome is located in the central-western portion of the Italian Peninsula, within Lazio (Latium), along the shores of the Tiber Valley. Vatican City (the smallest country in the world and headquarters of the worldwide Catholic Church under the governance of the Holy See) is an independent country inside the city boun ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Dexter Kozen
Dexter Campbell Kozen (born December 20, 1951) is an American theoretical computer scientist. He is Professor Emeritus and Joseph Newton Pew, Jr. Professor in Engineering at Cornell University. Career Kozen received his BA in mathematics from Dartmouth College in 1974 and his PhD in computer science in 1977 from Cornell University, where he was advised by Juris Hartmanis on the thesis, ''Complexity of Finitely Presented Algebras''. He is known for his work at the intersection of logic and complexity. He is one of the fathers of dynamic logic and developed the version of the modal μ-calculus most used today. His work on Kleene algebra with tests was recognized with an Alonzo Church Award in 2022. Moreover, he has written several textbooks on the theory of computation, automata theory, dynamic logic, and algorithms. Kozen was a guitarist, singer, and songwriter in the band "Harmful if Swallowed". He also holds the position of faculty advisor for Cornell's rugby football c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Warsaw
Warsaw, officially the Capital City of Warsaw, is the capital and List of cities and towns in Poland, largest city of Poland. The metropolis stands on the Vistula, River Vistula in east-central Poland. Its population is officially estimated at 1.86 million residents within a Warsaw metropolitan area, greater metropolitan area of 3.27 million residents, which makes Warsaw the List of cities in the European Union by population within city limits, 6th most-populous city in the European Union. The city area measures and comprises List of districts and neighbourhoods of Warsaw, 18 districts, while the metropolitan area covers . Warsaw is classified as an Globalization and World Cities Research Network#Alpha 2, alpha global city, a major political, economic and cultural hub, and the country's seat of government. It is also the capital of the Masovian Voivodeship. Warsaw traces its origins to a small fishing town in Masovia. The city rose to prominence in the late 16th cent ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Éva Tardos
Éva Tardos (born 1 October 1957) is a Hungarian mathematician and the Jacob Gould Schurman Professor of Computer Science at Cornell University. Tardos's research interest is algorithms. Her work focuses on the design and analysis of efficient methods for combinatorial optimization problems on graphs or networks. She has done some work on network flow algorithms like approximation algorithms for network flows, cut, and clustering problems. Her recent work focuses on algorithmic game theory and simple auctions. Education and career Tardos received her Dipl. Math in 1981 and her Ph.D. 1984 from the Faculty of Sciences of the Eötvös Loránd University under her advisor András Frank. She was the Chair of the Department of Computer Science at Cornell from 2006 to 2010, and she is currently serving as the Associate Dean of the College of Computing and Information Science. She was editor-in-Chief of ''SIAM Journal on Computing'' from 2004 to 2009, and is currently the Economics a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Prague
Prague ( ; ) is the capital and List of cities and towns in the Czech Republic, largest city of the Czech Republic and the historical capital of Bohemia. Prague, located on the Vltava River, has a population of about 1.4 million, while its Prague metropolitan area, metropolitan area is home to approximately 2.3 million people. Prague is a historical city with Romanesque architecture, Romanesque, Czech Gothic architecture, Gothic, Czech Renaissance architecture, Renaissance and Czech Baroque architecture, Baroque architecture. It was the capital of the Kingdom of Bohemia and residence of several Holy Roman Emperors, most notably Charles IV, Holy Roman Emperor, Charles IV (r. 1346–1378) and Rudolf II, Holy Roman Emperor, Rudolf II (r. 1575–1611). It was an important city to the Habsburg monarchy and Austria-Hungary. The city played major roles in the Bohemian Reformation, Bohemian and the Protestant Reformations, the Thirty Years' War and in 20th-century history a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Noam Nisan
Noam Nisan (; born June 20, 1961) is an Israeli computer scientist and professor of computer science at the Hebrew University of Jerusalem. He is known for his research in computational complexity theory and algorithmic game theory. Biography Nisan did his undergraduate studies at the Hebrew University, graduating in 1984. He went to the University of California, Berkeley, for graduate school, and received a Ph.D. in 1988 under the supervision of Richard Karp. After postdoctoral studies at the Massachusetts Institute of Technology he joined the Hebrew University faculty in 1990.Curriculum vitae retrieved 2012-03-01. Selected publications Nisan is the author of[...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Patras
Patras (; ; Katharevousa and ; ) is Greece's List of cities in Greece, third-largest city and the regional capital and largest city of Western Greece, in the northern Peloponnese, west of Athens. The city is built at the foot of Mount Panachaikon, overlooking the Gulf of Patras. As of the 2021 census, the municipality of Patras has a population of 215,922, while the urban population is 173,600. The core settlement has a history spanning four millennia. In the Roman period, it had become a cosmopolitan center of the eastern Mediterranean whilst, according to the Christian tradition, it was also the place of Saint Andrew's Christian martyr, martyrdom. Dubbed as Greece's "Gate to the West", Patras is a commercial hub, while its busy port is a nodal point for trade and communication with Italy and the rest of Western Europe. The city has three public universities, hosting a large student population and rendering Patras an important scientific centre with a field of excellence ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |