ASL2002 Program

Main Program for ASL 2002 Annual Meeting
For an overview list of the plenary speakers and special session titles, please click here.
All lectures will be held in the four auditoriums of the A Building of the Classroom Building Complex (CBC).
All one-hour lectures on Saturday June 1 will be held in auditorium CBC A108.
All one-hour lectures on Sunday June 2 through Tuesday June 4 will be held in auditorium A112.
All special session talks will be held in auditoriums A110 and A112 after 2:15pm on Sunday and Monday.
All contributed talks will be held in auditoriums A106 and A108 after 2:15pm on Saturday June 1.
Speaker, title, time, and auditorium assignment for each lecture is listed below.
The registration desk and book exhibits will be held in the lobby area outside the auditoriums of the CBC A-building.

Saturday, June 1, 2002, CBC A-Building

8:15-8:45 Coffee and Snacks

8:45-9:00 Opening Remarks

9:00-10:00 Invited Lecture (Auditorium A108)
Scot Adams, University of Minnesota, "The origins of lattice superrigidity and dynamical superrigidity"

10:00-10:30 Break

10:30-11:30 Invited Lecture (Auditorium A108)
Greg Hjorth, UCLA, "An 'easy' proof of a theorem by Adams and Kechris"

11:30-1:00 Break

1:00-2:00 Invited Lecture (Auditorium A108)
Stevo Todorcevic, University of Toronto and CNRS-Paris 7, "Metamathematical methods in Ramsey Theory"

2:15-3:50 Contributed Talks, Sessions A and B
Session A of Contributed Talks: Saturday June 1 in CBC A106

2:15-2:35 Alasdair Urquhart, "The complexity of propositional proofs with the substitution rule"
2:40-3:00 Darko Sarenac, "Completeness of indexed \epsilon-calculus" (Joint work with G. E. Mints)
3:05-3:25 R. Gregory Taylor, "Symmetric propositions over finite domains"
3:30-3:50 John Harding, "Monadic Heyting algebras" (Joint work with Guram Bezhanishvili)
Session B of Contributed Talks: Saturday, June 1 in CBC A108

2:15-2:35 Tamara Lakins (formerly Tamara Hummel), "Generalized r-cohesiveness and the arithmetical hierarchy" (Joint work with Carl G. Jockusch, Jr.)
2:40-3:00 Timonthy H. McNicholl, "Almost an automorphism of the c.e. weak truth-table degrees"
3:05-3:25 Wesley Calvert, "The isomorphism problem for familiar classes of computable structures"
3:30-3:50 Noam Greenberg, "Lattice (non)-embeddings in admissible r.e. degrees"

4:05-5:40 Contributed Talks, Sessions C and D
Session C of Contributed Talks: Saturday, June 1 in CBC A106

4:05-4:25 Leona F. Fass, Modeling "as best as one can"
4:30-4:50 Dan Willard, "A further investigation of the second incompleteness theorem"
4:55-5:15 Alexei S. Kolesnikov, "Abstract dependence in non-elementary classes"
Session D of Contributed Talks: Saturday, June 1 in CBC A108

4:05-4:25 John Krueger, "Fat sets and saturated ideals"
4:30-4:50 James Hirschorn, "Random gaps"
4:55-5:15 Vojkan Vuksanovic, "Canonical equivalence relations on Q^n"
5:20-5:40 Jonas Eliasson, "Ultrapowers as sheaves"

6:00-8:00pm Reception. Marietta Tiberta Grand Hall, Richard Tam Alumni Center.

Sunday, June 2, 2002, CBC A-Building

8:15-8:45 Coffee and Snacks

8:45-9:45 Invited Lecture (Auditorium A112)
Edmund M. Clarke, Jr., Carnegie Mellon University, "Symbolic model checking 'with' and 'without' BDDs"

9:45-10:00 Break

10:00-11:00 Invited Lecture (Auditorium A112)
W. Hugh Woodin, University of California, Berkeley, "Beyond \Sigma^2_1 absoluteness"

11:00-11:30 Break

11:30-12:30 Thirteenth Annual Goedel Lecture (Auditorium A112)
Harvey Friedman, Ohio State University, "Issues in the foundations of mathematics". Harvey Friedman's paper for the Goedel Lecture will be read by Stephen Simpson.

12:30-2:15 Break

2:15-4:10 Special Sessions

Special Session on Set Theory, Session A, Auditorium CBC A112, 2:15-3:40

2:15-2:40 Alexander S. Kechris, Caltech, "Rigidity theorems for actions of product groups and countable Borel equivalence relations"
2:45-3:10 Ilijas Farah, College of Staten Island, "Luzin gaps"
3:15-3:40 Paul Larson, University of Toronto, "Iteration of countable models"
Special Session on Philosophy of Mathematics, Session A, Auditorium CBC A110, 2:15-4:10

