Paul Tarau

Registered user since Sat 12 Dec 2015

Name:Paul Tarau
Country:United States
Affiliation:University of North Texas

Contributions

PADL 2022 Committee Member in Programme Committee within the PADL 2022-track
PADL 2021 Session Chair of Declarative Approaches to Testing and Debugging (part of PADL 2021)
Author of A Family of Unification-oblivious Program Transformations and Their Applications within the PADL 2021-track
Committee Member in Programme Committee within the PADL 2021-track
LPOP 2020 Panelist of Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All? within the LPOP 2020-track
Committee Member in Program Committee within the LPOP 2020-track
Author of Training Neural Networks to Do Logic, with Logic within the LPOP 2020-track
PADL 2020 Author of Interactive Text Graph Mining with a Prolog-based Dialog Engine within the PADL 2020-track
Author of Panel: Programming with logic for the masses within the PADL 2020-track
PADL 2019 Author of A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers within the PADL 2019-track
Committee Member in Program Committee within the PADL 2019-track
PADL 2018 Invited Speaker of On k-colored Lambda Terms and their Skeletons within the PADL 2018-track
PADL 2017 Author of Boltzmann Samplers for Closed Simply-Typed Lambda Terms within the PADL-track
PADL Author of Computing with Catalan Families, Generically within the PADL-track
Author of A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Objects endowed with Arithmetic Operations within the PADL-track
Committee Member in Program Committee within the PADL-track