├── .gitignore ├── Cost ├── readme.txt ├── Software.rst └── consortium.tex ├── README.rst └── 2014-09-08-meeting.rst /.gitignore: -------------------------------------------------------------------------------- 1 | *.acn 2 | *.acr 3 | *.alg 4 | *.aux 5 | *.bbl 6 | *.blg 7 | *.dvi 8 | *.fdb_latexmk 9 | *.fls 10 | *.glg 11 | *.glo 12 | *.gls 13 | *.idx 14 | *.ilg 15 | *.ind 16 | *.ist 17 | *.lof 18 | *.log 19 | *.lot 20 | *.maf 21 | *.mtc 22 | *.mtc0 23 | *.nav 24 | *.nlo 25 | *.out 26 | *.pdfsync 27 | *.ps 28 | *.snm 29 | *.synctex.gz 30 | *.toc 31 | *.vrb 32 | *.xdy 33 | *.tdo 34 | auto 35 | *.run.xml 36 | *.deliverables 37 | *.delivs 38 | *.pdf 39 | *.doc 40 | H2020/TODO-nt.org 41 | -------------------------------------------------------------------------------- /Cost/readme.txt: -------------------------------------------------------------------------------- 1 | Please see 2 | http://www.cost.eu/participate/open_call 3 | Applications can be submitted from February 2015 (exact date to be communicated in January 2015). 4 | First collection will be on 24 March 2015. 5 | 6 | Edit (2016-07-01). From the cost website (url above): 7 | - The next collection date is tentatively set for 1 December 2016, at 12:00 CET. 8 | - The final decision regarding the approval and funding of the Action proposals 9 | collected on 25 April 2016 is expected at the end of October 2016. 10 | -------------------------------------------------------------------------------- /Cost/Software.rst: -------------------------------------------------------------------------------- 1 | - Axel 2 | http://axel.inria.fr 3 | - Cantor 4 | https://www.kde.org/applications/education/cantor 5 | - CGal 6 | http://www.cgal.org 7 | - CoCOA 8 | http://cocoa.dima.unige.it 9 | - Coq 10 | https://coq.inria.fr 11 | - FGb 12 | http://www-polsys.lip6.fr/~jcf/FGb/index.html 13 | - FLINT 14 | http://www.flintlib.org 15 | - GAP 16 | http://gap-system.org 17 | - Geogebra 18 | https://www.geogebra.org 19 | - Giac/Xcas 20 | https://www-fourier.ujf-grenoble.fr/~parisse/giac.html 21 | - Ginac 22 | http://www.ginac.de 23 | - Jupyter 24 | http://jupyter.org 25 | - LaTeX 26 | https://www.latex-project.org 27 | - Linbox 28 | http://www.linalg.org 29 | - Mathemagix 30 | http://mathemagix.org 31 | - MPIR 32 | http://mpir.org 33 | - MPFR 34 | http://www.mpfr.org 35 | - NTL 36 | http://www.shoup.net/ntl/ 37 | - Numpy 38 | http://www.numpy.org 39 | - Pari/GP 40 | http://pari.math.u-bordeaux.fr 41 | - Polymake 42 | https://polymake.org 43 | - Pynac 44 | http://pynac.org 45 | - R 46 | https://www.r-project.org 47 | - RAGlib 48 | http://www-polsys.lip6.fr/~safey/RAGLib/distrib.html 49 | - RISC 50 | https://www.risc.jku.at/people/ 51 | - RS 52 | https://who.rocq.inria.fr/Fabrice.Rouillier/software.php 53 | - SageMath 54 | https://sagemath.org 55 | - SageMathCloud 56 | https://sagemath.com 57 | - Scipy 58 | https://www.scipy.org/ 59 | - Singular 60 | https://www.singular.uni-kl.de 61 | - SURFER 62 | https://imaginary.org/program/surfer 63 | - Sympy 64 | http://www.sympy.org/ 65 | - TeXmacs 66 | http://texmacs.org/ 67 | - Wims 68 | http://wimsedu.info 69 | 70 | -------------------------------------------------------------------------------- /README.rst: -------------------------------------------------------------------------------- 1 | European grant applications around collaborative software development for mathematics 2 | ===================================================================================== 3 | 4 | NEWS 5 | ==== 6 | 7 | - 2015/05/20: `OpenDreamKit `_'s repository (formerly H2020/) moved to https://github.com/OpenDreamKit/OpenDreamKit 8 | - 2015/05/20: `OpenDreamKit `_'s proposal accepted! 9 | - 2015/01/14: `OpenDreamKit `_'s proposal submitted! 10 | 11 | 12 | About this project 13 | ================== 14 | 15 | The purpose of this project is to explore and pursue grant 16 | applications for the ecosystem of open source computational and 17 | database software for pure mathematics and applications (GAP, LMFDB, 18 | Linbox, Pari/GP, Sage, Singular, ...), in order to get funding in 19 | Europe for: 20 | 21 | - Full time developers, students, etc working on those general purpose 22 | technical tasks that don't fit well in the "developed by users for 23 | users" model and thus can't be funded indirectly through usual 24 | research grants. 25 | 26 | - Workshops (e.g. Sage Days, Pari Days, joint Sage/Singular days, ...) 27 | for development and training, smaller developers meetings, training 28 | sessions, travel, visits, ... 29 | 30 | - Hardware and computational resources (e.g. cloud), 31 | 32 | - Subcontracting to other projects, 33 | 34 | - Buying teaching relief, partial funding of senior researchers to 35 | work on software aspects, ... 36 | 37 | - Postdocs with e.g. strong computational or software design research 38 | topics, 39 | 40 | - Fostering collaboration and symbiosis within and between software 41 | components and developer communities. 42 | 43 | Proposal accepted 44 | ================= 45 | 46 | `OpenDreamKit: Open Digital Research Environment Toolkit for the Advancement of 47 | Mathematics `_: a European H2020 application for the call `EINFRA-9: e-Infrastructure for Virtual Research Environment 48 | `_. 49 | 50 | In thinking 51 | =========== 52 | 53 | A `COST network `_ targeting a large `consortium 54 | `_ and focused on community building around open 55 | source computational math software. This is a recurrent call from the 56 | EU, and there is a good opportunity here. What's missing at this point 57 | is someone to take the lead. Volunteers? 58 | 59 | Join! 60 | ----- 61 | 62 | If you are tentatively interested in participating, in particular for 63 | the Cost proposal, please join the `mailing list 64 | `_, 65 | and send an e-mail there with: 66 | 67 | - Name, e-mail 68 | - Status, institute 69 | - trac & github account if you have them 70 | - Whatever ideas you may have for the proposals 71 | 72 | We will add you to the collaborators on this github project so that 73 | you can start editing the information. In particular, check and edit 74 | the information in the `COST consortium `_ 75 | .. and `target feature `_ files. 76 | 77 | You are welcome to explore other opportunities for grant applications, 78 | centered for example on teaching, ... 79 | 80 | .. Files 81 | .. ----- 82 | 83 | .. - `Current draft of H2020 proposal `_ 84 | 85 | .. - `Information about the H2020 call and ToDo list `_ 86 | .. This is best viewed/edited using org-mode 87 | 88 | .. - `Tentative consortium for the COST network `_ 89 | 90 | .. - `Potential target features and actions `_. 91 | 92 | .. - `Original thread on sage-devel `_ 93 | 94 | .. - A draft of `big picture `_ 95 | 96 | .. - `A draft of mind map `_ 97 | .. (`Sources `_ to be edited with `freeplane `_) 98 | -------------------------------------------------------------------------------- /2014-09-08-meeting.rst: -------------------------------------------------------------------------------- 1 | Preparatory meeting for the Sagemath European H2020 grant application 2 | ===================================================================== 3 | 4 | Dates 5 | ===== 6 | 7 | September 08 and 09 of 2014 8 | 9 | Purpose of the meeting 10 | ====================== 11 | 12 | Brainstorm on the precise scope and consortium for our upcoming 13 | `Sagemath European H2020 grant application 14 | `_, start writing the 15 | proposal, and split the work. 16 | 17 | Location 18 | ======== 19 | 20 | Salle du 3ème, Bâtiment 425 21 | `Laboratoire de Mathématiques d'Orsay `_ 22 | Université Paris Sud, Orsay. 23 | 24 | `How to come `_ (roughly 45 25 | minutes by RER from downtown Paris). 26 | 27 | Participants 28 | ============ 29 | 30 | - Miguel Angel Marco-Buzunariz (Profesor ayudante doctor), Universidad de Zaragoza 31 | 32 | - Samuel Lelièvre (maître de conférences), Labo math Orsay, U Paris Sud 33 | 34 | - Éric Gourgoulhon (DR CNRS), Laboratoire Univers et Théories, CNRS / Observatoire de Paris, Meudon 35 | 36 | - Dmitrii Pasechnik (senior research fellow), University of Oxford 37 | 38 | - Luca de Feo (Maître de Conférences), PRiSM, Université de Versailles 39 | 40 | - Nicolas M. Thiéry (Prof), LRI, Université Paris Sud 41 | 42 | - Florent Hivert (Prof), LRI, Université Paris Sud 43 | 44 | - Thierry Monteil (CNRS), LIRMM, Montpellier 45 | 46 | - Stephen Linton (Prof), University of St. Andrews 47 | 48 | - Marc Mezzarobba (CR CNRS), LIP6 Université Pierre et Marie Curie 49 | 50 | - Jean-Pierre Flori, `ANSSI `_ 51 | 52 | - Simon King (postdoctoral research fellow), Friedrich-Schiller-Universität Jena 53 | 54 | - Viviane Pons (Maître de Conférences), LRI, Université Paris Sud 55 | 56 | - Mohamed Barakat, Universität Kaiserslautern 57 | 58 | - Eugénia Shadlova, European Affairs Officer, Université Paris Sud 59 | 60 | - Marcin Kostur (Prof), University of Silesia 61 | 62 | Tentative program 63 | ================= 64 | 65 | Monday 66 | ------ 67 | 68 | - 9:30 coffee 69 | - 10:00 Welcome and word of introduction (Nicolas) 70 | - 10:15 presentation of the call by Eugénia Shadlova (European Affairs Officer in Orsay) 71 | - 11:00 Going round the table, and gathering the needs of the community 72 | - 14:00 Lunch 73 | - 15:00- Brainstorm on the proper proposal configuration, work packages 74 | 75 | - Evening: dinner at the Gramophone 76 | 77 | Tuesday 78 | ------- 79 | 80 | - 9:30- More brainstorm, refinement of the title, mission statement, 81 | consortium, work packages, ... 82 | 83 | Report 84 | ====== 85 | 86 | The meeting started by collating a list of the `needs `_ of 87 | the participants and the communities they represented (Sage, GAP, 88 | Singular, Pari), and where funding could help tackle those needs. It 89 | was felt strongly that all of these might not fit well into the H2020 90 | call in question, and it might be better to split the effort, namely, 91 | to simultaneously apply for the H2020 VRE grant, and for the `COST 92 | network grant `_. 93 | 94 | Proposed COST network 95 | --------------------- 96 | 97 | The latter shall meet "small" needs, such as funding for travel, 98 | visits, Sage days, other meetings quite well, and allow to cover a 99 | wider network of EU sites. 100 | 101 | Tentatively the proposal is going to be prepared by Dima and Marco. 102 | 103 | 104 | H2020 VRE grant application 105 | --------------------------- 106 | 107 | It emerged that Nicolas/community vision for the proposal was hard to 108 | match with the H2020 VRE grant call, because it was too focused on the 109 | concrete implementation of a Virtual Research Environment, when the 110 | call was about doing research about such environments. On the other 111 | hand, Steve's vision of an application was much more fitting into the 112 | call, being broader and more abstract; but also more fuzzy, and with a 113 | more questionable adequacy with the team and its needs. We worked out 114 | a `merge `_ of the two visions. 115 | 116 | Two important points of departure are: 117 | 118 | - introduction of a *social* component into the project, investigating 119 | how the interaction within open-source collaborative development of 120 | mathematical software happens. The corresponding work packages are to be 121 | coordinated by `Ursula Martin `_ (Oxford). 122 | - "abstracting" the work packages, making them less Sage technicalities- 123 | centric, and more fitting into the grant call. 124 | 125 | The consortium structure was discussed and roughly decided upon (see 126 | below). It will be a relatively small group of sites, with more than 127 | one active person per site, and substantial project-related activities 128 | going. Part of the rationale for this is the significant 129 | administrative overhead imposed on each site. Given the widening in 130 | scope, Nicolas and Steve agreed to share the burden of the lead, with 131 | Steve being administratively the official overall lead, while Nicolas 132 | would focus more on leading the concrete work packages of the grant. 133 | 134 | 135 | Further, we worked on `punchlines `_ for the proposal, 136 | a tentative title was chosen, and a draft mission statement written. 137 | See the `draft of proposal `_. 138 | 139 | 140 | The big picture 141 | --------------- 142 | 143 | `A draft of big picture for Virtual Research Environment proposed by the project `_ 144 | 145 | Consortium 146 | ---------- 147 | 148 | - St Andrews (coordinator) 149 | Steve 150 | GAP / ... 151 | 152 | - Paris Sud / Paris Saclay 153 | Nicolas Thiéry/Viviane Pons 154 | 155 | - Logilab (with support from the Systematic cluster) 156 | (contact: Nicolas) 157 | 158 | - Bordeaux: Pari / Sage 159 | Lead: Vincent Delecroix 160 | 161 | - Kaiserslautern? (Singular) 162 | Nicolas: visit in early october 163 | 164 | - Oxford (Sage / Social aspects / ...) 165 | Ursula Martin? Otherwise Dima 166 | (contact: Dima/Steve) 167 | 168 | - Warwick (LMFDB, ...) 169 | John 170 | 171 | - University of Washington at Seattle 172 | (Sage Math Cloud) 173 | (contact: Steve) 174 | 175 | - University of Silesia 176 | Marcin 177 | Training, physics, IPython, cloud, cuda, ... 178 | 179 | - RISC? 180 | (leaders in computer algebra, theorema??? / ...) 181 | Manuel Kauers?, Veronika Pillwein? 182 | (contact: Nicolas) 183 | 184 | Participants: Martin Rubey 185 | 186 | - Ghent? 187 | Strong experience with massive teaching with Sage 188 | 189 | - Cambridge University Press? 190 | 191 | - IPython 192 | (contact: Nicolas) 193 | -------------------------------------------------------------------------------- /Cost/consortium.tex: -------------------------------------------------------------------------------- 1 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2 | % Consortium for the COST network 3 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 4 | 5 | 6 | \newcommand{\CS}{computer science} 7 | \newcommand{\MATH}{mathematics} 8 | 9 | \section*{Spain} 10 | 11 | \subsection*{Universidad de Zaragoza} 12 | \begin{itemize} 13 | \item Miguel Angel Marco Buzunariz (Profesor ayudante doctor en la universidad de Zaragoza) 14 | %trac: mmarco, email: mmarco at unizar.es or miguel at math.uni-hannover.de 15 | %github: miguelmarco 16 | %Main contributions in Sage: 17 | % - Free and finitely presented groups 18 | % - Braid groups 19 | % - GSoc 2013 mentor of Veronica Suaste (coding theory) 20 | % - GSoc 2014 mentor of Amit Jamagadni (knot theory) 21 | % - Graded commutative differential algebras 22 | %Research interests: 23 | % - Singularity theory 24 | % - Low dimensional topology 25 | \end{itemize} 26 | 27 | \section*{Germany} 28 | 29 | \subsection{Friedrich--Schiller--Universität Jena} 30 | \begin{itemize} 31 | \item Simon King (Postdoc in department of \MATH and \CS) 32 | % trac: SimonKing 33 | % github: simon-king-jena 34 | % http://users.minet.uni-jena.de/~king/ 35 | % email: simon dot king at uni-jena dot de 36 | % Core developer in Sage (Coercion, categories, Groebner bases, group cohomology) 37 | % Current research topics: 38 | % - Modular cohomology of finite groups 39 | % - Standard basis theory for path algebra quotients 40 | % Previous research topics: 41 | % - Non-modular invariant theory of finite groups 42 | % - Algebraic and geometric topology 43 | % - Oriented matroids 44 | \end{itemize} 45 | 46 | \section*{Austria} 47 | 48 | \begin{itemize} 49 | \item Manuel Kauers (RISC Linz) 50 | \item Emil Widmann (Salzburg) 51 | \item Martin Rubey (Technische Universität Wien) 52 | \end{itemize} 53 | 54 | \section*{Switzerland} 55 | \subsection*{Universität Zurich} 56 | \begin{itemize} 57 | \item Paul-Olivier Dehaye (SNSF Ass. Professor) 58 | %pdehaye paul-olivier.dehaye at math.uzh.ch 59 | \item Valentin Feray (Ass. Professor, \MATH) 60 | %http://user.math.uzh.ch/feray/ valentin.feray at math.uzh.ch 61 | \end{itemize} 62 | \subsection*{ETH Zurich} 63 | \begin{itemize} 64 | \item Martin Raum (ETH Postdoctoral Fellow, ETH Zürich) 65 | % martin@raum-brothers.eu, www.raum-brothers.eu/martin 66 | % trac: mraum, github: martinra 67 | % (supported by Marie Curie COFUND). 68 | % At the moment is seems like I will start in September at MPIM in Bonn. 69 | \end{itemize} 70 | 71 | \section*{Great Britain} 72 | \subsection*{University of Warwick, England} 73 | \begin{itemize} 74 | \item Bruce Westbury (Associate Fellow) 75 | %bruce bruce.westbury at gmail.com Bruce.Westbury at warwick.ac.uk 76 | \item John Cremona (Professor) 77 | \item Peter Bruin (Assistant Professor) 78 | \end{itemize} 79 | 80 | \subsection*{University of Oxford, England} 81 | \begin{itemize} 82 | \item Dmitrii Pasechnik (Senior Research Fellow, \CS) 83 | % http://www.cs.ox.ac.uk/people/dmitrii.pasechnik/ 84 | % dimpase, dimpase 85 | \item Volker Braun (postdoc at the Mathematical Institute) 86 | \end{itemize} 87 | 88 | \subsection*{Cardiff University, Wales} 89 | \begin{itemize} 90 | \item Vince Knight (Lecturer) 91 | % github: drvinceknight 92 | % web: vincent-knight.com 93 | \end{itemize} 94 | 95 | \subsection*{University of St. Andrews, Scotland} 96 | GAP Group people (?) 97 | 98 | \section*{Belgium} 99 | 100 | \begin{itemize} 101 | \item Jeroen Demeyer (postdoc, Dept. of Mathematics, Ghent University) 102 | \item other people using Sage for teaching at Ghent University (?) 103 | \end{itemize} 104 | 105 | \section*{The Netherlands} 106 | 107 | \begin{itemize} 108 | \item Rudi Pendavingh (Assistant Professor, Dept. of Mathematics, TU Eindhoven) 109 | % a major contributor to Sage matroids code 110 | \end{itemize} 111 | 112 | \section*{Québec} 113 | 114 | After checking, members of the CNRS working at CRM could qualify to 115 | participate to the proposal. But alas this is not the situation of our 116 | friends at LACIM. 117 | 118 | \section*{France} 119 | 120 | \subsection*{Greater Paris region: LRI (UMR 8623), LMO (UMR 8628), LIGM 121 | (UMR 8049), LIP6 (UMR 7606), LIPN (UMR 7030), LUTH (UMR 8102), PRiSM (UMR 8144)} 122 | 123 | %\subsection*{Université Paris Sud: LRI (%Laboratoire de Recherche en Informatique, 124 | % UMR 8623), LMO (%Laboratoire de Mathématiques d'Orsay, 125 | % UMR 8628)} 126 | 127 | \begin{itemize} 128 | \item Nicolas M. Thiéry (Professor, \CS, 80\%): Combinatorial 129 | representation theory, core dev. 130 | % Lead developer of Sage-Combinat since 2000%:\\%, regular organizer of Sage events 131 | %Combinatorial representation theory (monoids, root systems, 132 | %crystals, ...), random walks, software design, coordination, core 133 | %development and category infrastructure. 134 | \item Florent Hivert (Professor, \CS, 30\%): Hopf algebras, operads, 135 | trees, parallelism% Lead developer of Sage-Combinat since 2000%:\\ 136 | %Hopf algebras, operads, parallelism, core development. 137 | \item Nathann Cohen (CR CNRS, section 6, 30\%): Graph theory%Major Sage contributor since 2009%:\\ 138 | %Graph theory. 139 | \item Aladin Virmaux (PhD student, \MATH/\CS, 80\%)\\ 140 | Topics: representation theory of towers of monoids 141 | \item Jean-Baptiste Priez (PhD student, \CS, 80\%) 142 | % Contributor to Sage since 2011.\\ 143 | % Hopf algebras, parallelism. 144 | % \subsection*{Laboratoire de Mathématique d'Orsay, UMR 8628, Université Paris Sud} 145 | \item Samuel Lelièvre (Assistant Professor, \MATH, 25\%): %, contributor since \TODO{...}:\\ 146 | Translation surfaces%. 147 | % samuel.lelievre@u-psud.fr trac-sage: slelievre github: slel 148 | %Status, institute: 149 | % Maitre de conferences 150 | % Laboratoire de mathematique d'Orsay 151 | % UMR 8628 Cnrs / Universite Paris-Sud 152 | 153 | 154 | %\end{itemize} 155 | 156 | %\subsection*{Université Paris Est: LIGM (%Laboratoire d'informatique Gaspard Monge, 157 | % UMR 8049)} 158 | 159 | %\begin{itemize} 160 | \item Nicolas Borie (Ass. professor, \CS, 50\%): Invariant theory, 161 | exhaustive generation%: Regular contributor since 2008%:\\ 162 | %Algebraic combinatorics, computer algebra, invariant theory, 163 | %exhaustive generation up to isomorphism 164 | \item Jean-Yves Thibon (Professor, \CS, 20\%): 165 | %Thème(s) de recherche potentiel: Combinatoire algébrique 166 | Hopf algebras 167 | %\end{itemize} 168 | 169 | %\subsection*{LIP6 (UMR 7606), Université Pierre et Marie Curie, Paris 6} 170 | 171 | %\begin{itemize} 172 | \item Genitrini Antoine (Ass. Professor, \CS, 15\%): %\\ 173 | Analytic combinatorics, random generation 174 | \item Marc Mezzarobba (CR CNRS, section 6, 10-20\%): %Regular contributor since 2009%:\\ 175 | % LIP6 176 | %Numerical evaluation of special functions, (univariate) Ore algebras. 177 | Special functions, Ore algebras 178 | \item Annick Valibouze (Professor, \CS, 60\%): % entre 50\% et 90\% (ça dépendra de ce que tu retiens):\\ 179 | Invariant theory, %symmetric functions, 180 | constructive Galois theory 181 | %\end{itemize} 182 | 183 | % \subsection*{LIPN, Université Paris 13} 184 | 185 | % \begin{itemize} 186 | %\item Cyril Banderier (CR CNRS, section 7, 30\%): Analytic combinatorics, random walks%\\ 187 | % analytic combinatorics, random walks, symbolic computation 188 | % (asymptotic, limit laws of rational, algebraic or holonomic functions) 189 | % Language theory (context-free, \TODO{grammaires d'attributs}) 190 | % \end{itemize} 191 | 192 | %\subsection*{Université Montpellier 2: LIRMM (UMR 5506)} 193 | 194 | %\begin{itemize} 195 | \item Thierry Monteil (CR CNRS, section 41, 30\%): %\\ 196 | %Combinatorics on 197 | %words, 198 | Symbolic dynamics, discrete 199 | geometry%, ...%, tilings%, representation of dynamical systems by 200 | %Bratteli diagrams. 201 | %\end{itemize} 202 | 203 | %\subsection*{Observatoire de Paris, Université Paris Diderot, Meudon: LUTH (%Laboratoire Univers et Théories 204 | % UMR 8102)} 205 | 206 | %\begin{itemize} 207 | \item Eric Gourgoulhon (DR CNRS, section 17, 20\%): %\\ 208 | Differential geometry for physics% general relativity and quantum field theory. 209 | \item Luca De Feo (Ass. Professor, \CS, Université de Versailles - Saint-Quentin) 210 | % luca, luca, luca.defeo at polytechnique.edu 211 | \end{itemize} 212 | 213 | 214 | % \subsection*{Montréal: CRM/CNRS (UMI 3457), Québec, Canada}% } 215 | % \begin{itemize} 216 | % \item Franco Saliola (professor, 40\%): Combinatorial representation theory, Hopf algebras%, 217 | % %, major Sage contributor since 2008%:\\ 218 | % %Posets, words, representation theory, Hopf algebras, Knutson-Tao 219 | % %puzzles, ... 220 | % %(posets, words, irreducible representations of the symmetric groups; combinatorial Hopf algebras (QSym/NSym); Knutson-Tao puzzles:\\ 221 | % %Representation theory of finite dimensional algebras, finite monoids, and groups; combinatorial Hopf algebras.\\ 222 | % %Topics in your research that would get impacted: essentially every aspect of my research program since computer exploration plays a central rule in my methodology. 223 | % \item Srecko Brlek (professor, 20\%): Combinatorics on words 224 | % \item Alain Goupil (professor, 20\%): Algebraic and enumerative combinatorics 225 | % \item Alexandre Blondin-Massé (associate professor, 20\%): 226 | % Words, tilings, discrete geometry 227 | % \end{itemize} 228 | 229 | %\vspace{-1.2ex} 230 | \subsection*{Université de Rouen: LITIS (EA 4108)} 231 | 232 | %Université de Rouen Avenue de l’Université - BP 8 233 | %76801 Saint-Étienne-du-Rouvray Cedex 234 | 235 | \begin{itemize} 236 | \item Jean-Gabriel Luque (professor, \CS, 25\%): Symmetric functions 237 | et al, 238 | %and generalizations, %classical 239 | invariant theory%, hyperdeterminants. 240 | 241 | % Thème(s) de recherche potentiel: Combinatoire des polynômes de Macdonald, Hyperdeterminants et invariants des hypermatrices 242 | % Thème(s) de développement possible: Développement d'un outil permettant d'engendrer des polynômes de Macdonald et leurs généralisations 243 | % à partir du graphe de Yang-Baxter. 244 | % Développer des outils pour la théorie des invariants. Combinatoire de l'hyperdéterminant. 245 | % Les fonctions génératrices de Dirichlet? 246 | % \item Deneufchâtel Matthieu (ATER, section 27, 30\%)\\ 247 | % Lie algebras, non commutative symmetric functions 248 | % \item Ali Chouria (doctorant 2ème année, section 27, 20\%)\\ 249 | % Combinatorial Hopf algebras, symmetric functions, operads 250 | \item Eric Laugerotte (Ass. professor, \CS, 30\%): %, contributor to \textsc{MuPAD-Combinat}:\\ 251 | Automatons, tree automatons%. 252 | \item Olivier Mallet (Ass. professor, \CS, 30 \%): %\\ 253 | %$k$-shapes, polycubes, 254 | Combinatorics, Dirichlet series, Hopf algebras 255 | \end{itemize} 256 | % Jean-Paul 257 | 258 | \vspace{-1.2ex} 259 | \subsection*{Université Bordeaux: LaBRI (%Laboratoire Bordelais de Recherche en informatique, 260 | (UMR 5800) et IMB (UMR 5251)} 261 | 262 | \begin{itemize} 263 | \item Jean-Christophe Aval (CR CNRS, section 27, 15\%): %\\ 264 | Hopf algebras, enum. combinatorics%: permutations, trees, paths, tableaux 265 | %Algebraic combinatorics: (quasi-)symmetric functions, Hopf algebras\\ 266 | %Enumerative combinatorics: permutations, trees, paths, tableaux) 267 | \item Adrien Boussicault (Ass. professor, section 27, 30\%): %\\ 268 | Symmetric functions, tree-like tableaux, %random walks on a graph, 269 | %hyperdeterminants. 270 | \item Vincent Delecroix (CR CNRS, section 41, 20\%): Words, symbolic dynamics 271 | %random generation % Regular contributor since 2009%: \\ 272 | %Combinatorics on words and symbolic dynamic, random generation, 273 | %scaling limits. 274 | \item Karim Belabas (professor, 30\%): number theory, PARI 275 | \item Bill Allombert (research ingineer, 30\%): number theory, PARI 276 | \end{itemize} 277 | 278 | \vspace{-1.2ex} 279 | \subsection*{Université Lyon I: ICJ (%Institut Camille Jordan, 280 | UMR 5208)} 281 | \begin{itemize} 282 | \item Frédéric Chapoton (CR CNRS, \MATH, 15\%): % Regular contributor since 2003%:\\ 283 | Trees, Species, Operads, Hopf algebras 284 | %Those are important for my research on tree-indexed series and 285 | %operads. 286 | \item Philippe Malbos (Ass. professor, \MATH, 15\%): %\\ 287 | Representation theory, %of Monoids, 288 | rewriting systems%, syzygies. 289 | \end{itemize} 290 | 291 | % \subsection*{LIAFA, Université Paris-Diderot} 292 | 293 | % \begin{itemize} 294 | % \item Sébastien Labbé (Postdoctorant CRSNG du Canada, 30\%)\\ 295 | % Combinatorics on words and symbolic dynamic, discrete 296 | % geometry, algorithms on multidimensional continuous fractions 297 | % \end{itemize} 298 | 299 | \vspace{-1.2ex} 300 | \subsection*{Université Aix-Marseille 1: LATP (UMR 6632)} 301 | \begin{itemize} 302 | \item Thierry Coulbois (Ass. professor, \MATH, 20\%): 303 | Geometry, dynamics, and algos on free groups 304 | %\\ 305 | %Géométrie des groupes, dynamique, problèmes algorithmiques des 306 | %groupes libres. 307 | \end{itemize} 308 | 309 | \subsection*{Other} 310 | 311 | \begin{itemize} 312 | \item Julien Puydt (Higher education teacher) 313 | %I'm willing to help, but that will only be voluntary work in my spare 314 | %time: I'm not only a teacher in CPGE, I'm also detached to the 315 | %ministry of defense, so there's no way I can be replaced, take an 316 | %actual official position. 317 | \end{itemize} 318 | --------------------------------------------------------------------------------