|
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 Computatio ... [...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, claiming 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") (traditional spelling), , ''Dāwūd''; grc-koi, Δαυΐδ, Dauíd; la, Davidus, David; gez , ዳዊት, ''Dawit''; xcl, Դաւիթ, ''Dawitʿ''; cu, Давíдъ, ''Davidŭ''; possibly meaning "beloved one". was, according to the Hebrew Bible, the third king of the United Kingdom of Israel. In the Books of Samuel, he is described as a young shepherd and harpist who gains fame by slaying Goliath, a champion of the Philistines, in southern Canaan. David becomes a favourite of Saul, the first king of Israel; he also forges a notably close friendship with Jonathan, a son of Saul. However, under the paranoia that David is seeking to usurp the throne, Saul attempts to kill David, forcing the latter to go into hiding and effectively operate as a fugitive for several years. After Saul and Jonathan are both killed in battle against the Philistines, a 30-year-old David is anointed king over all of Israel and Judah. Following his rise to power, David ... [...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 beginning in 2002, ... [...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 She 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. She 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 careers. She received the National Science Foundation Early Career Award (formerly, the Presidential Young Investigator Award) for her work on Data Integration. She was elected as a Fellow of the Association for Computing Machinery (ACM) in 2010, and a Fellow of the Royal Society of Canada in 2011. She is the President of the VLDB Endowment, an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Phokion G
Phokion may refer to: * Phocion Phocion (; grc-gre, Φωκίων ''Phokion''; c. 402 – c. 318 BC; nicknamed The Good (''ὁ χρηστός'')) was an Athenian statesman and strategos, and the subject of one of Plutarch's ''Parallel Lives''. Phocion was a successful politici ... (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, ACM Symposium on Principles of Database Systems 1984, Theoretical Aspects of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moshe Y
Moses ( el, Μωϋσῆς),from Latin and Greek Moishe ( yi, משה),from Yiddish Moshe ( he, מֹשֶׁה),from Modern Hebrew or Movses (Armenian: Մովսես) from Armenian is a male given name, after the biblical figure Moses. According to the Torah, the name "Moses" comes from the Hebrew verb, meaning "to pull out/draw out" f water and the infant Moses was given this name by Pharaoh's daughter after she rescued him from the Nile (Exodus 2:10) Since the rise of Egyptology and decipherment of hieroglyphs, it was postulated that the name of Moses, with a similar pronunciation as the Hebrew Moshe, is the Egyptian word for Son, with Pharaoh names such as Thutmose and Ramesses roughly translating to "son of Thoth" and "son of Ra," respectively. There are various ways of pronouncing the Hebrew name of Moses, for example in Ashkenazi western European it would be pronounced Mausheh, in Eastern Europe Moysheh, in northern Islamic countries Moussa, and in Yemen Mesha. The nickname ... [...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. His former doctoral students include Eugenia Cheng and Valeria de Paiva Valeria Correa Vaz de Paiva is a Brazilian mathematician, logician, and computer scientist. Her work includes research on logical approaches to computation, especially using category theory, knowledg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Samson Abramsky
Samson Abramsky (born 12 March 1953) is Professor of Computer Science at University College London. He was previously the Christopher Strachey Professor of Computing at the University of Oxford, from 2000 to 2021. He has made contributions to the areas of domain theory, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, geometry of interaction, game semantics and quantum computing. 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, supervised by Richard Bornat). Career and research Since 2021, Abramsky is Professor of Computer Science at University College London. He has been a Fellow of the Royal Society since 20 ... [...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 at Kanpur, India, in 1987, and Ph.D. in computer science from Stanford University, California, USA, 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) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kurt Gödel Society
The Kurt Gödel Society was founded in Vienna, Austria in 1987. It is an international organization aimed at promoting research primarily on logic, philosophy and the history of mathematics, with special attention to connections with Kurt Gödel, in whose honour it was named. The group also organizes an ongoing lecture series called ''Collegium Logicum''. Former speakers include Henk Barendregt, George Boolos, Jaakko Hintikka and Wilfrid Hodges. In April 2006, the Gödel society organized Horizons of Truth', an international symposium celebrating the 100th Birthday of Kurt Gödel. In 2011, the Gödel society with support from the Templeton Foundation awarded 5 "Kurt Gödel Centenary Research Prize Fellowships", with a total amount of US$680,000In 2008, the first round of these fellowships was awarded In 2015, SIGLOG, European Association for Theoretical Computer Science, EATCS, EACSL The European Association for Computer Science Logic (EACSL), founded 14 July 1992, [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
