HCM
HIM
BIGS
HSM
About HIM
History of HIM
Management
Administration & Support
Contact
Proposals
Programs
Current Trimester Program
Future Programs
Past Programs
Service
General Support
Financial Support
Preprints and Publications
Accommodation
Technical Support
Work Environment
FAQ
Bicycles
Events
Scientific Events
Special Events
Mathematischer Salon
Public talks by HIM guest researchers
Event Archive
Search
HIM
>
Programs
>
Future Programs
>
Future Trimester Programs
>
Prospects of formal mathematics
>
Poster
Prospects of formal mathematics
Poster
Description
School on Formal Mathematics (May 13 - 17 2024)
Workshop: Formalization of Mathematics (June 17 - 21, 2024)
Workshop: Bridging between informal and formal (July 8 - 12, 2024)
Workshop: Libraries of Digital Math (July 29 - August 2, 2024)
Participants
Poster
Getting to HIM
Poster
About HIM
Proposals
Programs
Current Trimester Program
Future Programs
Future Trimester Programs
Synergies between modern probability, geometric analysis and stochastic geometry
Prospects of formal mathematics
Description
School on Formal Mathematics (May 13 - 17 2024)
Workshop: Formalization of Mathematics (June 17 - 21, 2024)
Workshop: Bridging between informal and formal (July 8 - 12, 2024)
Workshop: Libraries of Digital Math (July 29 - August 2, 2024)
Participants
Poster
Getting to HIM
Boolean Analysis in Computer Science
Metric analysis
Probabilistic methods in quantum field theory
Future Junior Trimester Programs
Past Programs
Service
Events
