|
PROGRAM
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
WEDNESDAY, March 26 |
|
| 9:00 | Registration |
| 9:30 | Introduction |
| 10:00 | Differential Galois theory of difference equations, Michael Singer, North Carolina State University.[talk] |
| 11:00 |
Coffee Break |
| 11:30 | Algebra, Automata, Algorithms, Biology and Beyond, Bud Mishra, New York University.[talk] |
| 12:30 | Lunch break |
| 15:30 | Brief Communications (30 minutes each) Alexey Zobnin, Moscow State University Recent results on differential analogues of Grobner basis ( a summary report ) [talk] Dahira Dali, U.S.T.H.B Gršobner bases in polynomial differential systems [talk] |
| 17:00 | Coffee Break |
| 17:30 | Characteristic set method for difference and differential-difference polynomial systems, Xiao-Shan Gao, Chinese Academy of Sciences.[talk] |
|
|
|
| 9:30 |
Logical methods in differential
algebra, Volker Weispfenning, Universität Passau.[talk]
|
| 10:30 | Coffee Break |
|
Brief Communications (30 minutes each) |
|
| 13:000 | Lunch break |
| Brief Communications (30 minutes each) Carlo Traverso, Università di Pisa Non-commutative factorisation and GCD with applications to public-key cryptography Marc Giusti, Universitè de La Rochelle Efficient computation of square-free Lagrange resolvents Daniela Ferrarello, University of Catania Polynomial ideals and directed graphs |
|
| 17:000 | Coffee break |
| 17:30 | Algebra of differential invariants of Lie group actions, Evelyne Hubert, INRIA Sophia Antipolis. |
FRIDAY, March 28 |
|
| 10:00 | Differential elimination and reduction of biochemical networks, François Boulier, Université Lille I. [talk] |
| 11:00 | Coffee break |
| 11:30 | Generalized Groebner bases and multivariate differential dimension polynomials, Alexander Levin, Catholic University of America.[talk] |
| 12:30 | Lunch break |
| Giuseppa Carrà Memoration Tributes by Vladimir Gerdt [talk] Tributes by William Sit Tributes by Giovanni Gallo Reminiscences by friends and relatives |
|
| 19:300 | Departure of the bus from the conference site to the Restaurant |
| 20:00 | Social dinner at the "Locanda del Vinattiere" |
SATURDAY, March 29
|
|
| 9:00 |
Risulatati recenti del gruppo di ricerca del PRIN di Catania S. Strano |
| 9:45 |
Integrally closed ideals A. Conca |
| 10:30 | Coffee break |
|
Generators of the ideal of an algebraic space curve E. Fortuna, P. Gianni, B. Trager |
|
| 11:45 |
From Oil Fields to Hilbert Schemes [talk] L. Robbiano |
| 12:30 | Lunch break |
| 15:00 |
Grobner bases for submodules of Zn G. Boffi, A. Logar |
| 15:45 |
Grobner bases in public key cryptosystems M. Caboara, F. Caruso, C. Traverso |
Speakers
The major focus of the conference will be Differential Algebra, its computational aspects, and its applications. Topics include, but are not limited to the following:
Differential and difference algebra
Differential and difference Galois theory
Differential algebraic geometry
Differential algebraic groups
Differential dimension theory and invariants
Model theory and differential algebra
Computational differential algebra
Dynamical systems
Integrability theories, and applications
Commutative, combinatorial, computational algebra
In addition, the Conference will also be open to other topics that are related to the research interest of Carrà-Ferro.
The Conference will be structured to include up to 8 invited plenary talks (40 minutes) and a number of shorter talks (25 minutes) on state of the art contributions. As of this announcement, the following have accepted our invitation for plenary talks:
Subject to scheduling limitations, the short talks are open to the research community.
Interested short-talk speakers are required to submit a brief abstract (limited to 2 pages) to the Program Committee no later than February 4, 2008. Acceptance to the short talks will be announced by February 13, 2008.