ProLaLa 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (59)

A Timos AntonopoulosAntonopoulos, Timos Yale University Committee Member in Program Committee within the ProLaLa-track
Joaquín AriasArias, Joaquín Universidad Rey Juan CarlosSpain Modeling Administrative Discretion Using Goal-Directed Answer Set Programming Committee Member in Program Committee within the ProLaLa-track
B Chris BaileyBailey, Chris University of Illinois College of Law A General Library of Legal Components
Nikola BanovicBanovic, Nikola University of Michigan Cod(e)ifying The Law
Shrutarshi BasuBasu, Shrutarshi Harvard UniversityUnited States Session Chair of Long talks #6 (part of ProLaLa) Littleton: An Educational Environment for Property Law Legal Calculi Committee Member in Program Committee within the ProLaLa-track
Janis BeckedorfBeckedorf, Janis Ruprecht-Karls-Universität Heidelberg, Heidelberg, Germany Law Smells: Defining and Detecting Problematic Patterns in Legal Drafting
Jeffrey BilikBilik, Jeffrey University of Michigan Cod(e)ifying The Law
Maximilian BötherBöther, Maximilian Hasso Plattner Institute, University of Potsdam, Potsdam, Germany Law Smells: Defining and Detecting Problematic Patterns in Legal Drafting
C Nina CahillCahill, Nina University of Michigan Cod(e)ifying The Law
Miguel CalejoCalejo, Miguel logicalcontracts.com Logical English as a Programming Language for the Law
Eason ChenChen, Eason Accord ProjectTaiwan Ergo - a programming language for Smart Legal Contracts
James CheneyCheney, James University of Edinburgh; Alan Turing InstituteUnited Kingdom Probabilistic programming for Employment Tribunal remedies
Corinna CoupetteCoupette, Corinna Max Planck Institute for Informatics, Saarbrücken, Germany Law Smells: Defining and Detecting Problematic Patterns in Legal Drafting
Silvia CrafaCrafa, Silvia University of PadovaItaly Stipula: a domain specific language for legal contracts
D Surend DayalDayal, Surend Australian National University Industry keynote -- What does a toolchain for legislation eventually become?
Alain DelaëtDelaët, Alain INRIA, ENS Lyon Turning Catala into a Proof Platform for the Law
Jacinto DávilaDávila, Jacinto Contratos Lógicos. C.A. and Universidad de Los Andes Logical English as a Programming Language for the Law
E Nel EscherEscher, Nel University of Michigan Cod(e)ifying The Law
F Davin FifieldFifield, Davin Oracle Industry keynote -- What does a toolchain for legislation eventually become?
Nate FosterFoster, Nate Cornell UniversityUnited States Littleton: An Educational Environment for Property Law Legal Calculi Committee Member in Program Committee within the ProLaLa-track
Aymeric FromherzFromherz, Aymeric Inria Turning Catala into a Proof Platform for the Law
Wachara FungwacharakornFungwacharakorn, Wachara National Institute of InformaticsJapan Introduction of PROLEG (PROlog-based LEGal reasoning support system)
G Ben GreenGreen, Ben University of Michigan Cod(e)ifying The Law
James GrimmelmannGrimmelmann, James Cornell University Research keynote -- Programming Languages and Law: A Research Agenda for a New Field Littleton: An Educational Environment for Property Law Legal Calculi Committee Member in Program Committee within the ProLaLa-track
H Dirk HartungHartung, Dirk Center for Legal Technology and Data Science, Bucerius Law School, Hamburg, Germany Law Smells: Defining and Detecting Problematic Patterns in Legal Drafting
Walter HernandezHernandez, Walter Mishcon de Reya,Accord Project Ergo - a programming language for Smart Legal Contracts
Jennifer Jiyoung HusebyHuseby, Jennifer Jiyoung University of Michigan Cod(e)ifying The Law
K Daniel Martin KatzKatz, Daniel Martin Illinois Tech – Chicago Kent College of Law, Chicago, IL, USA Law Smells: Defining and Detecting Problematic Patterns in Legal Drafting
Robert KowalskiKowalski, Robert Imperial College London Logical English as a Programming Language for the Law
L Cosimo LaneveLaneve, Cosimo University of Bologna Stipula: a domain specific language for legal contracts
Sarah LawskyLawsky, Sarah Northwestern UniversityUnited States Program Co-Chair in Program Committee within the ProLaLa-track
Alice LiuLiu, Alice University of Michigan Cod(e)ifying The Law
M Avishkar MahajanMahajan, Avishkar Singapore Management University Overview of the CCLAW L4 project
L. Thorne McCartyMcCarty, L. Thorne Rutgers, The State University of New Jersey Position Paper: LLD is All You Need
Denis MerigouxMerigoux, Denis INRIAFrance Turning Catala into a Proof Platform for the Law Committee Member in Program Committee within the ProLaLa-track
Sam MikellMikell, Sam University of Michigan Cod(e)ifying The Law
Alexander MillerMiller, Alexander University of Michigan Cod(e)ifying The Law
Anshuman MohanMohan, Anshuman Cornell UniversityUnited States Littleton: An Educational Environment for Property Law Legal Calculi
Mar Moreno-RebatoMoreno-Rebato, Mar Universidad Rey Juan Carlos Modeling Administrative Discretion Using Goal-Directed Answer Set Programming
Jason MorrisMorris, Jason Service Canada, Lexpedite Legal Technology Prevalence of Expression Types in Legislative Text
O Sascha OssowskiOssowski, Sascha Universidad Rey Juan Carlos Modeling Administrative Discretion Using Goal-Directed Answer Set Programming
P Matteo PascucciPascucci, Matteo Slovak Academy of Science DPCL: a Language Template for Normative Specifications
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States Committee Member in Program Committee within the ProLaLa-track
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States Session Chair of Long talks #4 (part of ProLaLa) Session Chair of Long talks #5 (part of ProLaLa) Session Chair of Long talks #1 (part of ProLaLa) Session Chair of Industry keynote (part of ProLaLa) Session Chair of Long talks #2 (part of ProLaLa) Session Chair of Research keynote (part of ProLaLa) Session Chair of Long talks #3 (part of ProLaLa) Session Chair of Short talks (part of ProLaLa) Program Co-Chair in Program Committee within the ProLaLa-track
R Divya RameshRamesh, Divya University of Michigan Cod(e)ifying The Law
Niall RocheRoche, Niall Mishcon de Reya,University College London,Accord Project Ergo - a programming language for Smart Legal Contracts
José Antonio Rodríguez-GarcíaRodríguez-García, José Antonio Universidad Rey Juan Carlos Modeling Administrative Discretion Using Goal-Directed Answer Set Programming
S Giovanni SartorSartor, Giovanni University of BolognaItaly Stipula: a domain specific language for legal contracts Committee Member in Program Committee within the ProLaLa-track
Ken SatohSatoh, Ken National Institute of InformaticsJapan Introduction of PROLEG (PROlog-based LEGal reasoning support system) Committee Member in Program Committee within the ProLaLa-track
Dan SelmanSelman, Dan Docusign,Accord Project Ergo - a programming language for Smart Legal Contracts
Giovanni SilenoSileno, Giovanni University of Amsterdam DPCL: a Language Template for Normative Specifications
Jerome SimeonSimeon, Jerome ClauseUnited States Ergo - a programming language for Smart Legal Contracts
Martin StreckerStrecker, Martin Singapore Management University Overview of the CCLAW L4 project
Don SymeSyme, Don MicrosoftUnited Kingdom Industry keynote -- What does a toolchain for legislation eventually become?
T Kanae TsushimaTsushima, Kanae National Institute of Informatics, JapanJapan Introduction of PROLEG (PROlog-based LEGal reasoning support system) Committee Member in Program Committee within the ProLaLa-track
V L. Thomas van Binsbergenvan Binsbergen, L. Thomas CWINetherlands Reflections on the design and application of eFLINT
Thomas van Binsbergenvan Binsbergen, Thomas University of Amsterdam DPCL: a Language Template for Normative Specifications
Tom van Engersvan Engers, Tom Leibniz Institute / University of Amsterdam / TNO DPCL: a Language Template for Normative Specifications
W Meng Weng WongWong, Meng Weng Singapore Management UniversitySingapore Overview of the CCLAW L4 project Committee Member in Program Committee within the ProLaLa-track