LPOP 2020 Contributors

Write a Blog >>

Sun 15 - Fri 20 November 2020 Online Conference

co-located with SPLASH 2020

Filter

Role Type

Contributing to

Number of Roles

Country

Results (24)

C Matthew CastellanaCastellana, Matthew Stony Brook University Publicity Chair in Publicity Chair within the LPOP-track
Patrick CousotCousot, Patrick New York UniversityUnited States Logic in Program Analysis and Verification Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It?
D Adnan DarwicheDarwiche, Adnan UCLA Invited Talk: Tractable Boolean Circuits: Applications and Compilation Algorithms Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All?
E Esra ErdemErdem, Esra Sabanci University, TurkeyTurkey Committee Member in Program Committee within the LPOP-track
G Martin GebserGebser, Martin University of Klagenfurt, AustriaAustria Break: Ask Me Anything Committee Member in Program Committee within the LPOP-track
Gopal GuptaGupta, Gopal Break: Ask Me Anything
H Seyed Hossein HaeriHaeri, Seyed Hossein Université Catholique de Louvain Committee Member in Program Committee within the LPOP-track
Manuel HermenegildoHermenegildo, Manuel IMDEA Software Institute and T.U. of MadridSpain Break: Ask Me Anything Committee Member in Program Committee within the LPOP-track
Daniel HinesHines, Daniel Flamingo, a Compiler and Runtime for Reactive ALM Systems Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive?
K Robert KowalskiKowalski, Robert Logical English Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive?
L Leslie LamportLamport, Leslie Microsoft ResearchUnited States Invited Talk: If You're Not Writing a Program, Don't Use a Programming Language Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It?
Michael LeuschelLeuschel, Michael University of Düsseldorf Break: Ask Me Anything
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States Session Chair of 10:00-- Logic in Program Specification and Analysis (part of LPOP) Session Chair of 13:05-- Logic and Implementation Tractability (part of LPOP) General Chair in General Chairs within the LPOP-track Committee Member in Program Committee within the LPOP-track
Jorge LoboLobo, Jorge ICREA and Universitat Pompeu Fabra Break: Ask Me Anything Committee Member in Program Committee within the LPOP-track
P Andreas PodelskiPodelski, Andreas University of Freiburg, GermanyGermany Committee Member in Program Committee within the LPOP-track
R Francesco RiccaRicca, Francesco University of Calabria, ItalyItaly Committee Member in Program Committee within the LPOP-track
Stuart RussellRussell, Stuart University of California, Berkeley Invited Talk: Logic, Probability, Knowledge, and Learning Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All?
S Marjan SirjaniSirjani, Marjan Malardalen UniversitySweden Committee Member in Program Committee within the LPOP-track
Peter StuckeyStuckey, Peter University of MelbourneAustralia Invited Talk: From CLP(R) to MiniZinc: There and Back Again Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive?
T Paul TarauTarau, Paul University of North TexasUnited States Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All? Training Neural Networks to Do Logic, with Logic Committee Member in Program Committee within the LPOP-track
V Peter Van RoyVan Roy, Peter Université catholique de LouvainBelgium Session Chair of 14:25-- Logic and Language Expressiveness (part of LPOP) Session Chair of 12:00-- Logic in Artificial Intelligence and Machine Learning (part of LPOP) Opening and Introduction Program Chair in Program Chair within the LPOP-track Conference Chair in Program Committee within the LPOP-track
Joost VennekensVennekens, Joost KU Leuven Break: Ask Me Anything Committee Member in Program Committee within the LPOP-track
W Richard WaldingerWaldinger, Richard Deductive Synthesis of the Unification Algorithm: The Automation of Introspection Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It?
David WarrenWarren, David Stony Brook UniversityUnited States Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It? Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive? Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All? General Chair in General Chairs within the LPOP-track Conference Chair in Program Committee within the LPOP-track