1540
Comment: Sponsors and support for PhD students.

← Revision 72 as of 20081114 13:41:55 ⇥
7326
converted to 1.6 markup

Deletions are marked like this.  Additions are marked like this. 
Line 4:  Line 4: 
=== Registration === Please register on the [[http://registration.netresa.com/cgibin/WebObjects/gnetresa.woa/wa/newParticipant?idevt=281&profil=396registration website]]. See the [[http://www.loria.fr/~zimmerma/sd10_participants.pdflist of participants]]. 

Line 18:  Line 24: 
See [[http://www.loria.fr/~zimmerma/sd10_schedule.pdfthe full program in pdf format]].  
Line 20:  Line 27: 
* October 11: Groebner Bases (chair Ludovic Perret) * October 12: Elliptic Curves (chair Laurent Fousse) 
Invited speakers: * [[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/JeanGuillaume.Dumas/JeanGuillaume Dumas]]:[[/JGDumasTalk Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields]] [[attachment:Dumas_SD10_talk.pdf]] Contributing speakers: * 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 Fillin for Sparse Matrix Reduction to RREF over Fields of nonzero characteristic [[attachment:Bard_SD10_talk.pdf]] * [[http://www.rlmiller.orgRobert Miller]]: [[/RMillerTalk An example of implementing automorphism groups: linear codes]] (cancelled due to illness) * October 11: Elliptic Curves (chair Laurent Fousse) Invited speakers: * [[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 wishlist of possible future developments. * [[http://perso.univrennes1.fr/david.lubicz/index_en.htmlDavid Lubicz]]: [[/DavidLubiczTalk Computing modular correspondences for abelian varieties (with JeanCharles Faugère)]] [[attachment:David_Lubicz_talk.pdf]] Contributing speakers: * Nadia El Mrabet: [[/NadiaElMrabetTalk Implementing the Weil, Tate and Ate pairings using Sage]] [[attachment:slides_ELMRABET_sage.pdf]] * October 11: SageCombinat (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 MuPADCombinat, and discuss the timeline, difficulties, but also great technical and community opportunities that arise from the ongoing port as SageCombinat. Invited Speakers: * Florent Hivert and Nicolas Thiéry: [[/CombinatTalk  *Combinat: Sharing Algebraic Combinatorics since 2000]] Contribution speakers: * Mike Hansen: Decomposable Objects and combinatorial species [[attachment:mhansenspecies.pdf]] * [[http://www.rlmiller.orgRobert Miller]]: Partition Refinement for Classification [[attachment:Miller_SD10_talk.pdf]] * [[http://wwwigm.univmlv.fr/~saliolaFranco Saliola]]: Posets and words in SageCombinat [[attachment:saliolasd10talk.pdf]] * October 12: Groebner Bases (chair Ludovic Perret) Invited speakers: * 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]] Contributing speakers: * 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]] 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 and give application examples, show their structure and explain how to exploit it. * [[http://wwwcalfor.lip6.fr/~renault/index.htmlGuénaël Renault]]: [[/GuenaelRenaultTalk Computation of the Triangular Representation of a Splitting Field]] [[attachment:TalkRenault.pdf]] 
Line 23:  Line 73: 
* October 14: SAGE Demo by Robert Bradshaw at 17h.  
Line 24:  Line 75: 
Each "talk" day (October 10 to 12) typically has 2 invited speakers, who are specialists in the corresponding domain, not necessarily already in contact with SAGE, and 3 contributed speakers, who typically describe a SAGE module (or a proposal of). 
Standard day schedule is as follows: * 09h3010h00 Arrival/registration * 10h0011h00 Invited Talk 1 * 11h0011h30 Coffee Break * 11h3012h00 Contributed Talk 1 * 12h0014h00 Lunch Break * 14h0015h00 Invited Talk 2 * 15h0015h30 Coffee Break * 15h3016h00 Contributed Talk 2 * 16h0016h30 Contributed Talk 3 The Sage Days 10 dinner will take place on the 11th. === 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=Agrand 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+SaintGeorges&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=18click 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 31:  Line 101: 
[http://www.loria.fr/presentationen Loria] [http://www.loria.fr/accessen/acceder/thewaytoloria/view?set_language=en Coming to Loria]  [[http://www.loria.fr/presentationenLoria]] [[http://cado.gforge.inria.fr/workshop/venue.htmlComing to Loria (webpage from another event, don't be confused).]] 
Line 41:  Line 111: 
[http://maps.google.fr/maps?f=q&hl=fr&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=18Google Maps]] 
Line 43:  Line 113: 
=== Accomodations === * [[http://www.otnancy.fr/uk/centre_historique/index.phpFinding 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 79. 

Line 46:  Line 125: 
[http://www.inria.fr/ INRIA] === PhD students attendance support === Thanks to funds donated by our sponsors, we are able to support attendance costs for a small number of PhD students. Interested students should apply directly per mail to Paul Zimmermann (<[email protected]>). 
* {{http://ljk.imag.fr/membres/Laurent.Fousse/lorraine.png}} * [[http://www.grandnancy.org/Communauté Urbaine du Grand Nancy]] * [[http://www.uhpnancy.fr/University Nancy 1 Henri Poincaré]] * [[http://www.inria.fr/INRIA]] * [[http://www.gdrim.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
JeanGuillaume 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 Fillin for Sparse Matrix Reduction to RREF over Fields of nonzero 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 wishlist of possible future developments.
David Lubicz: Computing modular correspondences for abelian varieties (with JeanCharles Faugère) David_Lubicz_talk.pdf
 Invited speakers:
 October 11: SageCombinat (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 MuPADCombinat, and discuss the timeline, difficulties, but also great technical and community opportunities that arise from the ongoing port as SageCombinat.
 Invited Speakers:
Florent Hivert and Nicolas Thiéry: *Combinat: Sharing Algebraic Combinatorics since 2000
Mike Hansen: Decomposable Objects and combinatorial species mhansenspecies.pdf
Robert Miller: Partition Refinement for Classification Miller_SD10_talk.pdf
Franco Saliola: Posets and words in SageCombinat saliolasd10talk.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 1315: Coding Sprints (chair Michael Abshoff)
 October 14: SAGE Demo by Robert Bradshaw at 17h.
Standard day schedule is as follows:
 09h3010h00 Arrival/registration
 10h0011h00 Invited Talk 1
 11h0011h30 Coffee Break
 11h3012h00 Contributed Talk 1
 12h0014h00 Lunch Break
 14h0015h00 Invited Talk 2
 15h0015h30 Coffee Break
 15h3016h00 Contributed Talk 2
 16h0016h30 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 VandoeuvrelèsNancy 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 79.