Program

#I0		G.03		2.55		3.55		Common Area

9:00				Registration & Coffee
:10				Registration & Coffee
:20	Welcome to UPLC 2025 Ziyang Liu
:30	Fifty-three Years of Plutus Philip Wadler Keynote
:40
:50
10:00
:10
:20
:30
:40
:50	Efficient and fun UPLC with Plutarch Seungheon Oh		From Jai to UPLC: An Unlikely Toolchain Skylar-Ray O'Quinn
11:00		Free Space
:10
:20
:30			Free Space
:40
:50
12:00
:10
:20
:30
:40
:50
13:00	Formal Methods at IOG James Chapman
:10
:20
:30
:40
:50
14:00
:10		UPLC-CAPE Yuriy Lazaryev
:20	Casing on Constants Roman Kireev Remote
:30
:40
:50
15:00
:10
:20	How to zk-SNARK on Cardano Adam Smolarek	Aiken Type System: Past, Present, Future Kasey White, Riley Kilgore Remote
:30
:40
:50
16:00
:10
:20
:30	Atomic Multi-Chain Ops: Consistent cross chain transaction execution Andrew Sutherland
:40		VACATE ROOM AND GO TO GROUND FLOOR BY 16:50 - GATE CLOSES AT 17:00
:50
17:00

#I0		G.03		1.35		2.55		3.55		Common Area

9:00					Registration & Coffee
:10
:20
:30	Pushing the Limits of UPLC Philip DiSarro Keynote
:40
:50
10:00
:10
:20
:30
:40
:50	The Geology of Pebble Michele Nuzzi
11:00		Free Space	Free Space
:10
:20
:30
:40
:50
12:00
:10
:20
:30
:40
:50
13:00				Free Space
:10
:20
:30	UPLC AMA Ziyang Liu, Roman Kireev, Kenneth MacKenzie, Philip Wadler Remote
:40
:50
14:00
:10
:20
:30
:40		Compiling UPLC to RISC-V Riley Kilgore, Kasey White
:50	UPLC Costing Kenneth MacKenzie
15:00
:10
:20
:30
:40	Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano Tudor Ferariu
:50		Plutarch Workshop Tomasz Maciosowski, Seungheon Oh
16:00
:10
:20
:30	Importance of educating devs - common pitfalls of Cardano development when interacting with UPLC Tsz Wai Wu, Hinson Wong
:40
:50
17:00
:10
:20
:30
:40
:50
18:00
:10
:20
:30
:40
:50
19:00					Dinner for all attendees
:10
:20
:30
:40
:50
20:00
:10
:20
:30
:40
:50

#I0		G.03		2.55		3.55		Common Area

9:00				Registration & Coffee
:10
:20
:30	Automating Formal Verification of Smart Contracts Romain Soulat Keynote
:40
:50
10:00
:10
:20
:30		Unconference
:40
:50	Gastronomy UPLC Debugger Pi Lanningham Remote		A Layered Certifying Compiler Architecture Jacco Krijnen
11:00
:10
:20
:30
:40
:50
12:00
:10
:20
:30	Certified Compilation Ana Pantilie, Ramsay Taylor		Unconference
:40
:50
13:00
:10
:20
:30	JIT-compiling Plutus on the JVM – the fastest UPLC evaluator on the planet Alexander Nemish
:40
:50
14:00
:10
:20	Unconference
:30
:40
:50
15:00
:10
:20
:30
:40
:50
16:00
:10
:20
:30
:40
:50
17:00

Talk

Workshop

Panel

Alert

Other