2:15-2:40 Aldo Antonelli, University of California, Irvine, "Logicism without logic," (Joint work with Robert May.)
2:45-3:10 Gabriel Uzquiano, University of Rochester, "Abstraction principles and structure"
3:15-3:40 Mark Balaguer, California State University, Los Angeles, "Intuitionism, psychologism, and excluded middle"
3:45-4:10 Steve Awodey, Carnegie Mellon University, "Developments in Mac Lane Set Theory"

4:10-4:25 Break

4:25-6:20 Special Sessions

Special Session on Computers in Logic Education, Session A, Auditorium CBC A110, 4:25-5:50

4:25-4:50 Wilfried Sieg, Carnegie Mellon University, "Computer based logic instruction"
4:55-5:20 Stanley N. Burris, University of Waterloo, "Computer enhancements to my course 'Logic for mathematics and computer science'"
5:25-5:50 Daniel J. Velleman, Amherst College, "Proof Designer: software for learning to write proofs"
Special Session on Logic in Computer Science, Session A, Auditorium CBC A112, 4:25-6:20

4:25-4:50 E. Allen Emerson, University of Texas at Austin, "Parameterized model checking"
4:55-5:20 A. Prasad Sistla, University of Illinois at Chicago, "Symmetry and model-checking"
5:25-5:50 Somesh Jha, University of Wisconsin, "Applications of model checking to security"
5:55-6:20 Helmut Veith, Vienna University of Technology, "Counterexamples in model checking"

6:20-8:30 Break

8:30-11:00 ASL Council Meeting
CBC B-Building, Room 425A (Department of Mathematical Science Conference Room)

Monday, June 3, 2002, CBC A-Building

8:15-8:45 Coffee and Snacks

8:45-9:45 Invited Lecture (Auditorium A112)
Zlil Sela, Hebrew University, "Diophantine geometry over groups and the elementary theory of free and hyperbolic groups"

9:45-10:00 Break

10:00-11:00 Invited Lecture (Auditorium A112)
William Tait, University of Chicago, "Dialectic and logic: the truth of axioms"

11:00-11:30 Break

11:30-12:30 Invited Lecture (Auditorium A112)
Shaughan Lavine, University of Arizona, "The axiomatic method"

12:30-2:15 Break

2:15-4:10 Special Sessions

Special Session on Set Theory, Session B, Auditorium CBC A112, 2:15-3:40

2:15-2:40 Martin Zeman, University of California, Irvine, "Failure of square from weak hypotheses"
2:45-3:10 Richard Ketchersid, UCLA, "Determinacy and large cardinals from ideals"
3:15-3:40 Justin Moore, Boise State University, "Weak diamond and open colorings"
Special Session on Philosophy of Mathematics, Session B, Auditorium CBC A110, 2:15-4:10

2:15-2:40 Wilfried Sieg, Carnegie Mellon University, "Analysis of computations - without theses"
2:45-3:10 Christopher Pincock, University of California, Berkeley, "The structure of indispensability arguments"
3:15-3:40 Matt Frank, University of Chicago, "Working outward from the philosophy of mathematics"
3:45-4:10 Erich H. Reck, University of California, Riverside, "Carnap, logicism and metamathematics besides Frege and Russell"

4:10-4:25 Break

4:25-6:20 Special Sessions

Special Session on Computers in Logic Education, Session B, Auditorium CBC A110, 4:25-5:50

4:25-4:50 Aldo Antonelli, University of California, Irvine, "Teaching logic with LPL"
4:55-5:20 David Kaplan, UCLA, "Logic 2000"
5:25-5:50 Cathy Kessel, "Software for undergraduate logic courses"
Special Session on Logic in Computer Science, Session B, Auditorium CBC A112, 4:25-6:20

4:25-4:50 Jon Millen, SRI International Computer Science Laboratory, "Applications of logic in computer security"
4:55-5:20 Amy Felty, University of Ottawa, "An introduction to proof-carrying code"
5:25-5:50 Gilles Dowek, INRIA France, "Binding logic: proofs and models"
5:55-6:20 John Harrison, Intel Labs, "Formal verification of mathematical algorithms"

6:20-8:30 Break

8:30-11:00 ASL Council Meeting
CBC B-Building, Room 425A (Department of Mathematical Sciences Conference Room)

Tuesday, June 4, 2002, CBC A-Building

8:15-8:45 Coffee and Snacks

8:45-9:45 Invited Lecture (Auditorium A112)
Jessica M. Young, MIT, "On Martin's conjecture"

9:45-10:00 Break

