Computer Science

El Paso, Texas

Saturday, November 17, 2007

**History.** The 1st
Joint Workshop on Mathematics and Computer Science was held in
Las Cruces, New Mexico, on April 14, 2007.

**Objective of this workshop.**

- to bring in researchers in Math and Computer Science who are collaborating and/or who are interested in collaboration with CS and/or Mathematics faculty from another school, and
- to bring in researchers from outside Math and Computer Science who are interested in such a collaboration.

**Program**

9:00- 9:20 am Sarala Arunagiri, Seetharami Seelam, Ron A. Oldfield, Maria Ruiz Varela, Patricia J. Teller, and Rolf Riesen Department of Computer Science, UTEP "Impact of Checkpoint Latency on the Optimal Checkpoint Interval and Execution Time" 9:20- 9:25 am questions and discussion 9:25- 9:45 am Enrico Pontelli and Son Tran Department of Computer Science, NMSU "Logic Programming with Abstract Constraint Atoms" 9:45- 9:50 am questions and discussion 9:50-10:10 am Tunna Baruah Department of Physics, UTEP "Understanding Molecular Properties from Density Functional Theory" 10:10-10:15 am questions and discussion 10:15-10:55 am coffee break; UTEP Student Union has Starbucks coffee and teas 10:55-11:15 am Eric Freudenthal Department of Computer Science, UTEP "Consistent Hashing: An Efficient Approach for Distributed Indexing" 11:15-11:20 noon questions and discussion 11:20-11:40 am Joel Lucero-Bryan Department of Mathematical Sciences, NMSU "A Result Concerning the Rational Numbers" 11:40-11:45 am questions and discussion 11:45-12:05 pm Eric Freudenthal and Luc Longpre Department of Computer Science, UTEP "Fern: A Mutable Authenticated Dictionary for Peer-to-Peer Systems" 12:05-12:10 pm questions and discussion 12:10- 2:20 pm lunch at Casa Jurado restaurant 2:20- 2:40 pm Vladik Kreinovich Department of Computer Science, UTEP "Application-Motivated Combinations of Interval, and Probability Approaches, with Application to Geoinformatics, Bioinformatics, and Engineering" 2:40- 2:45 pm questions and discussion 2:45- 3:05 pm Karen Villaverde Department of Computer Science, NMSU "Estimating Variance under Interval Uncertainty: Parallel Algorithms" 3:05- 3:10 pm questions and discussion 3:10- 3:30 pm Luc Longpre and Pierre McKenzie Department of Computer Science, UTEP Solitaire 3:30- 3:35 pm questions and discussion 3:35- 3:55 pm Granville Sewell Department of Mathematical Sciences, UTEP "The PDE2D Collocation Finite Element Method" 3:55- 4:00 pm questions and discussion 4:00- 4:20 pm Jakub Cerveny and Pavel Solin Department of Mathematical Sciences, UTEP "On Multi-Mesh hp-FEM for Coupled Problems" 4:20- 4:25 pm questions and discussion 4:25- 4:50 pm Lenka Dubcova and Pavel Solin Department of Mathematical Sciences, UTEP "Computer Modeling of an Electromagnetic-Thermal Coupled Problem" 4:45- 4:50 pm questions and discussion 4:50- 5:10 pm Hung T. Nguyen and Hien Tran Department of Mathematical Sciences, NMSU "On Foundations of Stochastic Dominance in Mathematical Finance" 5:10- 5:15 pm questions and discussion 5:15- 5:35 pm Andrzej Pownuk Department of Mathematical Sciences, UTEP "General Interval FEM Program Based on Sensitivity: Analysis Method" 5:35- 5:40 pm questions and discussion 5:40- 6:00 pm Russell R. Chianelli Materials Research and Technology Institute, UTEP "Simulation and Synchrotron Techniques Applied to Problems in Materials Science: Catalysts and Azul Maya Pigments" 6:00- 6:05 pm questions and discussion 6:05- 6:35 pm general discussion

**Additional Treat:** Those who plan to attend El Paso Symphony
concert at 7:30 pm on November 17 can still do that after the
workshop. The program of the concert includes Mussorgsky "Dawn on
the Moskva River", Arutiunian "Trumpet Concerto", and Shostakovich,
Symphony No. 5; visiting musician is Anthony DiLorenzo (trumpet).

**Organizing Committee** (in alphabetic order):

Guram
Bezhanishvili (Department of Mathematical Sciences, NMSU)

John
Harding (Department of Mathematical Sciences, NMSU)

Vladik
Kreinovich (Department of Computer Science, UTEP)

Luc Longpre
(Department of Computer Science, UTEP)

Enrico Pontelli
(Department of Computer Science, NMSU)

Desh Ranjan (Department
of Computer Science, NMSU)

Pavel Solin (Department of
Mathematics, UTEP)

**Local Organizers:** Pavel Solin, Vladik Kreinovich, and Luc
Longpre