MEGA 2007 Effective Methods in Algebraic Geometry Strobl, Austria, June 25th - 29th http://www.ricam.oeaw.ac.at/mega2007

Monday, 25.6.2007

Time	Type	Speaker(s)/Presenter(s)	Title
09:00-10:00	Invited Talk	Thomas C. Hales	Computing p-adic integrals using motivic integration
	Coffee
10:20-11:05	Contributed Talk	W. de Graaf	Constructing algebraic groups from their Lie algebras
11:10-11:55	Contributed Talk	J. Núñez, A. F. Tenorio	Minimal Faithful Upper-triangular Matrix Representations for Low-Dimensional Solvable Lie Algebras
12:00	Lunch
14:00-14:15	Short Communication	I. Janovitz-Freireich, B. Mourrain, L. Ronyai, A. Szanto	Computing Approximate Radicals using Bezoutians
14:20-14:35	Short Communication	A. Chistov, D. Grigoriev	Complexity of Janet basis of a D-module
14:40-15:25	Contributed Talk	M. Castle, V. Powers, B. Reznick,	A Quantitative Polya's Theorem with Zeros
	Coffee
15:45-16:30	Contributed Talk	J. I. Farrán, D. Ruano	Metric structure of linear codes and algebraic-geometry codes
16:35-17:20	Contributed Talk	S. Bulygin, R. Pellikaan	On decoding up to error correcting capacity of linear error-correcting codes with Gröbner bases
17:25-17:55	Software Demonstration	J. A. Abbott, A. M. Bigatti	CoCoA: Computations in Commutative Algebrax

Tuesday, 26.6.2007

Time	Type	Speaker(s)/Presenter(s)	Title
09:00-10:00	Invited Talk	Ilia Itenberg	Enumerative tropical geometry
	Coffee
10:20-11:05	Contributed Talk	Luis Felipe Tabera	Tropical Plane Geometric Constructions
11:10-11:55	Contributed Talk	I. Emiris, C. Konaxis, L. Palios	Computing the Newton Polytope of Specialized Resultants
12:00	Lunch
14:00-14:15	Short Communication	I. Garcia-Marco, I. Bermejo-Diaz, J. J. Salazar-Gonzales	Checking if the toric ideal of an affine monomial curve is a complete intersection
14:20-14:35	Short Communication	E. S. de Cabezon	Homological Description of Monomial Ideals using Mayer-Vietoris Trees
14:40-15:25	Contributed Talk	J. M. Rojas, A. Niles, J. Gomez	New Complexity Bounds for Certain Real Fewnomial Zero Sets
	Coffee
15:45-16:30	Contributed Talk	L. Busé, B. Mourrain	An algebraic version of a theorem of Whitney
16:35-17:20	Contributed Talk	B. Martin, H. Suess	Milnor algebras could be isomorphic to modular algebras
17:25-17:55	Software Demonstration	M. Brickenstein, A. Dreyer	PolyBoRi: A framework for Gröbner basis computations with Boolean polynomials

Wednesday, 27.6.2007

Time	Type	Speaker(s)/Presenter(s)	Title
09:00-09:45	Contributed Talk	G. Kemper	Separating invariants
09:50-10:05	Short Communication	A. Montes, T. Recio	Automatic discovery of geometric theorems using the MCCGS algorithm
10:10-10:40	Software Demonstration	M. Abshoff, D. Heldt	Computing approximate vanishing ideals of finite sets of points using COCOA
10:45-11:00	Discussion	J. A. Abbott	Twin-Float Arithmetic
	Coffee
11:20-12:05	Contributed Talk	A. Bruno	Power Geometry as New Mathematics
12:25	Lunch
15:30-22:30	Excursion and Social Dinner

Thursday, 28.6.2007

Time	Type	Speaker(s)/Presenter(s)	Title
09:00-10:00	Invited Talk	Michael Stoll	How to determine the set of rational points on a curve
	Coffee
10:20-11:05	Contributed Talk	H. Hubrechts	Quasi-quadratic elliptic curve point counting using rigid cohomology
11:10-11:55	Contributed Talk	C. Durvye	Evaluation Techniques for Zero-dimensional Primary Decomposition
12:00	Lunch
14:00-14:15	Short Communication	C. Gosselin, B. Moore, J. Schicho	Static balancing of parallel mechanisms
14:20-14:35	Short Communication	S. Liang, D. J. Jeffrey	The Automatic Computation of the Complete Root Classification for a Parametric Polynomial
14:40-15:25	Contributed Talk	M. Avendaño	The number of real roots of a bivariate polynomial on a line
	Coffee
15:45-16:30	Contributed Talk	S. King	Fast computation of non-modular Invariant Rings
16:35-17:20	Contributed Talk	A. Dickenstein, L. Matusevich, E. Miller	Binomial D-modules
17:25-17:55	Software Demonstration	G.-M. Greuel	Some new developements in the theory of Gröbner bases and applications to formal verification and cryptography
19:00-20:00	Contributed Talk	A. Bruno	Power Geometry as New Mathematics (2nd part)

Friday, 29.6.2007

Time	Type	Speaker(s)/Presenter(s)	Title
09:00-10:00	Invited Talk	Peter Bürgisser	The probability that a slight perturbation of a numerical analysis problem is difficult
	Coffee
10:20-11:05	Contributed Talk	C. D'Andrea, H. Hong, A. Szanto, T. Krick	Sylvester's Double Sums: the general case
11:10-11:55	Contributed Talk	S. McCallum, D. Lazard	Iterated discriminants
12:00	Lunch
14:20-14:35	Short Communication	L.-Y. Shen, E.-W. Chionh, X.-S. Gao, J. Li	Inherently Improper Parametric Supports for Unirational Varieties
14:40-15:25	Contributed Talk	I. Yengui	Suslin's lemma for elimination
	Coffee
15:45-16:30	Contributed Talk	X.-S. Gao, J. van der Hoeven, C. Yuan, G. Zhang	Characteristic Set Method for Differential-Difference Polynomial Systems
16:35-17:20	Contributed Talk	E. S. de Cabezon, Henry Wynn	Betti numbers and minimal free resolutions for multi-state system reliability bounds
17:25-17:55	Discussion	J. A. Abbott	Twin-Float Arithmetic (2nd part)

---

The Institute is named after the famous Austrian mathematician Johann Radon (1887-1956)

Medieninhaber:
Österreichische Akademie der Wissenschaften
Juristische Person öffentlichen Rechts (BGBl 569/1921 idF BGBl I 130/2003)
Dr. Ignaz Seipel-Platz 2, 1010 Wien
Diese Website dient zur Information über die wissenschaftlichen Aktivitäten der Österreichischen Akademie der Wissenschaften und setzt somit den gesetzlichen Auftrag um, die Wissenschaft in jeder Hinsicht zu fördern.

This RICAM page was made with 100% valid HTML & CSS - Send comments to Webmaster
Today's date and time is 03/21/10 - 00:26 CET and this file ( /mega2007/schedule.html ) was last modified on 07/10/07 - 15:51 CEST