4180
Comment: Remove obsolete things.
|
4695
Link to program in pdf.
|
Deletions are marked like this. | Additions are marked like this. |
Line 22: | Line 22: |
See [http://www.loria.fr/~zimmerma/sd10_schedule.pdf the full program in pdf format]. |
|
Line 24: | Line 26: |
* [http://www.cs.uwaterloo.ca/~astorjoh/ Arne Storjohann] | * [http://www.cs.uwaterloo.ca/~astorjoh/ Arne Storjohann]:[:/AStorjohannTalk: Algorithms for linear algebra on polynomial and integer matrices: similarities and differences] |
Line 27: | Line 29: |
* Martin Albrecht: [:/MAlbrechtTalk: Matrix multiplication over GF(2) and the M4RI library] | * Martin Albrecht: [:/MAlbrechtTalk: Matrix multiplication over GF(2) in the M4RI library] |
Line 30: | Line 32: |
* October 11: Elliptic Curves (chair Laurent Fousse) | * October 11: Elliptic Curves (chair Laurent Fousse) and SAGE-combinat (chair Nicolas Thiery) |
Line 35: | Line 37: |
* Nadia El Mrabet: [:/NadiaElMrabetTalk: Implementing the Weil, Tate and Ate pairings using SAGE] | * Nadia El Mrabet: [:/NadiaElMrabetTalk: Implementing the Weil, Tate and Ate pairings using Sage] The Elliptic Curves session will be followed by the SAGE-combinat session, starting at 15h30. |
Line 39: | Line 42: |
* [http://www.csd.uwo.ca/~eschost/ Éric Schost]: Computing with triangular families of polynomials: an overview | * [http://www.csd.uwo.ca/~eschost/ Éric Schost]: [:/EricSchostTalk: Computing with triangular families of polynomials: an overview] |
Line 41: | Line 44: |
* B. Erocal : SCrypt: Using Symbolic Computation to Bridge the Gap Between Algebra and Cryptography | * B. Erocal : [:/BurcinErocalTalk: SCrypt: Symbolic computation assists algebraic cryptanalysis] |
Line 50: | Line 53: |
* [http://www-calfor.lip6.fr/~renault/index.html G. Renault] | * [http://www-calfor.lip6.fr/~renault/index.html Guénaël Renault]: [:/GuenaelRenaultTalk: Computation of the Triangular Representation of a Splitting Field] |
Line 52: | Line 55: |
* October 14: SAGE Demo by Robert Bradshaw at 17h. | |
Line 65: | Line 69: |
The SAGE Days 10 dinner will take place on the 11th. | The Sage Days 10 dinner will take place on the 11th. |
Sage days 10 in Nancy (France)
October 10 to 15, 2008 at the Lorraine Laboratory of IT Research and its Applications (Loria)
Registration
Please register on the [http://registration.net-resa.com/cgi-bin/WebObjects/gnetresa.woa/wa/newParticipant?idevt=281&profil=396 registration website].
Program committee
- Michael Abshoff
- Timothy Daly
- Laurent Fousse
- Clément Pernet
- Ludovic Perret
- Paul Zimmermann
The following program is preliminary.
Program:
See [http://www.loria.fr/~zimmerma/sd10_schedule.pdf the full program in pdf format].
- October 10: Linear Algebra (chair Clement Pernet)
- Invited speakers:
[http://www.cs.uwaterloo.ca/~astorjoh/ Arne Storjohann]:[:/AStorjohannTalk: Algorithms for linear algebra on polynomial and integer matrices: similarities and differences]
[http://ljk.imag.fr/membres/Jean-Guillaume.Dumas/ Jean-Guillaume Dumas]:[:/JGDumasTalk: Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields]
- Martin Albrecht: [:/MAlbrechtTalk: Matrix multiplication over GF(2) in the M4RI library]
- Gregory Bard
[http://www.rlmiller.org Robert Miller]: [:/RMillerTalk: An example of implementing automorphism groups: linear codes]
- Invited speakers:
- October 11: Elliptic Curves (chair Laurent Fousse) and SAGE-combinat (chair Nicolas Thiery)
- Invited speakers:
[http://www.warwick.ac.uk/staff/J.E.Cremona/ John Cremona]: Elliptic Curves in Sage
[http://perso.univ-rennes1.fr/david.lubicz/index_en.html David Lubicz]: [:/DavidLubiczTalk: Computing modular correspondences for abelian varieties (with Jean-Charles Faugère)]
Nadia El Mrabet: [:/NadiaElMrabetTalk: Implementing the Weil, Tate and Ate pairings using Sage]
- Invited speakers:
- October 12: Groebner Bases (chair Ludovic Perret)
- Invited speakers:
Carlo Traverso: [:/CarloTraversoTalk: Groebner bases, lattices and cryptography]
[http://www.csd.uwo.ca/~eschost/ Éric Schost]: [:/EricSchostTalk: Computing with triangular families of polynomials: an overview]
B. Erocal : [:/BurcinErocalTalk: SCrypt: Symbolic computation assists algebraic cryptanalysis]
M. Brickenstein : Secrets of Singular and PolyBoRi
- This talk presents techniques for Gröbner bases calculations implemented in the computer algebra system Singular and the
PolyBoRi framework. I will consider
- data structures
- algorithms
- This talk presents techniques for Gröbner bases calculations implemented in the computer algebra system Singular and the
[http://www-calfor.lip6.fr/~renault/index.html Guénaël Renault]: [:/GuenaelRenaultTalk: Computation of the Triangular Representation of a Splitting Field]
- Invited speakers:
- October 13-15: Coding Sprints (chair Michael Abshoff)
- October 14: SAGE Demo by Robert Bradshaw at 17h.
Standard day schedule is as follows:
- 09h30-10h00 Arrival/registration
- 10h00-11h00 Invited Talk 1
- 11h00-11h30 Coffee Break
- 11h30-12h00 Contributed Talk 1
- 12h00-14h00 Lunch Break
- 14h00-15h00 Invited Talk 2
- 15h00-15h30 Coffee Break
- 15h30-16h00 Contributed Talk 2
- 16h00-16h30 Contributed Talk 3
The Sage Days 10 dinner will take place on the 11th.
Location:
[http://www.loria.fr/presentation-en Loria] [http://cado.gforge.inria.fr/workshop/venue.html Coming to Loria (webpage from another event, don't be confused).]
LORIA Campus Scientifique 54506 Vandoeuvre-lès-Nancy France
[http://maps.google.fr/maps?f=q&hl=en&geocode=&ie=UTF8&ll=48.665497,6.157295&spn=0.002643,0.00501&t=h&z=18 Google Maps]
Accomodations
[http://www.ot-nancy.fr/uk/centre_historique/index.php Finding an hotel in Nancy.]
We will also coordinate a group reservation at the youth hostel: [http://www.fuaj.org/Nancy# Un petit coin de paradis]. Sign up in the ["Days 10 Youth Hostel Page"] if you're interested.
Close events
You may be interested in the [http://cado.gforge.inria.fr/workshop/ CADO project workshop] which will occur at the same place, October 7-9.
Sponsors
[http://www.grand-nancy.org/ Communauté Urbaine du Grand Nancy]
[http://www.uhp-nancy.fr/ University Nancy 1 Henri Poincaré]
[http://www.inria.fr/ INRIA]
[http://www.gdr-im.fr/ GDR IM]