Events Calender

The modeling and numerical simulation of complex wave propagation phenomena are discussed. The analysis and numerics of the associated partial differential equations are usually very challenging. Minor changes in the model can lead to qualitatively very different properties. The aim is therefore to find a model with mathematically good properties that is still physically justified. This requires close interaction between mathematical analysis and physical modeling. The topic is approached using examples from helioseismology, plasmonics and anisotropic wave propagation.

What is the relation between good and successful research, on the one hand, and ethical and responsible research, on the other hand?
 
This workshop focuses on typical conflicts that particularly early career researchers may face in the context of a publish-or-perish culture: Is it okay for me to ignore and leave out statistical “outliers” when presenting my research data in case they impact the overall results more than I would like? Is such data “massaging” already scientific misconduct? How transparent must research practice be, when at the same time one has to succeed in the competitive world of scientific research? How to respond when you notice academic misconduct by a colleague? How should you handle problematic expectations of your supervisor?
 
In this workshop, however, we not only want to explain that these areas of conflict exist, but above all provide tools that can help you make your own decisions. We will do this by discussing realistic cases and using these cases to illustrate how easy it is to overlook important things and thus unintentionally overstep boundaries. In this way, participants can acquire the skills they need to recognise and avoid scientific misconduct. The workshop provides general skills and knowledge of research ethics needed for scientists to address the questions raised above. Participants attain the skills to rationally reflect on their role as a scientist from an ethical standpoint, including the specific expectations that role involves in a broader social context.
 
The workshop will show that successful research goes hand in hand with ethical and responsible research.
 
Please plan additional time for pre-workshop activities.
 
This event is open to doctoral researchers and postdocs at KIT who are KHYS members.
 
Technical requirements: To participate in this event, you need a stable internet connection, a webcam and a microphone. Participants will receive further detailed information regarding the online-platform prior to the event.
 
If you are unable to attend an event, please inform us promptly via e-mail. This way you are allowing your colleagues the opportunity to participate and you help us to maintain the quality of our Further Education Program. Thank you!

Since the early twentieth century, it has been understood that mathematical definitions and proofs can be represented in formal systems with precise grammars and rules of use. Building on such foundations, computational proof assistants now make it possible to encode mathematical knowledge in digital form. In this talk, I'll explore some of the ways that these and related technologies can help us do mathematics.
 
Jeremy Avigad is a professor of philosophy and a professor of mathematical sciences at Carnegie Mellon University. He received a B.A. in mathematics from Harvard University in 1989, and a Ph.D. in mathematics from the University of California at Berkeley in 1995 under the supervision of Jack Silver. He has contributed to the areas of mathematical logic and foundations, formal verification and interactive theorem proving, and the philosophy and history of mathematics. He became Director of the Hoskinson Center for Formal Mathematics at Carnegie Mellon University after Charles Hoskinson donated $20 Million in September 2021 to establish it.

3 day public event with lectures and talks, music and quiz, movie and cultural highlights - all on and around Mathematics. From 8 - 10 October 2024. Join us at Triangel Open Space in Karlsruhe to delve into the world of modeling, prediction & simulation.

MathSEE modeling week,tentatively planned from October 14 - 18, 2024 will be hands-on application of mathematical methods in the SEE disciplines. Participation can be credited as a seminar with 3 CP. Students of Mathematics, Computer science and SEE disciplines as well as doctoral candidates are most welcome to apply.