Neville J. Ford (University of Chester, UK) Title: Numerical methods for delay and fractional differential equations. Dates/times and location:Day and hour: Wednesday, 16 October 2024, from 14:15 to 16:15 - Room 1.4, building VII.Day and hour: Friday, 18 October 2024, from 14:15 to 16:15…
Speaker: Michael Kinyon (University of Denver)Dates/time:20/06/2024 (Thursday), at 14:00 (UTC+1)21/06/2024 (Friday), at 14:00 (UTC+1)Location: Room 1.5, building VIITitle: Automated Theorem Proving and AlgebraAbstract:This mini-course will introduce the audience to automated theorem proving (ATP) using Prover9. While ATP can, in principle, be used in…
Speaker: Ferruh Özbudak (Middle East Technical University)Dates/time:14/06/2024 (Friday), at 14:00 (UTC+1)17/06/2024 (Monday), at 14:00 (UTC+1)Location: Room 1.5, building VIILecture 1 (14/06): Planar maps, bent functions over finite fields, and an uncertainty principleWe explain some fundamental facts on planar maps and bent functions over finite…
Matthias Ehrgott (Department of Management Science, Lancaster University Management School) Short Course on Multiobjective Combinatorial Optimisation Date/time:1/7 to 3/7/2024, from 13:00 to 14:30Location: Seminar room - Building VIILecture 1 - 1 of July 2024, from 13 pm to 14:30 pm, seminar room-Building…
Mahir Bilen Can (Tulane University, Louisiana, USA) Title: Lectures on (Noncommutative) Generalized Numerical Semigroups Date/time:27 May and 3 June 2024 2:00 pm – 3:00 pmLocation: DM Meeting room, building VIINumerical semigroups, due to their inherent simplicity, find applications across various branches of…
David Cruz-Uribe (The University of Alabama, USA) Title: The Variable Lebesgue Spaces Dates/times:14, 16, 20 and 22 February 2024 | 10amLocation: Room 128, building IIAbstract
Michael Kinyon (University of Denver) Title: Automated Deduction and Algebra Dates/times:19/06/2023 (Monday), at 14:00--16:0020/06/2023 (Tuesday), at 14:00--16:0021/06/2023 (Wednesday), at 14:00--16:00Location: Seminar room, building VIIZoom link: https://videoconf-colibri.zoom.us/j/93296258325?pwd=Q2JtbjllWFNCVG9VdnN5aUN3YzBLQT09 Abstract: This course will introduce mathematicians to the use of automated theorem provers (ATPs) such as Prover9 in algebra. The…
João Ribeiro (Department of Computer Science, FCT-NOVA)Title: Codes and Lattices in CryptographyDates/times: 23/05/2023 (Tuesday) at 15:00--16:0025/05/2023 (Thursday) at 15:00--16:0030/05/2023 (Tuesday) at 15:00--16:0001/06/2023 (Thursday) at 15:00--16:0006/06/2023 (Tuesday) at 15:00--16:00 Location: Seminar room, building VII Zoom link: https://videoconf-colibri.zoom.us/j/93296258325?pwd=Q2JtbjllWFNCVG9VdnN5aUN3YzBLQT09 Abstract:Cryptography aims to efficiently secure communication and computation against powerful adversaries. The past 50 years have seen…
Professor Din-Chen (Ph.D. Fellow of the American Statistical Association, Executive Director and Professor in Biostatistics, College of Health Solutions, Arizona State University, Phoenix, USA)Title: How To Jointly Analyze Longitudinal Data & Time-To-Event Simultaneously: An Integrative Data Harmonization Approach Dates/times: 04/05/2023 (Thursday)…
Paulo José da Silva e Silva (University of Campinas, Brazil) Title: Using Julia for solving optimization problems Dates/times:13/02/2023 (Monday), at 14:00--16:00 15/02/2023 (Wednesday), at 14:00--16:00 Location: Seminar room, building VII