BOĞAZİÇİ UNIVERSITY
Department of Mathematics
Main Page
BU Homepage
TR
DEPARTMENT
UNDERGRADUATE
GRADUATE
RESEARCH
CONTACT
ERASMUS
DEPARTMENT
DEPARTMENT
Administration
Members
Postdoctoral Researchers
Visitors
Teaching Assistants
Graduate Students
Past Members
Our Graduates
Secretary
Advisors
Departmental Awards
International Agreements
UNDERGRADUATE
UNDERGRADUATE
Elective Courses
Overview
Academic Program
Undergraduate Course Catalog
Double Major Program
Transfers
GRADUATE
GRADUATE
Overview
Academic Program
Graduate Course Catalog
Regulations
Admissions
Financial Aid
RESEARCH
RESEARCH
Journal Publications
Thesis Archive
Ongoing Projects
Events
Search
Main Page
EVENTS
Metin Ersin Arıcan - Introduction to Formal Mathematics with Lean
Back
Department of Mathematics
EVENTS
Metin Ersin Arıcan - Introduction to Formal Mathematics with Lean
EVENT START DATE
7 December 2024 20:45
EVENT END DATE
7 December 2024 21:45
EVENT TYPE
Other
Metin Ersin Arıcan - Introduction to Formal Mathematics with Lean
Poster
Date:
Monday, December 9, 2024
Time:
13:30
Place:
TB 130
MOBILE MENU
MAIN PAGE
DEPARTMENT
Administration
Members
Postdoctoral Researchers
Visitors
Teaching Assistants
Graduate Students
Past Members
Our Graduates
Secretary
Advisors
Departmental Awards
International Agreements
UNDERGRADUATE
Elective Courses
Overview
Academic Program
Undergraduate Course Catalog
Double Major Program
Transfers
GRADUATE
Overview
Academic Program
Graduate Course Catalog
Regulations
Admissions
Financial Aid
RESEARCH
Journal Publications
Thesis Archive
Ongoing Projects
Events
CONTACT
ERASMUS
LANGUAGE OPTIONS
TR
EN
This website uses cookies to improve your experience. By continuing, you agree to our use of cookies.
Click Here to Review Our Cookie Policy.
Accept
Reject
