Joint Mathematics Meetings AMS Special Session

Current as of Friday, January 18, 2013 00:31:56

Joint Mathematics Meetings
San Diego Convention Center and San Diego Marriott Hotel and Marina, San Diego, CA
January 9-12, 2013 (Wednesday - Saturday)
Meeting #1086

Associate secretaries:

Georgia Benkart, AMS benkart@math.wisc.edu
Gerard A Venema, MAA venema@calvin.edu

• Friday January 11, 2013, 8:00 a.m.-10:50 a.m.
  AMS Special Session on Mathematical Underpinnings of Multivariate Complexity Theory and Algorithm Design, and Its Frontiers and the Field of Incrementalization, I
  Room 31C, Upper Level, San Diego Convention Center
  Organizers:
  Rodney Downey, Victoria University of Wellington, New Zealand
  Michael Fellows, Charles Darwin University, Australia
  Anil Nerode, Cornell University
  Frances Rosamond, Charles Darwin University, Australia Frances.Rosamond@cdu.edu.au
  

  • 8:00 a.m.
    Parameterized Complexity Overview.
    Rodney G Downey*, Victoria University
    (1086-68-518)
  • 8:30 a.m.
    Incrementalization: From Clarity to Efficiency.
    Yanhong Annie Liu*, State University of New York at Stony Brook
    (1086-68-1571)
  • 9:00 a.m.
    Database Queries - Logic and Complexity.
    Moshe Y. Vardi*, Rice University
    (1086-68-1136)
  • 9:30 a.m.
    On the AND- and OR-Conjectures: Limits to Efficient Preprocessing.
    Andrew D Drucker*, Institute for Advanced Study
    (1086-68-1505)
  • 10:00 a.m.
    Towards relating program transformation, incremental computation and parameterized complexity.
    Neil D. Jones*, University of Copenhagen
    (1086-68-954)
  • 10:30 a.m.
    On the Linear and Quais-Linear CPU Time for Most Relational Calculus and Data Mining Queries Using O(N) Space.
    Dan E Willard*, University at Albany (Computer Science Department)
    (1086-68-1072)
• Saturday January 12, 2013, 1:00 p.m.-5:50 p.m.
  AMS Special Session on Mathematical Underpinnings of Multivariate Complexity Theory and Algorithm Design, and Its Frontiers and the Field of Incrementalization, II
  Room 31C, Upper Level, San Diego Convention Center
  Organizers:
  Rodney Downey, Victoria University of Wellington, New Zealand
  Michael Fellows, Charles Darwin University, Australia
  Anil Nerode, Cornell University
  Frances Rosamond, Charles Darwin University, Australia Frances.Rosamond@cdu.edu.au
  

  • 1:00 p.m.
    Synthesis of Dynamic Algorithms.
    Neil Immerman*, Computer Science Dept., University of Massachusetts, Amherst
    (1086-68-2140)
  • 1:30 p.m.
    How Fast Can We Compute Combinatorial Problems such as the Permanent and the Tutte Polynomial?
    Holger Dell*, UW Madison
    (1086-05-1847)
  • 2:00 p.m.
    Parameterized Algorithms and Circuit Lower Bounds.
    Ryan Williams*, Stanford University
    (1086-68-1876)
  • 2:30 p.m.
    On an odd case of an XP algorithm for graphs of bounded clique-width.
    Petr Hliněný*, Faculty of Informatics, Masaryk University, Brno, Czech Republic
    Robert Ganian, Goethe-Universität Frankfurt am Main, Germany
    Jan Obdržálek, Faculty of Informatics, Masaryk University, Brno, Czech Republic
    (1086-68-915)
  • 3:00 p.m.
    Parameterized Complexity and Permutation Group Problems.
    Vikraman Arvind*, Institute of Mathematical Sciences, Chennai 600113, India
    (1086-68-1517)
  • 3:30 p.m.
    Applying Parameterized Complexity to Cognitive Science.
    Ulrike Stege*, University of Victoria
    (1086-68-1681)
  • 4:00 p.m.
    Incremental List Coloring of Graphs, Parameterized by Conservation.
    Sepp Hartung, TU Berlin
    Rolf Niedermeier*, TU Berlin
    (1086-68-1804)
  • 4:30 p.m.
    Algebraization in parameterized algorithms and complexity.
    Ioannis Koutis*, University of Puerto Rico, Rio Piedras
    (1086-68-1680)
  • 5:00 p.m.
    Formal Coalgebraic Specifications and their Refinement.
    Douglas R Smith*, Kestrel Institute
    (1086-68-2907)
  • 5:30 p.m.
    Summary and Future Directions Discussion.
    Michael Fellows*, Charles Darwin University, Australia
    Rodney Downey, Victoria University of Wellington, NZ
    Annie Liu, State University of NY at Stonybrook
    Anil Nerode, Cornell University
    (1086-68-1291)