5204
Comment: Add G Bard's talk title
|
← Revision 72 as of 2008-11-14 13:41:55 ⇥
7326
converted to 1.6 markup
|
Deletions are marked like this. | Additions are marked like this. |
Line 7: | Line 7: |
Please register on the [http://registration.net-resa.com/cgi-bin/WebObjects/gnetresa.woa/wa/newParticipant?idevt=281&profil=396 registration website]. | Please register on the [[http://registration.net-resa.com/cgi-bin/WebObjects/gnetresa.woa/wa/newParticipant?idevt=281&profil=396|registration website]]. |
Line 9: | Line 9: |
See the [http://www.loria.fr/~zimmerma/sd10_participants.pdf list of participants]. | See the [[http://www.loria.fr/~zimmerma/sd10_participants.pdf|list of participants]]. |
Line 24: | Line 24: |
See [http://www.loria.fr/~zimmerma/sd10_schedule.pdf the full program in pdf format]. | See [[http://www.loria.fr/~zimmerma/sd10_schedule.pdf|the full program in pdf format]]. |
Line 28: | Line 28: |
* [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] |
* [[http://www.cs.uwaterloo.ca/~astorjoh/|Arne Storjohann]]:[[/AStorjohannTalk| Algorithms for linear algebra on polynomial and integer matrices: similarities and differences]] [[attachment:Storjohann_SD10_talk.pdf]] * [[http://ljk.imag.fr/membres/Jean-Guillaume.Dumas/|Jean-Guillaume Dumas]]:[[/JGDumasTalk| Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields]] [[attachment:Dumas_SD10_talk.pdf]] |
Line 31: | Line 31: |
* Martin Albrecht: [:/MAlbrechtTalk: Matrix multiplication over GF(2) in the M4RI library] * Gregory Bard : Using Graph Theory to Control Fill-in for Sparse Matrix Reduction to RREF over Fields of non-zero characteristic * [http://www.rlmiller.org Robert Miller]: [:/RMillerTalk: An example of implementing automorphism groups: linear codes] |
* Martin Albrecht: [[/MAlbrechtTalk| Matrix multiplication over GF(2) in the M4RI library]] [[attachment:Martin_Albrecht_Matmul_M4RI.pdf]] * Gregory Bard : Using Graph Theory to Control Fill-in for Sparse Matrix Reduction to RREF over Fields of non-zero characteristic [[attachment:Bard_SD10_talk.pdf]] * [[http://www.rlmiller.org|Robert Miller]]: [[/RMillerTalk| An example of implementing automorphism groups: linear codes]] (cancelled due to illness) |
Line 36: | Line 36: |
* [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)] |
* [[http://www.warwick.ac.uk/staff/J.E.Cremona/|John Cremona]]: Elliptic Curves in Sage [[attachment:John_Cremona_talk.pdf]] This talk will give a survey of Sage's capabilities for computations with elliptic curves, including some recent developments and a wish-list of possible future developments. * [[http://perso.univ-rennes1.fr/david.lubicz/index_en.html|David Lubicz]]: [[/DavidLubiczTalk| Computing modular correspondences for abelian varieties (with Jean-Charles Faugère)]] [[attachment:David_Lubicz_talk.pdf]] |
Line 39: | Line 42: |
* 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]] [[attachment:slides_ELMRABET_sage.pdf]] |
Line 41: | Line 44: |
The purpose of the *-Combinat project is to provide an extensible toolbox for computer exploration in algebraic combinatorics, and foster code sharing between researchers in this area. We will present the history, features, and design of MuPAD-Combinat, and discuss the timeline, difficulties, but also great technical and community opportunities that arise from the ongoing port as Sage-Combinat. |
|
Line 42: | Line 51: |
* Florent Hivert and Nicolas Thiéry: *-Combinat: Sharing Algebraic Combinatorics since 2000 | * Florent Hivert and Nicolas Thiéry: [[/Combinat-Talk | *-Combinat: Sharing Algebraic Combinatorics since 2000]] |
Line 44: | Line 53: |
* Mike Hansen: Decomposable Objects and combinatorial species * Robert Miller: Partition Refinement for Classification * Franco Saliola: Posets and words in Sage-Combinat |
* Mike Hansen: Decomposable Objects and combinatorial species [[attachment:mhansen-species.pdf]] * [[http://www.rlmiller.org|Robert Miller]]: Partition Refinement for Classification [[attachment:Miller_SD10_talk.pdf]] * [[http://www-igm.univ-mlv.fr/~saliola|Franco Saliola]]: Posets and words in Sage-Combinat [[attachment:saliola-sd10-talk.pdf]] |
Line 49: | Line 59: |
* 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] |
* Carlo Traverso: [[/CarloTraversoTalk| Groebner bases, lattices and cryptography]] [[attachment:TalkTraverso.pdf]] * [[http://www.csd.uwo.ca/~eschost/|Éric Schost]]: [[/EricSchostTalk| Computing with triangular families of polynomials: an overview]] [[attachment:Sage08Eric.pdf]] |
Line 52: | Line 62: |
* B. Erocal : [:/BurcinErocalTalk: SCrypt: Symbolic computation assists algebraic cryptanalysis] * M. Brickenstein : Secrets of Singular and PolyBoRi |
* B. Erocal : [[/BurcinErocalTalk| SCrypt: Symbolic computation assists algebraic cryptanalysis]] [[attachment:erocal_scrypt_sd10.pdf]] * M. Brickenstein : Secrets of Singular and PolyBoRi [[attachment:brickenstein_secrets.pdf]] |
Line 61: | Line 71: |
* [http://www-calfor.lip6.fr/~renault/index.html Guénaël Renault]: [:/GuenaelRenaultTalk: Computation of the Triangular Representation of a Splitting Field] | * [[http://www-calfor.lip6.fr/~renault/index.html|Guénaël Renault]]: [[/GuenaelRenaultTalk| Computation of the Triangular Representation of a Splitting Field]] [[attachment:TalkRenault.pdf]] |
Line 79: | Line 89: |
=== Coding Sprint === [[/CodingSprint| Overview page]] === Dinner on Saturday === The dinner is at [[http://maps.google.com/maps?f=q&hl=en&geocode=&q=cafe+foy&sll=48.693892,6.182599&sspn=0.008342,0.022745&ie=UTF8&ll=48.693262,6.18394&spn=0.004171,0.011373&t=h&z=17&iwloc=A|grand cafe foy ]] - train 1 station cathedral, if you look into the train's direction, turn left. then: [[http://maps.google.com/maps?f=d&saddr=Rue+Saint-Georges&daddr=1,+Place+Stanislas,+54000+Nancy,+France+(Grand+Cafe+Foy)&hl=en&geocode=Fdr65gIdqmReAA%3B&mra=ls&dirflg=w&sll=48.691343,6.184273&sspn=0.004171,0.011373&ie=UTF8&t=h&z=18|click here to see how to walk from the station "Cathedrale" to the place]] (I'm not sure about the starting point, but it should be easy) |
|
Line 81: | Line 101: |
[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).] | [[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).]] |
Line 91: | Line 111: |
[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] | [[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]] |
Line 95: | Line 115: |
* [http://www.ot-nancy.fr/uk/centre_historique/index.php Finding an hotel in Nancy.] | * [[http://www.ot-nancy.fr/uk/centre_historique/index.php|Finding an hotel in Nancy.]] |
Line 97: | Line 117: |
* 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. | * 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. |
Line 100: | Line 120: |
You may be interested in the [http://cado.gforge.inria.fr/workshop/ CADO project workshop] | You may be interested in the [[http://cado.gforge.inria.fr/workshop/|CADO project workshop]] |
Line 105: | Line 125: |
* http://ljk.imag.fr/membres/Laurent.Fousse/lorraine.png * [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] |
* {{http://ljk.imag.fr/membres/Laurent.Fousse/lorraine.png}} * [[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]] |
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 registration website.
See the list of participants.
Program committee
- Michael Abshoff
- Timothy Daly
- Laurent Fousse
- Clément Pernet
- Ludovic Perret
- Paul Zimmermann
The following program is preliminary.
Program:
See the full program in pdf format.
- October 10: Linear Algebra (chair Clement Pernet)
- Invited speakers:
Arne Storjohann:Algorithms for linear algebra on polynomial and integer matrices: similarities and differences Storjohann_SD10_talk.pdf
Jean-Guillaume Dumas:Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields Dumas_SD10_talk.pdf
Martin Albrecht: Matrix multiplication over GF(2) in the M4RI library Martin_Albrecht_Matmul_M4RI.pdf
Gregory Bard : Using Graph Theory to Control Fill-in for Sparse Matrix Reduction to RREF over Fields of non-zero characteristic Bard_SD10_talk.pdf
Robert Miller: An example of implementing automorphism groups: linear codes (cancelled due to illness)
- Invited speakers:
- October 11: Elliptic Curves (chair Laurent Fousse)
- Invited speakers:
John Cremona: Elliptic Curves in Sage John_Cremona_talk.pdf
- This talk will give a survey of Sage's capabilities for computations with elliptic curves, including some recent developments and a wish-list of possible future developments.
David Lubicz: Computing modular correspondences for abelian varieties (with Jean-Charles Faugère) David_Lubicz_talk.pdf
- Invited speakers:
- October 11: Sage-Combinat (chair Nicolas Thiery) (follows the Elliptic Curves session)
- The purpose of the *-Combinat project is to provide an extensible toolbox for computer exploration in algebraic combinatorics, and foster code sharing between researchers in this area. We will present the history, features, and design of MuPAD-Combinat, and discuss the timeline, difficulties, but also great technical and community opportunities that arise from the ongoing port as Sage-Combinat.
- Invited Speakers:
Florent Hivert and Nicolas Thiéry: *-Combinat: Sharing Algebraic Combinatorics since 2000
Mike Hansen: Decomposable Objects and combinatorial species mhansen-species.pdf
Robert Miller: Partition Refinement for Classification Miller_SD10_talk.pdf
Franco Saliola: Posets and words in Sage-Combinat saliola-sd10-talk.pdf
- October 12: Groebner Bases (chair Ludovic Perret)
- Invited speakers:
Carlo Traverso: Groebner bases, lattices and cryptography TalkTraverso.pdf
Éric Schost: Computing with triangular families of polynomials: an overview Sage08Eric.pdf
B. Erocal : SCrypt: Symbolic computation assists algebraic cryptanalysis erocal_scrypt_sd10.pdf
M. Brickenstein : Secrets of Singular and PolyBoRi brickenstein_secrets.pdf
- 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
Guénaël Renault: Computation of the Triangular Representation of a Splitting Field TalkRenault.pdf
- 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.
Coding Sprint
Dinner on Saturday
The dinner is at grand cafe foy - train 1 station cathedral, if you look into the train's direction, turn left. then:
click here to see how to walk from the station "Cathedrale" to the place (I'm not sure about the starting point, but it should be easy)
Location:
Loria Coming to Loria (webpage from another event, don't be confused).
LORIA Campus Scientifique 54506 Vandoeuvre-lès-Nancy France
Accomodations
We will also coordinate a group reservation at the youth hostel: 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 CADO project workshop which will occur at the same place, October 7-9.