PADL 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (93)

A Umut A. AcarAcar, Umut A. Carnegie Mellon UniversityUnited States Invited Talk: Bridging Safety and Performance
Ozgur AkgunAkgun, Ozgur University of St Andrews, St Andrews, UKUnited Kingdom Committee Member in Program Committee within the PADL-track
Guillaume AllaisAllais, Guillaume University of StrathclydeUnited Kingdom Co-chair in Chairs within the PEPM-track
Nada AminAmin, Nada Harvard UniversityUnited States Committee Member in Program Committee within the PADL-track Committee Member in Program Committee Members within the PEPM-track
Miguel AreiasAreias, Miguel University of Porto, Portugal On Bridging Prolog and Python to Enhance an Inductive Logic Programming System
Joaquín AriasArias, Joaquín Universidad Rey Juan CarlosSpain C3G: Causally Constrained Counterfactual Generation
Zena M. AriolaAriola, Zena M. University of OregonUnited States Committee Member in Program Committee Members within the PEPM-track
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Session Chair of Types and meta theory (part of PEPM)
B Marcello BalducciniBalduccini, Marcello Saint Joseph's University, USA Committee Member in Program Committee within the PADL-track
Ignacio BallesterosBallesteros, Ignacio IMDEA Software Institute and Universidad Politécnica de MadridSpain Haskell Based Spreadsheets
Mutsunori BanbaraBanbara, Mutsunori Nagoya UniversityJapan Committee Member in Program Committee within the PADL-track
Anita BaralBaral, Anita Miami University ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for Myaamia
Clara Benac EarleBenac Earle, Clara Universidad Politécnica de MadridSpain Committee Member in Program Committee within the PADL-track
Malgorzata BiernackaBiernacka, Malgorzata University of Wrocław Committee Member in Program Committee within the PADL-track
C Manuel CarroCarro, Manuel IMDEA Software Institute and Universidad Politécnica de MadridSpain Committee Member in Program Committee within the PADL-track
Laura M. CastroCastro, Laura M. University of A CoruñaSpain Committee Member in Program Committee within the PADL-track
Martin CeresaCeresa, Martin IMDEA Software InstituteSpain MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs
Liang-Ting ChenChen, Liang-Ting Academia SinicaTaiwan Committee Member in Program Committee Members within the PEPM-track
Youyou CongCong, Youyou Institute of Science TokyoJapan Committee Member in Program Committee Members within the PEPM-track
D Sopam DasguptaDasgupta, Sopam C3G: Causally Constrained Counterfactual Generation
Luis Eduardo Bueso de Barriode Barrio, Luis Eduardo Bueso Universidad Politécnica de MadridSpain Haskell Based Spreadsheets
Robin De VogelaereDe Vogelaere, Robin KU Leuven A practical approach to handling tabular data in logic
E Esra ErdemErdem, Esra Sabanci UniversityTurkey Session Chair of Session 5 (part of PADL) Co-chair in Programme Chairs within the PADL-track
F Lars-Åke FredlundFredlund, Lars-Åke Universidad Politécnica de MadridSpain Checking Concurrency Coding Rules
G Martin GebserGebser, Martin University of Klagenfurt, AustriaAustria Committee Member in Program Committee within the PADL-track
Felipe GorostiagaGorostiaga, Felipe IMDEA Software Institute MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs
Gopal GuptaGupta, Gopal Automated Playing of Survival Video Games with Commonsense Reasoning (short paper) C3G: Causally Constrained Counterfactual Generation Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach Committee Member in Program Committee within the PADL-track
H Zachary HansenHansen, Zachary University of Nebraska Omaha SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
Michael HanusHanus, Michael Kiel UniversityGermany Session Chair of Session 2 (part of PADL) Session Chair of Language design, pedagogical tool, and staged interpreter (part of PEPM) Can Logic Programming Be Liberated from Predicates and Backtracking? (Lightning talk) Committee Member in Program Committee within the PADL-track
Bryant HargreavesHargreaves, Bryant University of Texas at Dallas, USA Automated Playing of Survival Video Games with Commonsense Reasoning (short paper)
Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark Committee Member in Program Committee Members within the PEPM-track
Manuel HermenegildoHermenegildo, Manuel Technical University of Madrid (UPM) and IMDEA Software InstituteSpain Committee Member in Program Committee Members within the PEPM-track
Ángel HerranzHerranz, Ángel Universidad Politécnica de MadridSpain Checking Concurrency Coding Rules Logic Programming with Extensible Types (Lightning talk)
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Committee Member in Program Committee Members within the PEPM-track
I Daniela InclezanInclezan, Daniela Miami UniversityUnited States Session Chair of Session 7 (part of PADL)
Daniela InclezanInclezan, Daniela Miami University, USA ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for Myaamia
Daniela InclezanInclezan, Daniela Miami UniversityUnited States Committee Member in Program Committee within the PADL-track
Yusuf IzmirliogluIzmirlioglu, Yusuf United Kingdom Committee Member in Program Committee within the PADL-track
J Tomi JanhunenJanhunen, Tomi Tampere UniversityFinland Committee Member in Program Committee within the PADL-track
K Chantal KellerKeller, Chantal Université Paris SaclayFrance Committee Member in Program Committee Members within the PEPM-track
Keegan KimbrellKimbrell, Keegan University of Texas at Dallas, USA Automated Playing of Survival Video Games with Commonsense Reasoning (short paper)
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom Committee Member in Program Committee within the PADL-track
András KovácsKovács, András University of Gothenburg and Chalmers University of Technology Committee Member in Program Committee Members within the PEPM-track
L Ivan LaneseLanese, Ivan University of Bologna/INRIA Committee Member in Program Committee within the PADL-track
Michael LeuschelLeuschel, Michael HHUGermany Committee Member in Program Committee within the PADL-track
Fang LiLi, Fang Oklahoma Christian University Session Chair of Session 6 (part of PADL) Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach
Junru LiLi, Junru Southeast University, NanjingChina A Weighted Bipolar Argumentation Framework and its ASP-based Implementation
Steven LibbyLibby, Steven The Scenic Route to Deforestation
Yuliya LierlerLierler, Yuliya University of Nebraska SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
Sam LindleyLindley, Sam The University of EdinburghUnited Kingdom Session Chair of High-level abstraction and automation (part of PEPM) Committee Member in Program Committee Members within the PEPM-track
Fangzhou LiuLiu, Fangzhou Southeast University, NanjingChina A Weighted Bipolar Argumentation Framework and its ASP-based Implementation
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States Session Chair of Macros, lenses, and LLMs (part of PEPM) Invited Talk: Solvers, unite! A simple unified semantics for reasoning with assurance and agreement Co-chair in Chairs within the PEPM-track
Hunter LockwoodLockwood, Hunter Myaamia Center & Miami University ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for Myaamia
M Julio MariñoMariño, Julio Universidad Politécnica de MadridSpain Checking Concurrency Coding Rules Haskell Based Spreadsheets Logic Programming with Extensible Types (Lightning talk)
Torben MogensenMogensen, Torben DIKU, University of CopenhagenDenmark Committee Member in Program Committee Members within the PEPM-track
N Jim NewtonNewton, Jim EPITA / LRE https://www.lre.epita.frFrance Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System
Dan NguyenNguyen, Dan University of Texas at Dallas, USA Automated Playing of Survival Video Games with Commonsense Reasoning (short paper)
Naoki NishidaNishida, Naoki Nagoya UniversityJapan Committee Member in Program Committee within the PADL-track
P Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States Committee Member in Program Committee Members within the PEPM-track
Alberto PardoPardo, Alberto Universidad de la Republica, Uruguay Committee Member in Program Committee within the PADL-track
Ivan PerezPerez, Ivan NASA Ames Research Center Logic Programming with Extensible Types (Lightning talk)
Enrico PontelliPontelli, Enrico New Mexico State UniversityUnited States Committee Member in Program Committee within the PADL-track
R Martin RinardRinard, Martin MIT Committee Member in Program Committee Members within the PEPM-track
Vincent RobinsonRobinson, Vincent University of Portland The Scenic Route to Deforestation
Tiark RompfRompf, Tiark Purdue UniversityUnited States Committee Member in Program Committee Members within the PEPM-track
S Orkunt SabuncuSabuncu, Orkunt TED UniversityTurkey Committee Member in Program Committee within the PADL-track
Elmer SalazarSalazar, Elmer The University of Texas at DallasUnited States C3G: Causally Constrained Counterfactual Generation
Vitor Santos CostaSantos Costa, Vitor University of Porto, Portugal Session Chair of Session 4 (part of PADL) On Bridging Prolog and Python to Enhance an Inductive Logic Programming System
João SaraivaSaraiva, João Committee Member in Program Committee Members within the PEPM-track
Zeynep G. SaribaturSaribatur, Zeynep G. TU WienAustria Committee Member in Program Committee within the PADL-track
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium Committee Member in Program Committee within the PADL-track
Farhad ShakerinShakerin, Farhad Microsoft C3G: Causally Constrained Counterfactual Generation
Jitendra SharmaSharma, Jitendra Miami University ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for Myaamia
Pratiksha ShresthaShrestha, Pratiksha Miami University ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for Myaamia
César SánchezSánchez, César IMDEA Software InstituteSpain MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs
T Kento TakyuTakyu, Kento Waseda UniversityJapan Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Elimination
Paul TarauTarau, Paul University of North TexasUnited States Leveraging LLM Reasoning with Dual Horn Programs Committee Member in Program Committee within the PADL-track
Laura TitoloTitolo, Laura AMA/NASA LaRCUnited States Committee Member in Program Committee within the PADL-track
Melinda TóthTóth, Melinda Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.Hungary Committee Member in Program Committee within the PADL-track
U Kazunori UedaUeda, Kazunori Waseda UniversityJapan Session Chair of Session 3 (part of PADL) Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Elimination
V Mark van den Brandvan den Brand, Mark Eindhoven University of TechnologyNetherlands Committee Member in Program Committee Members within the PEPM-track
Kylian Van DesselVan Dessel, Kylian Leuven.AI, Belgium A practical approach to handling tabular data in logic
Joost VennekensVennekens, Joost KU Leuven A practical approach to handling tabular data in logic Committee Member in Program Committee within the PADL-track
German VidalVidal, German Universitat Politecnica de ValenciaSpain Session Chair of Session 1 (part of PADL) Co-chair in Programme Chairs within the PADL-track
W Anduo WangWang, Anduo Temple University, USA Enhancing network diagnosis with reflection in Prolog (extended abstract)
Zerong WangWang, Zerong Southeast University, NanjingChina A Weighted Bipolar Argumentation Framework and its ASP-based Implementation
Sam WestrickWestrick, Sam New York UniversityUnited States Committee Member in Program Committee within the PADL-track
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Committee Member in Program Committee Members within the PEPM-track
Yan YanYan, Yan Southeast University, NanjingChina A Weighted Bipolar Argumentation Framework and its ASP-based Implementation
Z Jessica ZangariZangari, Jessica Università della CalabriaItaly Committee Member in Program Committee within the PADL-track
Zhizheng ZhangZhang, Zhizheng Southeast University, NanjingChina A Weighted Bipolar Argumentation Framework and its ASP-based Implementation
Neng-Fa ZhouZhou, Neng-Fa CUNY Brooklyn College and Graduate Center Committee Member in Program Committee within the PADL-track
Fei ZuoZuo, Fei University of Central Oklahoma Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach

PADL 2025 Contributors

Results (93)

Tracks

Workshops