Registered user since Mon 13 Jun 2022
Name:Kazuhiko Sakaguchi
Country:France
Affiliation:CNRS
Research interests:interactive theorem proving, formalization of mathematics, proof by reflection
Contributions
Using general profile
- Attending
- Venue (Sunday Workshops): NUS School of Computing
- Venue (Main Conference): Marina Bay Sands Convention Centre
- Hotels: Concorde Hotel Singapore
- Hotels: Wyndham Singapore Hotel
- Hotels: Rendezvous Hotel Singapore
- ICFP/SPLASH 2025
- Travel Information and Visas
- Things to do in Singapore
- Code of Conduct
- Call for Sponsorship
- Tracks
- ICFP 2025
- ICFP Artifacts
- ICFP Keynotes
- ICFP Papers
- Student Research Competition
- ICFP/SPLASH 2025
- Workshops
- Co-hosted Conferences
- MPLR
- SPLASH
- Workshops
- Erlang
- FARM
- FProPer
- FUNARCH
- HATRA
- HOPE
- IWACO
- Industry Forum
- LMPL
- ML Family Workshop
- OCaml
- PAINT
- PLMW @ ICFP/SPLASH
- PROPL
- Scheme
- The Scala Workshop
- TyDe
- VMIL
- WebAssembly Workshop @ ICFP/SPLASH
- miniKanren and Relational Programming Workshop
- Co-hosted Symposia
- Haskell
- SAS
- Organization
- ICFP 2025 Committees
- Organizing Committee
- Steering Committee
- Track Committees
- ICFP Artifacts
- ICFP Papers
- Student Research Competition
- ICFP/SPLASH
- Workshops
- Contributors
- People Index
- Co-hosted Conferences
- MPLR
- SPLASH
- Organizing Committee
- Steering Committee
- FARM Performance
- OOPSLA OOPSLA Review Committee
- OOPSLA External Review / Artifact Evaluation Committee
- OOPSLA Artifacts
- Onward! Essays Program Committee
- Onward! Essays Onward! Steering Committee
- Onward! Papers Program Committee
- Onward! Papers Steering Committee
- Posters
- SPLASH-E Program Commitee
- SPLASH-E Steering Committee
- Student Research Competition Organizers
- Student Research Competition Committee
- Workshops
- Erlang
- FARM
- FProPer
- FUNARCH
- HATRA
- HOPE
- IWACO
- Industry Forum
- LMPL
- ML Family Workshop
- OCaml
- PAINT
- PLMW @ ICFP/SPLASH
- PROPL
- Scheme
- The Scala Workshop
- TyDe
- VMIL
- WebAssembly Workshop
- miniKanren and Relational Programming Workshop
- Co-hosted Symposia
- Haskell
- SAS
- Search
- Series