10:00-11:00 Invited Lecture (Auditorium A112)
Natarajan Shankar, SRI International Computer Science Laboratory, "Little engines of proof"

11:00-11:30 Break

11:30-12:30 Invited Lecture (Auditorium A112)
Stephen G. Simpson, Pennsylvania State University, "Reverse mathematics"

12:30 End of Conference

Home | Program | Registration | Hotel Info | Travel/Directions | Airport | Student Travel Grants | Contributed Papers | Maps | Las Vegas Info | Local Dining | Parking Info | Financial Support | UNLV Home Page | ASL Home Page | Organizers

Saturday, June 1, 2002, CBC A-Building
8:15-8:45	Coffee and Snacks
8:45-9:00	Opening Remarks
9:00-10:00	Invited Lecture (Auditorium A108) Scot Adams, University of Minnesota, "The origins of lattice superrigidity and dynamical superrigidity"
10:00-10:30	Break
10:30-11:30	Invited Lecture (Auditorium A108) Greg Hjorth, UCLA, "An 'easy' proof of a theorem by Adams and Kechris"
11:30-1:00	Break
1:00-2:00	Invited Lecture (Auditorium A108) Stevo Todorcevic, University of Toronto and CNRS-Paris 7, "Metamathematical methods in Ramsey Theory"
2:15-3:50	Contributed Talks, Sessions A and B Session A of Contributed Talks: Saturday June 1 in CBC A106 2:15-2:35 Alasdair Urquhart, "The complexity of propositional proofs with the substitution rule" 2:40-3:00 Darko Sarenac, "Completeness of indexed \epsilon-calculus" (Joint work with G. E. Mints) 3:05-3:25 R. Gregory Taylor, "Symmetric propositions over finite domains" 3:30-3:50 John Harding, "Monadic Heyting algebras" (Joint work with Guram Bezhanishvili) Session B of Contributed Talks: Saturday, June 1 in CBC A108 2:15-2:35 Tamara Lakins (formerly Tamara Hummel), "Generalized r-cohesiveness and the arithmetical hierarchy" (Joint work with Carl G. Jockusch, Jr.) 2:40-3:00 Timonthy H. McNicholl, "Almost an automorphism of the c.e. weak truth-table degrees" 3:05-3:25 Wesley Calvert, "The isomorphism problem for familiar classes of computable structures" 3:30-3:50 Noam Greenberg, "Lattice (non)-embeddings in admissible r.e. degrees"
4:05-5:40	Contributed Talks, Sessions C and D Session C of Contributed Talks: Saturday, June 1 in CBC A106 4:05-4:25 Leona F. Fass, Modeling "as best as one can" 4:30-4:50 Dan Willard, "A further investigation of the second incompleteness theorem" 4:55-5:15 Alexei S. Kolesnikov, "Abstract dependence in non-elementary classes" Session D of Contributed Talks: Saturday, June 1 in CBC A108 4:05-4:25 John Krueger, "Fat sets and saturated ideals" 4:30-4:50 James Hirschorn, "Random gaps" 4:55-5:15 Vojkan Vuksanovic, "Canonical equivalence relations on Q^n" 5:20-5:40 Jonas Eliasson, "Ultrapowers as sheaves"
6:00-8:00pm	Reception. Marietta Tiberta Grand Hall, Richard Tam Alumni Center.

