ICFP/SPLASH 2025 (series) / Pedro López-García
Not registered as user
Name:Pedro López-García
Affiliation:IMDEA Software Institute
Contributions
2025
Static Analysis Symposium
ICFP/SPLASH 2025-profile
View general profile
View general profile
ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
- Attending
- Venue (Sunday Workshops): NUS School of Computing
- Venue (FARM Performance): Yong Siew Toh Conservatory
- Venue (Main Conference): Marina Bay Sands Convention Centre
- Hotels: Concorde Hotel Singapore
- Hotels: Wyndham Singapore Hotel
- Hotels: Rendezvous Hotel Singapore
- Code of Conduct
- Call for Sponsorship
- Registration
- Travel Information
- Explore Singapore
- Outdoor Activities
- Information for Presenters at National University of Singapore
- Information for Presenters at Marina Bay Sands
- Information for Session Chairs
- Information for Attendees
- ICFP/SPLASH Live Streams
- Program
- Tracks
- ICFP/SPLASH 2025
- Tutorials
- Volunteers
- Workshops
- Organization
- ICFP/SPLASH 2025 Committees
- Organizing Committee
- AV Committee
- Track Committees
- Volunteers
- Workshops
- Contributors
- People Index
- Co-hosted Conferences
- ICFP
- MPLR
- SPLASH
- Organizing Committee
- Steering Committee
- Doctoral Symposium
- FARM Organizing Committee
- FARM Program Committee
- 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 Competition Judges
- Student Research Competition Review Committee
- Workshops
- Erlang
- FARM
- FUNARCH
- HATRA
- HOPE
- IWACO
- LMPL
- miniKanren
- ML Family Workshop
- OCaml
- OlivierFest
- PAINT
- PLMW @ ICFP/SPLASH
- PROPL
- REBASE
- Scheme
- Sponsor Invited Talks
- The Scala Workshop
- TyDe
- VMIL
- WebAssembly Workshop
- Co-hosted Symposia
- Haskell
- SAS
- Search
- Series