logo

 

AISSQ-11




MATHEMATICS
& REALITY


6-7 October 2018
@IIT BHUBANESWAR, BHUBANESWAR fbinstatwitter

 

Countdown

128 11 30 22
Days Hours Minutes Seconds
register now
henk

Prof. Henk Barendregt​

Radboud University, Netherlands

Speaking Online

Henk Barendregt (1947) occupies the chair of ​Foundations of Mathematics and Computer Science at Nijmegen University, The Netherlands. He studied at Utrecht University mathematical logic, obtaining his Masters in 1968 and his Ph.D. in 1971, both ​cum laude ​ , under Dirk van Dalen and Georg Kreisel.Aftera Postdoc period at Stanford University he held positions at Utrecht University and was visiting scholar at Darmstadt, Zürich (ETH), Siena and Kyoto, and adjunct professor at Carnegie Mellon University. Barendregt is known for his work in ​lambda_calculus and ​type_theory​. Since 1986 he is professor at Nijmegen University, where he and his ​group work on ​Formal Mathematics​, a technology based on the idea of ​AUTOmated verification of MATHematics program of N. G. de Bruijn. For a list of results see the​page of Freek Wiedijk. Since 01.01.2015 professor emeritus ​valedictory lecture​. For some years Barendregt has been studying consciousness, see the MBM papers below. Awards ​Barendregt was elected member of the ​Academia Europaea (1992), ​Koninklijke Hollandsche Maatschappij der Wetenschappen (1995) and the ​Royal Dutch Academy of Sciences (1997). In 1998 he obtained a generous seven year grant of the Board of Directors of Nijmegen university. In 2002 he was knighted in the ​Orde van de ​Nederlandse Leeuw ​ .BarendregtobtainedonFebruary6,2003theNWOSpinozaAward 2002, the highest scientific awardintheNetherlands.In2012heobtained the Distinguished Lorentz Fellowship, a joint prize by the ​Netherlands Institute of Advanced Studies and the ​Lorentz Center Leiden, organizing a workshop on ​Models of Consciousness and Clinical Implications​.


OTHER SPEAKERS

img2 img3 edward img5

Prof. Klaus Böhmer​

University of Marburg, Germany

Professor Pritam B. Sharma

Vice Chancellor Amity University, Gurgaon

Dr. Edward N. Zalta​

Stanford University, USA

Dr. Christoph Benzmüller​

​University of Luxembourg, Luxembourg.

peir img7 img8 sudipto

Pier Luigi Luisi

Scuola Normale Superiore in Pisa, Italy

Prof. Teun​ ​Koetsier​​

VU-University, Amsterdam, Netherlands

Prof. Sandeep Kumar​

IIT BHU, Varanasi

Prof. Sudipto Ghosh​

IIT Kharagpur

vijaybhatkar bdsharma jordan luc

Prof. Dr. Vijay Bhatkar

MIT, PUNE

Professor BhuDev Sharma

Clark Atlanta University, Atlanta, GA, USA.

Jordan Bergmans​,

Royal Academy of Music, London

Prof. Luc​ ​Bergmans​​

Sorbonne Université, Paris, Franc

vasudeva raamgopal chamola manohar

Sri K. Vasudeva rao

IIT Kanpur

Pr​of. Ramgopal Uppaluri​

IIT Guwahati

Dr. Bhagwati  Prasad Chamola

Jaypee Institute of Information Technology

Prof. Manohar Lal

IIT Kanpur

ORGANIZER


BHAKTIVEDANTA INSTITUTE

IMPORTANT DATES

Registration Starts: May 1, 2018

Submission of Abstracts by: June 15, 2018

Submission of Full Papers by: July 30, 2018

Registration Ends: October 4, 2018

Conference Dates: October 6-7, 2018

IMPORTANT CONTACTS

Jitun Kumar Dhal (Organizing Secretary)
E-mail :jdhal[at]binstitute.org
Mobile :+91-9734780602
Landline:06742974602

Siddhartha Tiwari (Joint Secretary)
E-mail :siddhartha.tiwari2k7[at]gmail.com
Mobile :+91-9911102091