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