UPLC (UPLC Programming Language Conference) 2025

G.03

Rooms

Capacity: 50

Theatre style

Talks in this room:

Oct 28

9:20	Welcome to UPLC 2025 Ziyang Liu
9:30	Fifty-three Years of Plutus Philip Wadler
10:50	Efficient and fun UPLC with Plutarch Seungheon Oh
13:00	Formal Methods at IOG James Chapman
14:20	Casing on Constants Roman Kireev
15:20	How to zk-SNARK on Cardano Adam Smolarek
16:30	Atomic Multi-Chain Ops: Consistent cross chain transaction execution Andrew Sutherland

Oct 29

9:30	Pushing the Limits of UPLC Philip DiSarro
10:50	The Geology of Pebble Michele Nuzzi
13:30	UPLC AMA Ziyang Liu, Roman Kireev, Kenneth MacKenzie, Philip Wadler
14:50	UPLC Costing Kenneth MacKenzie
15:40	Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano Tudor Ferariu
16:30	Importance of educating devs - common pitfalls of Cardano development when interacting with UPLC Tsz Wai Wu, Hinson Wong

Oct 30

9:30	Automating Formal Verification of Smart Contracts Romain Soulat
10:50	Gastronomy UPLC Debugger Pi Lanningham
12:30	Certified Compilation Ana Pantilie, Ramsay Taylor
13:30	JIT-compiling Plutus on the JVM – the fastest UPLC evaluator on the planet Alexander Nemish
14:20	Unconference