Cahit Arf Lecture 2015

  • Print

Vladimir Voevodsky

Institute of Advanced Study
http://www.math.ias.edu/~vladimir/Site3/home.html

Univalent Foundations of Mathematics

Date: April 21, 2015
at 15:40
Place:

Cahit Arf Auditorium
Department of Mathematics
Middle East Technical University
Ankara, Turkey

Supported by

Abstract

Today's mathematics is using foundations which have been developed in the late 19th - early 20th century. Since these foundations had been completed mathematics has grown from a field advanced by a few outstanding minds to a large enterprise involving tens of thousands of mathematicians. On this new scale of existence it is becoming impossible for mathematics to rely entirely on the old peer-review model of ensuring the correctness of the results. Univalent Foundations are new foundations of mathematics invented with the intention of being usable for the development of computer proof assistants that will facilitate the crafting and verification of complex mathematical constructions.

Hayri Körezlioğlu Research Award

  • Print

Mathematics Foundation started a research award for young researchers in the name of Prof. Hayri Körezlioğlu, who is the founder of METU Institute of Applied Mathematics, Financial Mathematics Program.

The award is aimed to encourage young researchers in the fields of Financial Mathematics, and Stochastic Processes and its Applications, and to publicize their prestigious work. Starting with for 2012, the award will be given annually.

The application procedure is as follows: The applicant must be younger than 45 years old. The application can be made personally, or an institution can nominate the researcher. The application package should include the resume, the publication list and the publications. These should be emailed to the Chair of Mathematics Foundation (This email address is being protected from spambots. You need JavaScript enabled to view it. or This email address is being protected from spambots. You need JavaScript enabled to view it.) by 30 November.

The award amount is TL 1000. The award ceremony will take place in March, possibly on 25 March, the birthday of Prof. Körezlioğlu.

About Prof. Dr. Hayri Körezlioğlu:

MathSciNet: www.ams.org/mathscinet/search/author.html?mrauthid=104970
Matematik Dernegi: www.md.math.bilgi.edu.tr/arsiv/PDF/2007_3_63_72_KOREZLIOGLU.pdf

Masatoshi Gündüz İkeda Research Award

  • Print

The award was first proposed in 2002 for the memorial of Prof. Dr. M. G. İkeda, who contributed to Turkish Mathematics universally. The purpose of the award is to evaluate the eminent research mathematical studies of scientists in Turkish Republic in order to announce these studies by approving them as being superior qualities and to encourage such kind of studies.

The applicants should not be above 45 years of age and they should either individually or institutionally send their applications, curriculum vitae, list of publications, and publications (in print) to the Chair of Mathematics Foundation via surface mail, personally or by e-mail before the deadline, November 30.

The award is TL 1.000 and the ceremony will be held on February 25, the birthday of Prof. Dr. M. G. İkeda.