|
ACM SIGLOG
ACM SIGLOG or SIGLOG is the Association for Computing Machinery Special Interest Group on Logic and Computation. It publishes a news magazine (''SIGLOG News''), and has the annual ACM–IEEE Symposium on Logic in Computer Science (LICS) as its flagship conference.. In addition, it publishes an online newsletter, the ''SIGLOG Monthly Bulletin'' (formerly the ''LICS Newsletter''), and "maintains close ties" with the related academic journal '' ACM Transactions on Computational Logic''. The creation of this special interest group was suggested in 2007 by Moshe Vardi and Dana Scott, and Vardi was the primary author of a more detailed proposal for its creation. It was founded in 2014, with Prakash Panangaden as its founding chair, and with Andrzej Murawski as the founding editor of the newsletter. Alonzo Church Award In 2015, SIGLOG established, in cooperation with EATCS, EACSL and the Kurt Gödel Society, the ''Alonzo Church Award for Outstanding Contributions to Logic and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Association For Computing Machinery
The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membership group, reporting nearly 110,000 student and professional members . Its headquarters are in New York City. The ACM is an umbrella organization for academic and scholarly interests in computer science (informatics). Its motto is "Advancing Computing as a Science & Profession". History In 1947, a notice was sent to various people: On January 10, 1947, at the Symposium on Large-Scale Digital Calculating Machinery at the Harvard computation Laboratory, Professor Samuel H. Caldwell of Massachusetts Institute of Technology spoke of the need for an association of those interested in computing machinery, and of the need for communication between them. ..After making some inquiries during May and June, we believe there is ample interest to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David L
David (; , "beloved one") was a king of ancient Israel and Judah and the Kings of Israel and Judah, third king of the Kingdom of Israel (united monarchy), United Monarchy, according to the Hebrew Bible and Old Testament. The Tel Dan stele, an Canaanite and Aramaic inscriptions, Aramaic-inscribed stone erected by a king of Aram-Damascus in the late 9th/early 8th centuries BCE to commemorate a victory over two enemy kings, contains the phrase (), which is translated as "Davidic line, House of David" by most scholars. The Mesha Stele, erected by King Mesha of Moab in the 9th century BCE, may also refer to the "House of David", although this is disputed. According to Jewish works such as the ''Seder Olam Rabbah'', ''Seder Olam Zutta'', and ''Sefer ha-Qabbalah'' (all written over a thousand years later), David ascended the throne as the king of Judah in 885 BCE. Apart from this, all that is known of David comes from biblical literature, Historicity of the Bible, the historicit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Georg Gottlob
Georg Gottlob FRS is an Austrian-Italian computer scientist who works in the areas of database theory, logic, and artificial intelligence and is Professor of Informatics at the University of Calabria. He was Professor at the University of Oxford. Education Gottlob obtained his undergraduate and PhD degrees in computer science at Vienna University of Technology in 1981. Career and research Gottlob is currently a chaired professor at the University of Calabria in Italy where he joined in 2023 due to the "Fantastic Équipe and great potential". Until then, he was a professor of computing science at the Oxford University Department of Computer Science, where he helped establish the information systems research group. He is also a Fellow of St John's College, Oxford. Previously, he was a professor of computer science at Vienna University of Technology, where he still maintains an adjunct position. He was elected a member of the Royal Society in May 2010. He is a founding member of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wang-Chiew Tan
Wang-Chiew Tan is a Singaporean computer scientist specializing in data management and natural language processing. Her work in data management includes data provenance (or data lineage) and data integration. She is currently a Research Scientist at Facebook AI, and was previously the Director of Research at Megagon Labs in Mountain View, California. At Megagon Labs, Tan was the lead researcher on a study with the University of Tokyo that concluded that the company of other people is more effective than pets at making people happy. Education and career Tan earned her bachelor's degree in computer science (first-class) at the National University of Singapore, and completed her Ph.D. at the University of Pennsylvania. Her 2002 dissertation, ''Data Annotations, Provenance, and Archiving'', was jointly supervised by Peter Buneman and Sanjeev Khanna. Before working at Megagon, she has been a professor of computer science at the University of California, Santa Cruz The Universi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Renée Miller
Renée J. Miller is university distinguished professor at Northeastern University, a former professor of computer science at University of Toronto, Canada, and a Fellow of the Royal Society of Canada. Background Miller received BS degrees in mathematics and in cognitive science from the Massachusetts Institute of Technology. She received her MS and PhD degrees in computer science from the University of Wisconsin in Madison, United States. Miller is the president of the VLDB Endowment, and the program chair for ACM SIGMOD 2011 in Athens, Greece. Miller's research interests are in the efficient, effective use of large volumes of complex, heterogeneous data. This interest spans data integration, data exchange, knowledge curation and data sharing. Awards and honors Miller received the Presidential Early Career Award for Scientists and Engineers (PECASE), the highest honor bestowed by the United States government on outstanding scientists and engineers beginning their career ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Phokion G
Phokion may refer to: * Phocion Phocion (; ''Phokion''; c. 402 – c. 318 BC), nicknamed The Good (, was an Athens, Athenian wikt:statesman, statesman and strategos, and the subject of one of Plutarch's ''Parallel Lives''. Phocion was a successful politician of Athens. He beli ... (c. 402 – c. 318 BC), an Athenian statesman and strategos * Phokion J. Tanos (1898 – 1972), a Cypriot dealer of antiques in Cairo {{disambiguation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ronald Fagin
Ronald Fagin (born 1945) is an American mathematician and computer scientist, and IBM Fellow at the IBM Almaden Research Center. He is known for his work in database theory, finite model theory, and reasoning about knowledge. Biography Ron Fagin was born and grew up in Oklahoma City, where he attended Northwest Classen High School. He was later elected to the Northwest Classen Hall of Fame. He completed his undergraduate degree at Dartmouth College. Fagin received his Ph.D. in Mathematics from the University of California, Berkeley in 1973, where he worked under the supervision of Robert Vaught. He joined the IBM Research Division in 1973, spending two years at the Thomas J. Watson Research Center, and then transferred in 1975 to what is now the IBM Almaden Research Center in San Jose, California. He has served as program committee chair for ACM Symposium on Principles of Database Systems 1984, Theoretical Aspects of Reasoning about Knowledge 1994, ACM Symposium on Theor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moshe Y
Moshe is the Hebrew version of the masculine given name Moses. Bearers include: * Moshe Arens (1925–2019), Israeli politician * Moshe Bar, several people * Moshe Bejski (1921–2007), Israeli judge * Moshe Brener (born 1971), Israeli basketball player * Moshe Czerniak (1910–1984), Israeli chess master * Moshe Dayan (1915–1981), Israeli military leader and politician * Moshe Erem (1896–1978), Israeli politician * Moshe Feinstein (1895–1986), Russian-born American Orthodox Jewish rabbi, scholar, and posek * Moshe Gil (1921–2014), Israeli historian * Moshe Gutnick, Australian Orthodox Chabad rabbi * Moshe Hirsch (1929–2010), Jewish activist and Palestinian politician * Moshe Ivgy (born 1953), Israeli actor * Moshe Jarden (born 1942), Israeli mathematician * Moshe Kahlon (born 1960) Israeli politician * Moshe Kasher (born 1979), American comedian * Moshe Katsav (born 1945), Israeli-Iranian president of Israel * Moshe Katz, several people * Moshe Kaveh (born 1943 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Martin Hyland
(John) Martin Elliott Hyland is professor of mathematical logic at the University of Cambridge and a fellow of King's College, Cambridge. His interests include mathematical logic, category theory, and theoretical computer science. Education Hyland was educated at the University of Oxford where he was awarded a Doctor of Philosophy degree in 1975 for research supervised by Robin Gandy. Research and career Martin Hyland is best known for his work on category theory applied to logic (proof theory, recursion theory), theoretical computer science ( lambda-calculus and semantics) and higher-dimensional algebra. In particular he is known for work on the effective topos (within topos theory) and on game semantics Game semantics is an approach to Formal semantics (logic), formal semantics that grounds the concepts of truth or Validity (logic), validity on Game theory, game-theoretic concepts, such as the existence of a winning strategy for a player. In this .... His former doctoral ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Samson Abramsky
Samson Abramsky (born 12 March 1953) is a British computer scientist who is a Professor of Computer Science at University College London. He was previously the Christopher Strachey Professor of Computing at Wolfson College, Oxford, from 2000 to 2021. Abramsky's early work included contributions to domain theory and the connections thereof with geometric logic. Since then, his work has covered the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories and geometry of interaction, game semantics and quantum computing. Notably, he co-pioneered categorical quantum mechanics. More recently, he has been applying methods from categorical semantics to finite model theory, with applications to descriptive complexity. Education Abramsky was educated at Hasmonean Grammar School for Boys, Hendon and at King's College, Cambridge (BA 1975, MA Philosophy 1979, Diploma in Computer Science) and Queen Mary, University of London (PhD Computer Science 1988, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rajeev Alur
Rajeev Alur is an American professor of computer science at the University of Pennsylvania who has made contributions to formal methods, programming languages, and automata theory, including notably the introduction of timed automata (Alur and Dill, 1994) and nested words (Alur and Madhusudan, 2004). Prof. Alur was born in Pune. He obtained his bachelor's degree in computer science from the Indian Institute of Technology Kanpur in 1987, and his Ph.D. in computer science from Stanford University in 1991. Before joining the University of Pennsylvania in 1997, he was with the Computing Science Research Center at Bell Laboratories. His research has included formal modeling and analysis of reactive systems, hybrid systems, model checking, software verification, design automation for embedded software, and program synthesis. He is a Fellow of the ACM, a Fellow of the IEEE, and has served as the chair of ACM SIGBED (Special Interest Group on Embedded Systems). He holds the title of Z ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Special Interest Group
A special interest group (SIG) is a community within a larger organization with a shared interest in advancing a specific area of knowledge, learning or technology where members cooperate to effect or to produce solutions within their particular field, and may communicate, meet, and organize conferences. The term was used in 1961 by the Association for Computing Machinery (ACM), an academic and professional computer society. SIG was later popularized on CompuServe, an early online service provider, where SIGs were a section of the service devoted to particular interests. Technical SIGs The ACM includes many SIGs, some starting as smaller "Special Interest Committees" and formed the first group in 1961. ACM supports further subdivision within SIGs for more impromptu informal discussion groups at conferences which are called Birds of a Feather (BoF). ACM's Special Interest Groups (SIGs) represent major areas of computing, addressing the interests of technical communities that dri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
