Category: Advanced Courses

NOVA Math > NOVA Math > Advanced Courses

Mini-course of Algebra and Logic – 20 and 21 June 2024

Speaker:¬†Michael Kinyon (University of Denver)Dates/time:20/06/2021 (Thursday), at 14:00 (UTC+1)21/06/2021 (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…

Read More

Mini-course of Algebra and Logic

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…

Read More

[Mini-courseOR] Multiobjective Combinatorial Optimisation

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…

Read More

[Mini-courseAL] Lectures on (Noncommutative) Generalized Numerical Semigroups

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…

Read More

[Mini-courseAn] The Variable Lebesgue Spaces

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

Read More

[Mini-courseAL] Automated Deduction and Algebra

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…

Read More

[Mini-courseAL] Codes and Lattices in Cryptography

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…

Read More

[Mini-CourseSRM] How To Jointly Analyze Longitudinal Data & Time-To-Event Simultaneously: An Integrative Data Harmonization Approach

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)…

Read More

[Mini-courseOR] Using Julia for solving optimization problems

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

Read More

[Mini-courseOR] Derivative Free Algorithms

Professor Warren Hare¬†University of British Columbia, Canada31st October 2022 (room 1.19, Building VII, FCT NOVA) and 4th November 2022 (room 1.10, Building VII, FCT NOVA), from 16h to 17h30.¬†There is no registration fee, but registration (https://forms.gle/otFR2Gh2ZGv6pmA38) is mandatory to allow…

Read More