Joint Mathematics Meetings Program by AMS Special Session
Current as of Saturday, January 15, 2011 00:29:54
Program 
Deadlines 
Timetable 
Inquiries: meet@ams.org
Joint Mathematics Meetings
New Orleans, LA, January 69, 2011 (Thursday  Sunday)
Meeting #1067
Associate secretaries: Steven H Weintraub , AMS shw2@lehigh.edu
Gerard A Venema , MAA venema@calvin.edu
AMS Special Session on Formal Mathematics for Mathematicians: Developing Large Repositories of Advanced Mathematics
Saturday January 8, 2011, 8:00 a.m.10:50 a.m. AMS Special Session on Formal Mathematics for Mathematicians: Developing Large Repositories of Advanced Mathematics, I
Conde, 3rd Floor, JW Marriott Organizers: Krystyna M. Kuperberg , Auburn University kuperkm@auburn.edu
Andrzej Trybulec , University of Bialystok
Artur Kornilowicz , University of Bialystok
Adam Naumowicz , University of Bialystok
Sunday January 9, 2011, 8:00 a.m.10:50 a.m. AMS Special Session on Formal Mathematics for Mathematicians: Developing Large Repositories of Advanced Mathematics, II
Conde, 3rd Floor, JW Marriott Organizers: Krystyna M. Kuperberg , Auburn University kuperkm@auburn.edu
Andrzej Trybulec , University of Bialystok
Artur Kornilowicz , University of Bialystok
Adam Naumowicz , University of Bialystok
8:00 a.m.
Type inference in finite group theory.
Jeremy Avigad* , Department of Philosophy, Carnegie Mellon University
(106703910)
8:30 a.m.
Mechanizing the Odd Order Theorem: Local Analysis.
Georges Gonthier* , Microsoft Research
(106703836)
9:00 a.m.
Mizarsupported maths teaching at the university level.
Adam Naumowicz* , Institute of Informatics, University of Bialystok, Poland
Artur Kornilowicz , Institute of Informatics, University of Bialystok, Poland
(1067971443)
9:30 a.m.
Recent achievement of codification on real analysis in Mizar.
Yasushige Watase* , Shinshu University, Faculty of Engineering
Noboru Endo , Gifu National College of Technology, Dept. of Electronic Control Engineering
Yasunari Shidama , Shinshu University, Faculty of Engineering
(1067681135)
10:00 a.m.
Computerising Mathematical texts with MathLang.
Fairouz Kamareddine* , HeriotWatt University
(1067031396)
10:30 a.m.
The language of mathematics in Mizar.
Artur Kornilowicz* , Institute of Informatics, University of Bialystok, Poland
Adam Naumowicz , Institute of Informatics, University of Bialystok, Poland
(1067681444)
MAA Sectional Meetings

AMS Sectional Meetings

MAA National Meetings

AMS National Meetings

Inquiries: meet@ams.org