MITACS
NCE
4th
IT-Theme Meeting
November 02-03, 2002,
Banff, Alberta
IT-Theme Leader:
Evangelos Kranakis, Carleton U
Transportation:
Calgary-Banff Shuttle Bus Info
The Banff Center:
Accomodation/logement
Interactive Map:
Banff
Registration/Inscription:
To register send email to
Andrea Kiefner:
akiefner@mitacs.math.ca
with your full contact
information and request to book accommodation in your name. MITACS has a
block of rooms on hold for this event and will be happy to assist you with
the arrangements. Please specify in your email when you intend to arrive
and leave. The cut-off date is September 13, 2002. MITACS will cover the
room cost for November 1 and November 2.
PROGRAM/PROGRAMME
Banff Center Campus Map
BUILDING: TBA, ROOM TBA
Saturday, November 02 / Le samedi 02 novembre
- 08:00-08:30
Coffee
- 08:30-09:30
Invited Speaker:
Peter Glynn
Statistical Estimation and Modeling of Network Traffic
Stanford University, Management Science and Engineering
- 09:30-10:00
Coffee Break
- 10:00-10:50
Inference from High Dimensional Data
-
10:00-10:50
Accelerated Learning of Probability Functions by Importance
Sampling
Y. Bengio, UdeMontreal
- 11:00-11:50
Towards Interactive Data Mining
-
11:00-11:25
The latent maximum entropy principle
Shaojun Wang, U of Toronto
-
11:25-11:50
Challenges of using computing clusters for
interactive data-mining
Alan Wagner, UBC
- 12:00-14:00
Lunch
- 14:00-14:50
Symbolic Analysis
-
14:00-14:50
Two Faces of Symbolic Computation
Peter Borwein, Jennifer De Kleine, Ron Ferguson, Mike Monagan, Austin Roche,
SFU
- 15:00-15:50
Complex Adaptive Networks for Computing and Communication
- 15:00-15:25
Mobile Agent Rendezvous Problem
Cindy Sawchuk, Carleton U
- 15:25-15:50
TBA
Mark Francisco, Carleton U
- 16:00-16:50
Quantum Computing
- 16:00-16:50
An introduction to quantum computation
J. Niel de Beaudrap, U of Calgrary
- 17:00-17:50
An Integrated Framework for Computer Algebra and Computer
Theorem Proving
- 17:00-17:25
MathScheme: A Framework for Integrating Computer Algebra and Computer
Theorem Proving
William Farmer, McMaster U
- 17:25-17:50
MathScheme: An Integrated Computer Algebra and Computer Theorem
Proving System
Martin v. Mohrenschildt, McMaster U
- 19:00
Conference Dinner
TICINO (at the High Country Inn) 415 Banff Avenue
Sunday, November 03 / Le samedi 03 novembre
- 08:00-08:30
Coffee
- 08:30-09:30
Invited Speaker:
Paul Beame
Efficient inference?:
satisfiability algorithms, proof complexity, and
formal methods
University of Washington, Computer Science and Engineering
- 09:30-10:00
Coffee Break
- 10:00-10:50
Prediction in Interacting Systems
- 10:00-10:20
Nonlinear filtering for reflecting diffusions: Nonparametric and
parametric estimation methods
W. Sun, U of Alberta
- 10:20-10-35
PINTS Simulations
J. Hailes, U of Alberta
- 10:35-10:50
Nonlinear filtering: from Ornstein-Uhlenbeck to white noise
J. Xiong, U of Alberta
- 11:00-11:50
Applied Cryptography
-
11:00-11:25
Communicating Cryptographic Keys
Hugh Williams, U of Calgary
-
11:25-11:50
TBA
Speaker 2
- 12:00-13:00
Lunch