Sunday, June 2, 2002, CBC A-Building
8:15-8:45	Coffee and Snacks
8:45-9:45	Invited Lecture (Auditorium A112) Edmund M. Clarke, Jr., Carnegie Mellon University, "Symbolic model checking 'with' and 'without' BDDs"
9:45-10:00	Break
10:00-11:00	Invited Lecture (Auditorium A112) W. Hugh Woodin, University of California, Berkeley, "Beyond \Sigma^2_1 absoluteness"
11:00-11:30	Break
11:30-12:30	Thirteenth Annual Goedel Lecture (Auditorium A112) Harvey Friedman, Ohio State University, "Issues in the foundations of mathematics". Harvey Friedman's paper for the Goedel Lecture will be read by Stephen Simpson.
12:30-2:15	Break
2:15-4:10	Special Sessions Special Session on Set Theory, Session A, Auditorium CBC A112, 2:15-3:40 2:15-2:40 Alexander S. Kechris, Caltech, "Rigidity theorems for actions of product groups and countable Borel equivalence relations" 2:45-3:10 Ilijas Farah, College of Staten Island, "Luzin gaps" 3:15-3:40 Paul Larson, University of Toronto, "Iteration of countable models" Special Session on Philosophy of Mathematics, Session A, Auditorium CBC A110, 2:15-4:10 2:15-2:40 Aldo Antonelli, University of California, Irvine, "Logicism without logic," (Joint work with Robert May.) 2:45-3:10 Gabriel Uzquiano, University of Rochester, "Abstraction principles and structure" 3:15-3:40 Mark Balaguer, California State University, Los Angeles, "Intuitionism, psychologism, and excluded middle" 3:45-4:10 Steve Awodey, Carnegie Mellon University, "Developments in Mac Lane Set Theory"
4:10-4:25	Break
4:25-6:20	Special Sessions Special Session on Computers in Logic Education, Session A, Auditorium CBC A110, 4:25-5:50 4:25-4:50 Wilfried Sieg, Carnegie Mellon University, "Computer based logic instruction" 4:55-5:20 Stanley N. Burris, University of Waterloo, "Computer enhancements to my course 'Logic for mathematics and computer science'" 5:25-5:50 Daniel J. Velleman, Amherst College, "Proof Designer: software for learning to write proofs" Special Session on Logic in Computer Science, Session A, Auditorium CBC A112, 4:25-6:20 4:25-4:50 E. Allen Emerson, University of Texas at Austin, "Parameterized model checking" 4:55-5:20 A. Prasad Sistla, University of Illinois at Chicago, "Symmetry and model-checking" 5:25-5:50 Somesh Jha, University of Wisconsin, "Applications of model checking to security" 5:55-6:20 Helmut Veith, Vienna University of Technology, "Counterexamples in model checking"
6:20-8:30	Break
8:30-11:00	ASL Council Meeting CBC B-Building, Room 425A (Department of Mathematical Science Conference Room)

Monday, June 3, 2002, CBC A-Building
8:15-8:45	Coffee and Snacks
8:45-9:45	Invited Lecture (Auditorium A112) Zlil Sela, Hebrew University, "Diophantine geometry over groups and the elementary theory of free and hyperbolic groups"
9:45-10:00	Break
10:00-11:00	Invited Lecture (Auditorium A112) William Tait, University of Chicago, "Dialectic and logic: the truth of axioms"
11:00-11:30	Break
11:30-12:30	Invited Lecture (Auditorium A112) Shaughan Lavine, University of Arizona, "The axiomatic method"
12:30-2:15	Break
2:15-4:10	Special Sessions Special Session on Set Theory, Session B, Auditorium CBC A112, 2:15-3:40 2:15-2:40 Martin Zeman, University of California, Irvine, "Failure of square from weak hypotheses" 2:45-3:10 Richard Ketchersid, UCLA, "Determinacy and large cardinals from ideals" 3:15-3:40 Justin Moore, Boise State University, "Weak diamond and open colorings" Special Session on Philosophy of Mathematics, Session B, Auditorium CBC A110, 2:15-4:10 2:15-2:40 Wilfried Sieg, Carnegie Mellon University, "Analysis of computations - without theses" 2:45-3:10 Christopher Pincock, University of California, Berkeley, "The structure of indispensability arguments" 3:15-3:40 Matt Frank, University of Chicago, "Working outward from the philosophy of mathematics" 3:45-4:10 Erich H. Reck, University of California, Riverside, "Carnap, logicism and metamathematics besides Frege and Russell"
4:10-4:25	Break
4:25-6:20	Special Sessions Special Session on Computers in Logic Education, Session B, Auditorium CBC A110, 4:25-5:50 4:25-4:50 Aldo Antonelli, University of California, Irvine, "Teaching logic with LPL" 4:55-5:20 David Kaplan, UCLA, "Logic 2000" 5:25-5:50 Cathy Kessel, "Software for undergraduate logic courses" Special Session on Logic in Computer Science, Session B, Auditorium CBC A112, 4:25-6:20 4:25-4:50 Jon Millen, SRI International Computer Science Laboratory, "Applications of logic in computer security" 4:55-5:20 Amy Felty, University of Ottawa, "An introduction to proof-carrying code" 5:25-5:50 Gilles Dowek, INRIA France, "Binding logic: proofs and models" 5:55-6:20 John Harrison, Intel Labs, "Formal verification of mathematical algorithms"
6:20-8:30	Break
8:30-11:00	ASL Council Meeting CBC B-Building, Room 425A (Department of Mathematical Sciences Conference Room)

Tuesday, June 4, 2002, CBC A-Building
8:15-8:45	Coffee and Snacks
8:45-9:45	Invited Lecture (Auditorium A112) Jessica M. Young, MIT, "On Martin's conjecture"
9:45-10:00	Break
10:00-11:00	Invited Lecture (Auditorium A112) Natarajan Shankar, SRI International Computer Science Laboratory, "Little engines of proof"
11:00-11:30	Break
11:30-12:30	Invited Lecture (Auditorium A112) Stephen G. Simpson, Pennsylvania State University, "Reverse mathematics"
12:30	End of Conference