RESearch in Avispa: Concurrency theory and
Applications
|
|
Overview
|
|
The workshop Research in AVISPA: Concurrency theory and
Applications will take place at Pontificia
Universidad Javeriana Cali in January 13 2009. Its aim
is to provide a forum where members of AVISPA Research Group
(undergraduate and graduate students, young and senior
researchers) can present their most recent ideas and developments
in both theory and applications of Concurrency.
Apart from featuring introductory talks on "hot"
research areas for AVISPA, the workshop will be a unique
opportunity to discuss new promising directions for the group.
Undergraduate and graduate students will have the chance of
interacting with AVISPA members abroad, and will learn more about
forthcoming research opportunities and projects within the group.
The workshop is open to everyone.
Participation of undergraduate students is especially
encouraged.
|
|
Date and Place
|
Tuesday, January 13th, 2009 at the Universidad Javeriana Cali, Auditorio 8, Los Almendros.
|
|
List of Speakers
|
Full Talks
- Andres Aristizabal, Research Asistant at Universidad Javeriana Cali (CO)
- Hugo A. Lopez. PhD Student at The Programming, Logic, and Semantics group (PLS), at IT University of Copenhagen (DK)
- Carlos Olarte, PhD Student at Comete Team - LIX, Ecole Polytechnique (FR) and Universidad Javeriana Cali (CO)
- Jorge A. Perez. PhD Student at Computer Science Department, University of Bologna (IT)
- Mauricio Toro, BSc Student at Universidad Javeriana Cali (CO) and Intern at Music Representation Team at IRCAM (FR)
- Camilo Rueda, Universidad Javeriana Cali (CO) and Music Representation Team at IRCAM (FR)
- Frank D. Valencia, CNRS Permanent Researcher at Comete Team - LIX, Ecole Polytechnique
(FR)
Short Talks
- Gustavo Gomez, BSc Student Univalle
- Diana Hermith, MSc Student PUJ
- Jairo Maldonado, Strategic Decision
- Henry Perez and Jaime A. Muñoz, BSc Students PUJ
- Carlos Ramirez, BSc Student Univalle
|
|
Program (Tentative)
|
|
Time
|
Title
|
Speaker
|
|
09:00
|
Opening Remarks
|
Camilo Rueda / Jorge A. Perez
|
|
09:10
|
Introduction to CCP / A Framework for Abstract
Interpretation of Universal Timed Concurrent Constraint
Programs.
|
Carlos
Olarte.
|
|
10:00
|
Some (Un)Decidability Results for CCP: Verification of
Infinite-State Systems.
|
Frank
D. Valencia.
|
|
10:45
|
Break
|
|
11:00
|
Temporal notions in ccp calculi.
|
Camilo
Rueda
|
|
11:45
|
Representing CCP with hybrid Event Structures.
|
Andres Aristizabal.
|
|
12:30
|
LUNCH
|
|
14.00
|
Constraints, mobility, types and sessions: The quest for Declarative Services
|
Hugo A. Lopez
|
|
14:45
|
Probabilistic Extension to A Concurrent Constraint
Factor Oracle Model for Music Improvisation.
|
Mauricio Toro.
|
|
15:15
|
Break
|
|
|
15.30
|
Quantitative Extensions to Timed CCP: Results and Challenges
|
Jorge A. Perez
|
|
16:00
|
Short Talks Session (20-25 minutes each)
|
|
|
17:45
|
Discussion/Open Panel
|
|
18.30
|
Closing Remarks/End of the Workshop
|
Detailed program (with abstracts) here
|
|
Organization
|
|
Carlos Olarte, Universidad Javeriana / INRIA France.
Jorge A. Perez. University of Bologna, Italy.
|
|
|
|
|