HGS MathComp - Where Methods Meet Applications
The Heidelberg Graduate School of Mathematical and Computational Methods for the Sciences (HGS MathComp) at Heidelberg University is one of the leading graduate schools in Germany focusing on the complex topic of Scientific Computing. Located in a vibrant research environment, the school offers a structured interdisciplinary education for PhD students. The program supports students in pursuing innovative PhD projects with a strong application-oriented focus, ranging from mathematics, computer science, bio/life-sciences, physics, and chemical engineering sciences to cultural heritage. A strong focus is put on the mathematical and computational foundations: the theoretical underpinnings and computational abstraction and conception.
HGS MathComp Principal Investigators are leading experts in their fields, working on projects that combine mathematical and computational methodology with topical research issues. Individual mentoring for PhD candidates and career development programs ensure that graduates are fully equipped to take up top positions in industry and academia.
Upcoming Events [see all...]
07.11.2024
09:00 - 13:00
09:00 - 13:00
Key Competences
Effective Visual Communication of Science
[ more ...]
[ more ...]
Compact Courses
Speaker: Dr. Jernej Zupanc (Seyens)
Location: Online
Registration: Please register on the event website
Organizer: Graduate Academy
Location: Online
Registration: Please register on the event website
Organizer: Graduate Academy
ECTS: 0.5
This course is part of the course program of the Graduate Academy.
The latest information and a registration link are available on the course website (log in with Uni-ID).
HGS MathComp fellows can get a reimbursement of the course fees. Please submit your proof of payment and certificate of participation to hgs@iwr.uni-heidelberg.de.
The latest information and a registration link are available on the course website (log in with Uni-ID).
HGS MathComp fellows can get a reimbursement of the course fees. Please submit your proof of payment and certificate of participation to hgs@iwr.uni-heidelberg.de.
You will learn to visually communicate your complex research ideas and results so your messages are effortlessly understood by any specific audience (scientists or non scientists). We will not focus on aesthetics but on how understanding human visual perception can inform your design decision for better comprehension of your scientific images, posters, and slides. You will also design a graphical abstract of your research, discuss it with peer scientists in a group exercise, and get actionable advice and feedback on your own materials. It is an immersive workshop, comprehensive, structured, memorable, easy to follow, useful and fun. More at https://www.seyens.com
14.11.2024
- 15.11.2024
10:00 - 16:00
10:00 - 16:00
Theory & Methods
Interactive Theorem Proving in Lean
[ more ...]
[ more ...]
Compact Courses
Speaker: Prof. Dr. Florent Schaffhauser, Mathematisches Institut, Heidelberg University
Location: Mathematikon • Conference Room, Room 5/104, 5th Floor • Im Neuenheimer Feld 205 • 69120 Heidelberg
Registration: Please register here
Organizer: HGS MathComp
Location: Mathematikon • Conference Room, Room 5/104, 5th Floor • Im Neuenheimer Feld 205 • 69120 Heidelberg
Registration: Please register here
Organizer: HGS MathComp
ECTS: 1
An 8h introduction to certified programming and formal mathematics for graduate students interested in the interaction between mathematics and computer science.
Course times on both days: 10:00 - 12:00 & 14:00 - 16:00
What is Lean?
Introduced by Leonardo de Moura in 2013, Lean is an open-source functional programming language that can be used as an interactive theorem prover. In this workshop, we will see it in action as a development environment for computer-assisted mathematics.
Course times on both days: 10:00 - 12:00 & 14:00 - 16:00
What is Lean?
Introduced by Leonardo de Moura in 2013, Lean is an open-source functional programming language that can be used as an interactive theorem prover. In this workshop, we will see it in action as a development environment for computer-assisted mathematics.
Course description
Producing certified, reliable code is crucial in software engineering. Taking it a step further, modern programming languages with strong type-checking capabilities can even be used to state theorems about abstract mathematical objects and verify the correctness of proofs.
In this workshop, we will explore the world of proof assistants and learn how to explain mathematics to a computer using Lean. The goal is to help participants develop new coding skills while becoming acquainted with formal methods on a larger scale.
Contents of the workshop
The course will consist of four 2-hour sessions, spread over two days. Each session will combine a lecture with hands-on computer practice. Please bring your laptop.
- Lecture 1: Basic Lean syntax
- Lecture 2: Tactics
- Lecture 3: Dependent types
- Lecture 4: Group project
Participants will be asked to work in pairs. The instructor will provide practice files for each session and no prior installation of Lean is required.
Producing certified, reliable code is crucial in software engineering. Taking it a step further, modern programming languages with strong type-checking capabilities can even be used to state theorems about abstract mathematical objects and verify the correctness of proofs.
In this workshop, we will explore the world of proof assistants and learn how to explain mathematics to a computer using Lean. The goal is to help participants develop new coding skills while becoming acquainted with formal methods on a larger scale.
Contents of the workshop
The course will consist of four 2-hour sessions, spread over two days. Each session will combine a lecture with hands-on computer practice. Please bring your laptop.
- Lecture 1: Basic Lean syntax
- Lecture 2: Tactics
- Lecture 3: Dependent types
- Lecture 4: Group project
Participants will be asked to work in pairs. The instructor will provide practice files for each session and no prior installation of Lean is required.
19.11.2024
- 20.11.2024
09:00
09:00
Key Competences
How to Plan and Write a Competitive Research or Grant Proposal
[ more ...]
[ more ...]
Compact Courses
Speaker: Dr. Thomas Koch (Deutscher Hochschulverband)
Location: On-site in Heidelberg
Registration: Please register on the event website
Organizer: Graduate Academy
Location: On-site in Heidelberg
Registration: Please register on the event website
Organizer: Graduate Academy
ECTS: 1
This course is part of the course program of the Graduate Academy.
The latest information and a registration link are available on the course website (log in with Uni-ID).
HGS MathComp fellows can get a reimbursement of the course fees. Please submit your proof of payment and certificate of participation to hgs@iwr.uni-heidelberg.de.
The latest information and a registration link are available on the course website (log in with Uni-ID).
HGS MathComp fellows can get a reimbursement of the course fees. Please submit your proof of payment and certificate of participation to hgs@iwr.uni-heidelberg.de.
This hands-on workshop provides an overview of the German research funding landscape and explains how to exploit funding opportunities at the postdoctoral stage for further career advancement. Selected EU programmes within the framework of Horizon Europe are also covered. Practice scenarios for different research settings help to understand how to select and approach individual funding programmes to establish yourself as a principal investigator and build your research capacity.