NSF CDI Workshop on
The Role of Symbolic, Numeric and Algebraic Computation in
Cyber-Enabled Discovery and Innovation (CDI)
Can Scientific Software keep up with Moore’s Law?
4201 Wilson Boulevard
Arlington, VA 22230
October 30-31, 2007
TUESDAY, October 30, 2007
8:30 - 9:00: Registration, coffee, juice, mini muffins (Room 1235), and Poster Set-Up (Atrium)
9:00 - 9:05: Opening of Workshop by Co-Chairs Erich Kaltofen (NCSU), Lenore Mullin (NSF CISE CCF), Alvin Thaler (NSF MPS DMS)
9:05 - 9:20: Welcome from NSF Deputy Assistant Directors Debbie Crawford
(CISE) and Jack Lightbody (MPS)
9:20 - 9:35: Welcome from NSF Division Directors Mike Foster (CISE CCF) and Executive Officer Deborah Lockhart (MPS DMS)
9:35-10:00: What is CDI? Tom Russell Co-Chair CDI Committee (MPS DMS)
10:00-11:00: Panel I: What are the Grand Challenges for Symbolic, Numeric and Algebraic Scientific Computing?
Erich Kaltofen (Moderator): James Demmel (2 screen shots), Randolph Franklin, Jeremy Johnson, Marianna Safronova, Jan Verschelde.
11:00-12:00: Panel II: Applicable Computer Science Foundations
Lenore Mullin (Moderator): Gene Copperman, Matthew Knepley, Jeremy Siek, Cleve Moler, Arun Rodrigues (4 screen shots [not shown during discussion]), Stephen Watt
12:00-2:00: Lunch at local restaurants
2:00-3:00: Panel III: What next? Where to from here? Opportunities, Pitfalls, Other issues
Alvin Thaler (Moderator); Gilbert Baumslag, Alyson Reeves, Anna Tsao
Physics (Session Chair: Barry Schneider)
3:00-3:25: Invited Talk: Anthony Kennedy Symbolic Supercomputing
Symbolic Computation (Session Chair: Chris Brown)
3:45-4:10: Invited Talk: Mike Dewar Early experiences with the High End Computing Terascale Resource (HECToR)
4:10-4:35: Invited Talk: B. David Saunders Why Solve Linear Systems Exactly?
4:35-5:00: Invited Talk: Stephen Watt The Role of Categorical Languages
5:00-8:00: Closing remarks by NSF CISE Assistant Director Jeannette Wing
Followed by Reception and Poster Session in the NSF Atrium.
Posters by Jerry Bernholc, Chris Brown, Randolph Franklin, Robert Miner, David Padua, Marianna Safronova, Jan Verschelde, Lihong Zhi
WEDNESDAY, October 31, 2007
8:30-9:00: Coffee, juice, biscotti
Computer Science (Session Chair: Robert Miner)
9:00-9:25: Invited Talk: David Padua Software in the Era of Parallelism
9:25-9:50: Invited Talk: Matthew Knepley (Argonne National Laboratories) Refactoring Finite Element Computation
9:50-10:15: Invited Talk: Fernando Perez (Univ. Colorado) Modern Algorithms in Mathematical Research, Parallelism and Languages: the Intersection of Theoretical and Practical Issues
10:15-10:35: Break; Frank Sottile (4 screen shots)
Mathematics (Session Chair: Vicki Powers)
10:35-11:00 Invited Talk: Dan Grayson (Univ. Illinois Urbana-Champaign) Cyber-Aided Mathematics
11:00-12:00 Panel IV: Perspectives by Organizing Committee: Erich Kaltofen, Lenore Mullin, Alvin Thaler (Co-Chairs), Lee Jameson (NSF MPS DMS), Jeremy Johnson (Drexel Univ.), Eun Park (NSF CISE CCF), Emil Volcheck (ACM), Stephen Watt (Univ. Western Ontario, Canada)
End of workshop