- Formaliser, ou aider des chercheurs à formaliser un problème scientifique, pour sa modélisation, sa représentation, et son traitement Choisir les moyens logiciels et matériels, en tenant compte de leurs performances et de leur pertinence dans le cadre d’un problème donné ou d’un projet de recherche.
- Participer au développement des logiciels et de leur portage sur les principales architectures et systèmes d'exploitation.
- Mettre en œuvre des systèmes automatiques pour tester les logiciels et les distribuer.
- Conduire un projet technique qui concourt à la résolution d’une problématique scientifique dans ses dimensions techniques, humaines et administratives
- Pour l’équipe MAX : concevoir, développer ou adapter des méthodes de calcul formel (algèbre) et de calcul numérique certifié (analyse), symbolique, résolution de système d'équations différentielles explicites ou implicites.
- Pour l’équipe HIPERCOM : maintenir et contribuer au développement d’outils logiciels de l’équipe. Maintenir, documenter du code informatique en utilisant les outils modernes de gestion de partage et de mise à disposition.
- Assurer une veille technologique sur l’évolution des architectures matérielles, des systèmes, et des concepts associés
- Assurer une veille scientifique sur l’évolution des concepts et des méthodes dans les domaines d’application
- S’impliquer dans un réseau de compétence
- Former et assurer le transfert des connaissances et des savoir-faire : participer à la formation des utilisateurs, diffuser et valoriser les méthodes et outils développés
- Participer au choix, à l’acquisition, et à l’exploitation de calculateurs haute performance
- Encadrer et animer une équipe d’ingénieurs et techniciens
- Représenter son organisme auprès de différents publics nationaux ou internationaux
- Pour l’intégration dans MAX : Concevoir, développer ou adapter des méthodes d’analyse: calcul numérique certifié, symbolique, résolution de système d'équations différentielles explicites ou implicites.
- Connaissance approfondie des techniques de programmation et d’optimisation
- Connaissance générale des architectures des ordinateurs, des systèmes distribués et des systèmes d’exploitation
- En liens avec l’équipe MAX :
- Connaissances en mathématiques appliquées, principalement en algèbre et en analyse numérique certifiée.
- Connaissance générale de bibliothèques de programmes de calcul numérique et formel
- Connaissance des domaines d’utilisation du calcul symbolique et numérique, dans la recherche comme dans les domaines techniques industriels
- Intégrer dans ses activités les évolutions des méthodes informatiques et mathématiques, et de la discipline d’application
- Maîtriser des langages de programmation, dont le langage C++ Travailler en interaction avec une ou plusieurs équipes de recherche Maîtriser des méthodologies de conduite de projet
- Pour l’équipe MAX : Connaître les techniques algorithmiques élémentaires sur les objets de base comme les polynômes, les séries, les matrices etc ...
- Anglais : Expression écrite et orale : niveau 2
[Infolix] Full Professor Position of Computer Science at Ecole Polytechnique & LIX
Ecole Polytechnique is hiring a full professor of computer science.
The applicants should be scientists recognized at the highest
international level. They will join the computer science laboratory
at Ecole Polytechnique (LIX)
The applicants are also expected to show a high motivation for
teaching computer science at Ecole Polytechnique, and to present
innovative teaching projects and pedagogical skills.
Professors of Ecole Polytechnique salaries follow the grid for
"Professeurs de classe exceptionnelle" which is the highest rank in
French academia.
Support for helping the installation for the applicant as well as
her/his team are negociable.
For any further information, potential candidates can turn to Benjamin
Werner, head of the CS department and Olivier Bournez, director of the
laboratory.
(Benjamin.Werner@polytechnique.fr,
Olivier.Bournez@lix.polytechnique.fr)
Applications should be submitted by *** 30 March 2012 *** to the
following web site
http://de.polytechnique.fr/candidatures/OffreView.cfm?ID=243&Language=EN
Secretary: Catherine Bensoussan (+33 1 69 33 40 33) catherine.bensoussan@polytechnique.edu
2012-02-16
[tanc] News: February
Morgan Barbier's thesis, new publications, and visits from Peter Beelen and Christophe Petit.
2012-02-02
[Infolix] Fwd: gt combi du lix, lundi 14h, Nicolas Bonichon
Début du message réexpédié :Objet : gt combi du lix, lundi 14h, Nicolas BonichonDate : 6 janvier 2012 00:56:30 HNECChers amis,
Pour la première scéance 2012 du gt combinatoire du lix
nous accueillerons ce lundi a 14h Nicolas Bonichon du LaBRI.
Titre : Spanner géométrique planaire de degré au plus 6.
Résumé : We consider the problem of constructing planar spanners of
Euclidean graphs with the smallest maximum degree. We present a 6-spanner
of degree bound by 6. The best previous bound on the degree of planar
spanner was 14 with a stretch of $\approx 3.53$. The spanner we proposed
can be easily computed the Triangular Distance Delaunay triangulation
introduced by Chew in 1989, that is known to have a stretch factor of 2 but
its degree may not be bounded. (Travail réalisé en collaboration avec Cyril
Gavoille, Nicolas Hanusse et Ljubomir Perković.)
Amitiés,
Gilles
2012-01-31
[Infolix] gt combi du lix, vendredi janvier 11h, Jarek Rossignac
Chers collegues, nous avons les plaisir d´accueillir au IX le prof. Jarek Rossignac, qui donnera un exposé demain (vendredi 20) a´ 11h (salle des séminaires du LIX). Vous trouverez le titre et résumé ci-dessous. A bientot Luca Castelli Aleardi --- Mesh parsimony: Towards compact formats for processing and transmitting triangulations Jarek Rossignac School of Interactive Computing, Georgia Institute of Technology http://www.gvu.gatech.edu/~jarek/ Modern representations of 3D shapes in Engineering, Scientific, Medical, and Entertainment domains are based on triangulations. The constant increase in the fidelity—and hence complexity—of these models increases storage cost and hence adversely impacts transmission and processing performance. To address this problem, we discuss compact formats for transmitting and processing triangulations. On the practical side, we review the Corner-Table (CT)—a representation for triangle meshes, where the connectivity is encoded as 13 rpv (references per vertex)—and the associated standard sets of random, mesh-traversal corner-operators. Its simplicity and compactness makes it a prime choice for teaching and implementing mesh-processing algorithms. We also discuss its VOT extension to tetrahedral meshes, which requires storing about 48 rpv, and the associated mesh-traversal wedge-operators. Then, we review the popular triangle-mesh compression, Edgebreaker, which requires about 2 bpv (bits per vertex) and can be implemented with a few lines of code, and discuss some improvements and extensions to tetrahedral meshes, including TetStreamer, which requires only about 10 bpv. Finally, we discuss recent advances in compact mesh-representations that support the corner-operators and wedge-operators at constant cost. These include SOT (which halves the storage requirements of CT and VOT), SQuad for triangle meshes (which requires 4 rpv), and LR (which orders the vertices around a nearly Hamiltonian cycle and requires only about 1.6 rpv). On the theoretical side, we cast the recent approaches as special cases of the catalogue approach of Castelli-Aleardi&Devillers, investigate the role of re-orderings and the interplay between compression, streaming, and random-access support, and seek to extract the essential information that is captured in the connectivity of a triangle mesh. The talk is based on joint work with U. Bischoff, T. Gurung, P. Lindstrom, M. Luffel, and A. Szymczak and other colleagues.
2012-01-31
[hipercom] Smart Object Security workshop announcement: March 23 at Ecole Polytechnique
Hipercom@LIX is proud to participate in the organization of the Smart Object Security workshop, March 23, 2012 - held at Ecole Polytechnique.
This workshop is a highly interactive and dynamic event - explicitly not a "mini conference", but a place for technical discussion and exchange of ideas.
Consult the URL, submit a position paper and consider participating ;)
+ More
2012-01-29
[Infolix] [DMANET] 3rd INTERNATIONAL CONFERENCE ON COMPLEX SYSTEMS DESIGN & MANAGEMENT
--------------------------------------------------------------------------- 3rd INTERNATIONAL CONFERENCE ON COMPLEX SYSTEMS DESIGN & MANAGEMENT (CSD&M 2012) December 12-14, 2012 – Cité Internationale Universitaire, Paris (France) ------------------------------------------------------------------------ Website: http://www.csdm2012.csdm.fr/ Call for Papers section: http://www.csdm2012.csdm.fr/-Submission-.html Contact: contact@csdm.fr ------------------------------------------------------------------------ CALL FOR PAPERS # 1 The management of large-scale complex industrial systems has a considerable strategic importance for an important number of enterprises (most notably in Europe and North America). This spawned the relatively new academic field of "system architecture & engineering", producing a body of research that allows engineers to manage the increasing complexity of the technical systems they design. By its very nature, this field is at the interface between industry and academia, and requires its practitioners to be well versed in industrial application-related as well as theoretical knowledge. The ambition of the CSDM conference is to be the meeting point for the industrial and academic environments working in the design and management of complex industrial systems. IMPORTANT DATES • Optional abstract pre-submission deadline : April 6, 2012 • Submission deadline : April 20, 2012 • Acceptance notice for industrial contribution: June 15, 2012 • Acceptance notice for academic contribution: June 29, 2012 • Final version submission deadline: August 31, 2012 • Conference: December 12-14, 2012 • "Best papers" awards: December 14, 2012 SUBMISSION PROCEDURE AND BEST PAPERS AWARDS As the CSDM conference is both industrial and academic, there will be two different submission procedures according to the type of submitted contributions : industrial submissions and scientific submissions. Selected papers will be presented by their authors either on the format of a 30 minutes talk or as a poster during a special session. The program committee is pleased to inform you of the following awards for the best CSDM 2011 papers in 2 categories : 1 prize of 2.000€ for the best academic or industrial paper and 1 prize of 1.000€ for the best student paper. For more details, see http://www.csdm2012.csdm.fr/-Submission-.html. CONFERENCE TOPICS •Industrial domains: Transport constructors & operators, Defense & security, Electronics & robotics, Energy & environment, Health & welfare services, Media & communications, Software & e-services. •Scientific and technical topics: Systems fundamentals, Systems modelling, Systems architecture, Systems engineering, Industrial projects, Systems metrics, Systems quality, Systemic tools. •Systems types: Embedded systems, Transportation systems, Software systems, Information systems, Systems of systems, Artificial eco-systems. MORE DETAILS More information can be found on the conference website: http://www.csdm2012.csdm.fr. For any question, please write an email to: contact@csdm.fr. ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************
2012-01-27
[Infolix] [LABOLIX] Reminder: Comete-Parsifal Seminar Tue Jan 17, 14:30
Comete-Parsifal Seminar Tue Jan 17, 14:30 LIX, Ecole Polytechnique, Aile 0 Salle de Reunion, LIX http://www.lix.polytechnique.fr/comete/seminar/ Lien pour accéder au campus : http://www.polytechnique.edu/accueil/vie-sur-le-campus/acceder-au-campus/ Link to reach the campus: http://www.polytechnique.edu/home/life-on-campus/arriving-on-campus/ Title: Checking NFA equivalence with bisimulations up to congruence. Speaker: Filippo Bonchi. Abstract: We introduce bisimulation up to congruence as a technique for proving language equivalence of non-deterministic finite automata. Exploiting this technique we devise an optimization of the classical algorithm by Hopcroft and Karp that, instead of computing the whole determinized automata, explores only a small portion of it. Although the optimized algorithm remains exponential in worst case (the problem is PSPACE-complete), experimental results show improvements of several orders of magnitude over the standard algorithm. Joint work with Damien Pous.
2012-01-27
[Infolix] Fwd: [LABOLIX] Comete-Parsifal Seminar Tue Jan 17, 14:30
Comete-Parsifal Seminar
Tue Jan 17, 14:30
LIX, Ecole Polytechnique
Salle de Reunion, LIX
http://www.lix.polytechnique.fr/comete/seminar/
Lien pour accéder au campus :
http://www.polytechnique.edu/accueil/vie-sur-le-campus/acceder-au-campus/
Link to reach the campus:
http://www.polytechnique.edu/home/life-on-campus/arriving-on-campus/
Title: Checking NFA equivalence with bisimulations up to congruence.
Speaker: Filippo Bonchi.
Abstract:
We introduce bisimulation up to congruence as a technique for proving
language equivalence of non-deterministic finite automata. Exploiting this
technique we devise an optimization of the classical algorithm by Hopcroft
and Karp that, instead of computing the whole determinized automata,
explores only a small portion of it. Although the optimized algorithm
remains exponential in worst case (the problem is PSPACE-complete),
experimental results show improvements of several orders of magnitude over
the standard algorithm.
Joint work with Damien Pous.
2012-01-27
[Infolix] gt combi du lix, lundi 16 janvier 14h, Omid Amini
Chers amis, Ce lundi a 14h nous accueillerons au gt combinatoire du lix Omid Amini de l'ENS. Titre: Théorème de Riemann-Roch tropical Résumé: Je présente un survol des résultats récents autour du théorème de Riemann-Roch en géométrie tropicale. Le prochain exposé aura exceptionnellement lieu vendredi 20 janvier (au lieu du lundi), l'orateur sera Jarek Rossignac (Georgia Tech). Amitiés, Gilles
2012-01-27
[Infolix] [LABOLIX] Comete-Parsifal Seminar Mon Sep 19, 14:30
Comete-Parsifal Seminar Mon Sep 19, 14:30 LIX, Ecole Polytechnique Salle de Reunion 'Prefa', LIX http://www.lix.polytechnique.fr/comete/seminar/ Title: Keeping track of your friends and enemies: privacy threats of new mobile technologies. Speaker: Myrto Arapinis. Abstract: Joint work with Loretta Mancini, Eike Ritter, and Mark Ryan. The proliferation of portable computing devices, such as mobile phones, Bluetooth devices, and RFID tags, has lead to a range of new computer security problems. In order to fulfil their goals, these devices need to report our movements to service providers such as mobile phone network operators, banks, and governments. While most of users accept that the service providers can track their physical movements, few would be happy if an arbitrary third party could do so. Such a possibility would enable all kinds of undesirable behaviours, ranging from criminal stalking to more mundane monitoring of spouse or employee movements. For this reason, protocols have been designed to prevent third parties from identifying wireless messages as coming from a particular user. These protocols usually include cryptography and make use of temporary identifiers, in an effort to achieve the aim of untraceability by third parties. At CSF'10, we presented a formal framework for analysing untraceability/unlinkability in the applied pi calculus. We used our framework to show that French e-Passports are traceable, while British ones aren't. In this talk, I will present you our work on the analysis of Universal Mobile Telecommunication System (UMTS) protocols. I will show you a problem we have identified with the UMTS authentication and key establishment protocol: although mobile phones use temporary identities to identify themselves to the Network, a replayed message can be used to identify a particular mobile phone. Our attack exploits the fact that the victim's phone will reply with subtly different error messages, depending on whether the replayed request is associated with it or with a different phone. To thwart this attack, we propose a modification of the protocol, and verify the proposed fix using our framework and the ProVe
2012-01-10
[Infolix] Offre d'emploi dans le projet MaGiX / Job offer in MaGiX project
(english version below) ---------------------------------------------------------------- Annonce ---------------------------------------------------------------- Dans le contexte du projet MaGiX http://magix.lix.polytechnique.fr un emploi d'ingenieur en developpement est ouvert : http://magix.lix.polytechnique.fr/profil3.fr.html Ingénieur spécialiste en formats de documents scientifiques Date limite pour postuler (voir site web) : 30 Septembre 2011 ---------------------------------------------------------------- Announcement ---------------------------------------------------------------- In the context of the MaGiX project http://magix.lix.polytechnique.fr we are proposing a position for one software engeneer : http://magix.lix.polytechnique.fr/profil3.en.html Specialist in scientific document formats The deadline for applications is september 30, 2011 (see
2012-01-10
[Infolix]Fwd: [gt-geocal] Troisième annonce: Journées communes LAC-GEOCAL. 24 et 25 novembre
Début du message réexpédié :De : Lutz Strassburger <lutz@lix.polytechnique.fr>Objet : [gt-geocal] Troisième annonce: Journées communes LAC-GEOCAL. 24 et 25 novembreDate : 12 octobre 2011 11:05:17 HAECÀ : Lutz Strassburger <lutz@lix.polytechnique.fr>, lengrand@lix.polytechnique.fr
Bonjour à tous,
Les groupes de travail GEOCAL (Géométrie du calcul) et LAC (Logique,
Algèbre et Calcul) du GDR Informatique mathématique organisent une
rencontre commune les
Jeudi 24 et Vendredi 25 Novembre 2011
à l'Ecole Polytechnique, Palaiseau.
GEOCAL: http://iml.univ-mrs.fr/~regnier/gdr-im/
LAC: http://www.pps.jussieu.fr/~kesner/gdr/lac.html
Vous devriez dès à présent réserver ces journées.
Vous pouver trouver le site de la rencontre à l'adresse
http://www.lix.polytechnique.fr/~lengrand/Events/LACGeoCal/
notamment avec la possibilité de s'y inscrire en ligne.
La clôture des inscriptions avec proposition d'exposé est fixée au 1er
Novembre 2011, et celle des inscriptions sans proposition d'exposé est fixée au 15 Novembre.
L'inscription est gratuite et vous permet de participer gratuitement aux
repas organisés.
N'hésitez pas à nous contacter si vous avez besoin d'informations
supplémentaires.
En espérant vous voir nombreux,
Bien cordialement,
Stéphane Lengrand & Lutz Strassburger,
organisateurs, LIX
--Apple-Mail=_6B7569D8-C971-4B03-8192-E819
2012-01-10
[Infolix] Fwd: Call For Papers: 3rd International Conference on Complex Systems Design & Management - Dec. 2012, Paris
Pi�ce jointe: 3rd Conf. Complex Systems Design & Management 2012 - Call for Papers.pdf
2012-01-06
[hipercom] 82th IETF in Taipei, Taiwan, Nov. 13-18 2011
We're off for another IETF, this time in Taipei, Taiwan, with lots of new things to show for.
OLSRv2 has been updated (YAY!), a couple of MANET-related MIB-documents and OLSRv2-related security documents have emerged also.
PACKETBB-SEC has closed WGLC, and we are hoping to see that it be sent to the IESG soon and, hopefully, emerge as RFC soon.
Additionally, in the Low-Power Lossy Networking (LLN) / AMI space, two documents have appeared: "The LLN On-demand Ad hoc Distance-vector Routing Protocol - Next Generation" (draft-clausen-lln-loadng) specifies an efficient LLN routing protocol. The accompanying document "Experience with the LOADng routing protocol for LLNs" (draft-lavenu-lln-loadng-interop) documents an interoperability test of 3 independent implementations hereof.
All this, and much more, is on the agenda for the 82th IETF - where we will be represented by Axel Colin de Verdiere, Jiazi Yi, Thomas Clausen and Emmanuel Baccelli.
+ More
2011-11-24
[hipercom] T. Clausen at The Eighth ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks
He is presenting the paper "A Comparative Performance Study of the Routing Protocols LOAD and RPL with Bi-Directional Traffic in Low-power and Lossy Networks (LLN)", joint work with Ulrich Herberg.
+ More
2011-11-24
[hipercom] J. Yi at the 7th International Conference on Network and Service Management
CNSM 2011, held from Oct 24 to Oct 28 2011, in the beautiful city that we are more or less familiar with -- Paris. He is presenting the paper "Performance Analysis of SNMP in OLSRv2-Routed MANETs", joint work with U. Herberg and Robert Cole.
+ More
2011-11-05
[hipercom] J. YI at IEEE iThings/CPSCom 2011 in Dalian, China
He is presenting the paper "Vulnerability Analysis of the Simple Multicast Forwarding (SMF) Protocol for Mobile Ad Hoc Networks" in the 4th IEEE International Conference on Cyber, Physical and Social Networking. Joint work with T. Clausen and U. Herberg.
+ More
2011-11-01
[hipercom] T. Clausen at the 9th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (IEEE EUC 2011) in Melbourne, Australia
He is presenting the paper "Delay Tolerant Networking with OLSRv2", joint work with Ulrich Herberg.
+ More
2011-11-01
[hipercom] J. YI at The 14th International Symposium on Wireless Personal Multimedia Communications
In Brest, France, with the paper "Multipath Routing Protocol for MANET: Application to H.264/SVC Video Content Delivery", joint work with Benoit Parrein (Universite de Nantes), Dan Radu (Technical University of Cluj-Napoca, Romania).
+ More
2011-10-24
[tanc] TANC News: September
New publications, TANC at ECC 2011, DIFMAT, popular science...
2011-10-12
[sysmo] Welcome to Claudia D'Ambrosio
Claudia D'Ambrosio has just joined the Lix, as CNRS junior researcher. She will work in the Sysmo team, welcome to her!
2011-10-04
[Infolix] Offre d'emploi dans le projet MaGiX / Job offer in MaGiX project
(english version below) ---------------------------------------------------------------- Annonce ---------------------------------------------------------------- Dans le contexte du projet MaGiX http://magix.lix.polytechnique.fr un emploi d'ingenieur en developpement est ouvert : http://magix.lix.polytechnique.fr/profil3.fr.html Ingénieur spécialiste en formats de documents scientifiques Date limite pour postuler (voir site web) : 30 Septembre 2011 ---------------------------------------------------------------- Announcement ---------------------------------------------------------------- In the context of the MaGiX project http://magix.lix.polytechnique.fr we are proposing a position for one software engeneer : http://magix.lix.polytechnique.fr/profil3.en.html Specialist in scientific document formats The deadline for applications is september 30, 2011 (see website)
2011-09-08
[Infolix]Journées communes LAC-GEOCAL. 24 et 25 novembre (changement des dates)
+++++++++++++++++++++++++++++++++++++++ +++ ATTENTION: Changement des dates +++ +++ 24 et 25 novembre 2011 +++ +++++++++++++++++++++++++++++++++++++++ Bonjour à tous, Les groupes de travail GEOCAL (Géométrie du calcul) et LAC (Logique, Algèbre et Calcul) du GDR Informatique mathématique organisent une rencontre commune les Jeudi 24 et Vendredi 25 Novembre 2011 à l'Ecole Polytechnique, Palaiseau. GEOCAL: http://iml.univ-mrs.fr/~regnier/gdr-im/ LAC: http://www.pps.jussieu.fr/~kesner/gdr/lac.html Vous pouvez dès à présent réserver ces journées. On a changé les dates pour éviter un conflict avec la réunion "Operads and Rewriting" à Lyon. Une ébauche de site va progressivement s'enrichir à l'adresse http://www.lix.polytechnique.fr/~lengrand/Events/LACGeoCal/ notamment avec la possibilité de s'y inscrire en ligne. La clôture des inscriptions avec proposition d'exposé est fixée au 1er Novembre 2011, et celle des inscriptions sans proposition d'exposé est fixée au 15 Novembre. L'inscription est gratuite et vous permet de participer gratuitement aux repas organisés. N'hésitez pas à nous contacter si vous avez besoin d'informations supplémentaires. En espérant vous voir nombreux, Bien cordialement, Stéphane Lengrand & Lutz Strassburger, organisateurs, LIX
2011-09-08
[hipercom] New Arrival: Aline Carneiro Viana
We're excited to welcome our newest colleague and collaborator, Aline. A staff research scientist from INRIA, we're looking forward to her company for (we hope) many years to come.
Not only does Aline's arrival brings an excellent scientific mind to the group, but her arrival also adds a new country - Brazil - to the team world map, which now includes colleagues from countries as diverse as Brazil, China, Germany, Corsica, Denmark and (of course) France.
Welcome Aline! We're excited to have you among us.
+ More
2011-09-01
[hipercom] "Building a Subversive Grassroots Network" - IEEE Spectrum talking about OLSR
OLSR is one of our success stories, and it keeps getting (good) press.
This time, the IEEE Spectrum runs a story on using MANETs and OLSR for building subversive networks, bypassing the Internet where either no Internet is available - or is filtered or suspended by oppressive authorities.
We've been talking about this use of OLSR for many years. In the context of the French HADOPI law for filtering and policing the Internet, as well as in the context of the "right of the individual in the digital society, Thomas Clausen gave talks in 2009 and 2010 before two commissions of the French National Assembly. He was presenting such "subversive networks" as a likely outcome of too strict legislation and policing of the Internet, as well as of too invasive tracking of the activities of individuals on the Internet (see Audition of T. Clausen in the context of the HADOPI law "favorisant la diffusion et la protection de la creation sur internet" as well as Audition of T. Clausen in the context of the "Mission d'information commune sur les droits de l'individu dans la révolution numérique").
Any initiative promoting OLSR is good news - for more information about our OLSR activities:
OLSRv2 Standardization
+ More
2011-08-31
[hipercom] Thomas Clausen, Jiazi Yi and Axel Colin de Verdiere at the 81'th IETF in Quebec City
Better late then never with a newsflash.
This IETF saw progress on our currently main MANET protocol, OLSRv2 - now with metrics support, as well as with various MANET security extension and management components. Notably, the security extension to RFC5444 is entering the final phases of standardization, and the security extension to RFC6130 (NHDP) is becoming adopted as a working group item - bringing it that much closer to becoming standardized.
Aside from MANET, the main topic for us at this IETF was Sensor Networks, also known as Low-power Lossy Networks, where we are preparing the ground for some interesting new work.
All in all an extremely busy, but also productive, week.
+ More
2011-08-11
[Infolix]Fwd: [gt-geocal] Journées communes LAC-GEOCAL. 3 et 4 Novembre
Début du message réexpédié :De : "Stephane Lengrand (Work)" <lengrand@lix.polytechnique.fr>Date : 11 juillet 2011 15:08:58 HAECObjet : [gt-geocal] Journées communes LAC-GEOCAL. 3 et 4 NovembreRépondre à : lengrand@lix.polytechnique.frBonjour à tous,
Les groupes de travail GEOCAL (Géométrie du calcul) et LAC (Logique,
Algèbre et Calcul) du GDR Informatique mathématique organisent une
rencontre commune les
Jeudi 3 et Vendredi 4 Novembre 2011
à l'Ecole Polytechnique, Palaiseau.
GEOCAL: http://iml.univ-mrs.fr/~regnier/gdr-im/
LAC: http://www.pps.jussieu.fr/~kesner/gdr/lac.html
Vous pouvez dès à présent réservez ces journées.
Une ébauche de site va progressivement s'enrichir à l'adresse
http://www.lix.polytechnique.fr/~lengrand/Events/LACGeoCal/
notamment avec la possibilité de s'y inscrire en ligne. En attendant
vous pouvez déjà vous inscrire en envoyant un email à
lengrand@lix.polytechnique.fr
La clôture des inscriptions avec proposition d'exposé est fixée au 1er
Octobre 2011, et celle des inscriptions sans proposition d'exposé est
fixée au 8 Octobre.
L'inscription est gratuite et vous permet de participer gratuitement aux
repas organisés.
N'hésitez pas à nous contacter si vous avez besoin d'informations
supplémentaires.
En espérant vous voir nombreux,
Bien cordialement,
Stéphane Lengrand & Lutz Strassburger,
organisateurs, LIX
2011-08-02
[Infolix]Fwd: [LABOLIX] [MaGiX@LiX] conférence du LIX en septembre, deuxième annonce
Début du message réexpédié :De : Joris van der Hoeven <vdhoeven@lix.polytechnique.fr>Objet : [LABOLIX] [MaGiX@LiX] conférence du LIX en septembre, deuxième annonceDate : 12 juillet 2011 14:44:21 HAECBonjour,
Le programme prévisionnel de la conférence du labo MaGiX@LiX est désormais en ligne :
http://magix.lix.polytechnique.fr/magixalix-participants.en.html
Les personnes du labo qui désirent participer à l'excursion le mercredi
sont invitées a s'inscrire ici :
https://www.lix.polytechnique.fr/~dndiatta/magix2011/registration_participant.php
Bien cordialement,
--Joris
------------------------------------------------------------------------
Announcement
------------
We are pleased to announce the MaGiX@LiX conference which will take
place at the Ecole polytechnique, Palaiseau, France during the week
from september 19 until september 24 this year. The conference aims at
bringing together experts and developers of mathematical software in
the areas of computer algebra, reliable analysis, language design and
interfaces. Most of the talks and software demonstrations should be
accessible for non experts in these areas. For more information, see:
http://magix.lix.polytechnique.fr/magixalix.en.html
Invited speakers
----------------
* Martin Berz, Kyoko Makino
* François Boulier
* Quentin Carbonneaux, François Clément, Pierre Weis
* Gabriel Dos Reis
* Jean-Charles Faugère
* Mickael Gastineau, Jacques Laskar
* Claude Gomez, Serge Steer
* Daniel R. Grayson
* Massimiliano Gubinelli
* William B. Hart
* Grégoire Lecerf
* François Lemaire
* Angelos Manzaflaris
* Marc Moreno Maza
* Bernard Mourrain
* Jean-Michel Müller
* Marc Pouzet
* Fabrice Rouillier
* Marie Françoise Roy
* Mohab Safey el Din
* Hans Schönemann
* Damien Stehlé
* Emmanuel Thomé
* Joris van der Hoeven
* Éric Walter
* Stephen Watt
* Klaus Weihrauch
* Paul Zimmermann
Detailed Scope
--------------
Nowadays, two kinds of mathematical computation systems have met
a great success. Historically, we find numerical computation systems,
such as Matlab, Octave or Scilab. These systems allow for the approximate
resolution of analytic problems, such as the integration of differential
equations. On the other hand, we find symbolic computation systems,
such as Mathematica, Maple, Axiom, Singular or more recently Sage.
In the MaGiX project, we intend to transpose the computer algebra spirit
of exact mathematical computations to analytic problems. In order to
achieve this goal, techniques from various areas need to be combined.
Besides computer algebra and reliable computation, we also need an adequate
mathematical programming language which is sufficiently efficient for
numerical computations. Since the ultimate goal is to develop a user friendly
and general purpose system for algebraic and analytic computations, nice user
interfaces are also an important issue.
The MaGiX@LiX conference therefore aims to bring together developers and
users of mathematical software in the areas of computer algebra,
reliable numeric computation, user interfaces and mathematical programming
languages. The conference consists of a mixture of software demos and talks
which provide some of the scientific background. Most talks are intended
to be introductory and suitable for non experts in the specific areas.
Sponsors
--------
* ANR grant ANR-09-JCJC-0098-01 MaGiX
* LIX, the CNRS Computer Science Laboratory of the Ecole polytechnique
2011-08-02
[Infolix]Fwd: [LABOLIX] Soutenance de thèse / Thesis defense - Mahsa BEHZADI 12 July 15:00 Amp hi Becquerel
Début du message réexpédié :Date : 1 juillet 2011 15:53:15 HAECObjet : [LABOLIX] Soutenance de thèse / Thesis defense - Mahsa BEHZADI 12 July 15:00 Amp hi Becquerel
Bonjour,
J'ai le plaisir du vous inviter à ma soutenance de thèse
"A Mathematical Model of Phospholipid Biosynthesis"
qui se déroulera le
mardi 12 juillet 2011 à 15:00
à l'Ecole Polytechnique, amphithéâtre Becquerel, ainsi qu'au pot qui
suivra en salle de réunions du LIX (à 17:00 environ).
La thèse sera soutenue devant le jury composé de
Prof. Jean-Marc Steyaert, directeur de thèse
Prof. Jean-Pierre Mazat, rapporteur
Prof. Gilles Bernot, rapporteur
Prof. Joachim Selbig, rapporteur
Prof. Mireille Regnier, Responsable de l'equipe
Dr. Aicha demidem
Dr. Laurent Schwartz
Pour vous rendre à l'Ecole Polytechnique, Cf :
http://www.polytechnique.edu/accueil/vie-sur-le-campus/s-orienter-sur-le-campus/s-orienter-5641.kjsp
----------------------------------------------------------------------
Hi,
it is my pleasure to invite you to the defense of my thesis
"A Mathematical Model of Phospholipid Biosynthesis"
that will take place on
Tuesday 12 July 2011 at 15:00
at the Ecole Polytechnique, Becquerel lecture hall, as well as the
ensuing reception which will be around 17:00 in the main meeting room of
LIX (Computer Science Lab).
This thesis will be defended before the following jury :
Prof. Jean-Marc Steyaert, Thesis advisor
Prof. Jean-Pierre Mazat, Reviewer
Prof. Gilles Bernot, Reviewer
Prof. Joachim Selbig, Reviewer
Prof. Mireille Regnier, Head of the group
Dr. Aicha demidem
Dr. Laurent Schwartz
To get to École Polytechnique:
http://www.polytechnique.edu/accueil/vie-sur-le-campus/s-orienter-sur-le-campus/s-orienter-5641.kjsp
------------------------------------------------------------
The central topic of this study is the mathematical modeling of the
phospholipid biosynthesis. A dynamic, continuous and deterministic
modelingd metabolicpathway; the temporal changes of metabolites are
formulated asapproach is chosen to represent the behavior of the
phospholipi a genericset of ODEs. Next we apply this model to di erent
experimental datasets inn process, followed by the mathematical simulation
of the modeland nally a healthy and tumoral cells; each of these
applications consists of a parameterestimatioset of analyses such as
stability analysis or sensitivity analysis.
2011-08-02
[Infolix]Fwd: Commande automatisée d'un procédé : le projet ALIEN primé par le Concours national d'aide à la création d'entreprises de technologies innovantes
Début du message réexpédié :Date : 4 juillet 2011 10:20:34 HAECObjet : Commande automatisée d'un procédé : le projet ALIEN primé par le Concours national d'aide à la création d'entreprises de technologies innovantesSource: Institut des sciences informatiques et de leurs interactions - CNRSAuteur: Jean-Baptiste PressacDans le cadre de la politique de soutien à l'innovation, la ministre de l'Enseignement supérieur et de la Recherche, Valérie Pécresse, a remis, le 28 juin, les prix de l'édition 2011 du Concours national d'aide à la création d'entreprises de technologies innovantes. Le projet ALIEN, porté par Cédric Join du CRAN (CNRS/Université Nancy 1/INPL Nancy) et Michel Fliess du LIX (CNRS/Ecole Polytechnique), est lauréat du concours dans la catégorie Émergence.
Depuis 13 ans, le Concours national d'aide à la création d'entreprises de technologies innovantes détecte et apporte un soutien financier à des projets de création d'entreprises innovantes. Le concours comprend deux catégories : les projets « en émergence » qui nécessitent encore une phase de maturation, et les projets « création-développement » dont la preuve du concept est déjà établie et qui donnent lieu à une création d'entreprise.
Sélectionné dans la catégorie Emergence, le projet ALIEN propose un nouveau type de commande des systèmes complexes, la commande sans modèle ou CSM.
La CSM est capable de contrôler des systèmes complexes sans avoir besoin d'une modélisation mathématique précise, difficile - voire impossible- à obtenir. Cette loi de commande est, donc, indépendante de la structure mathématique, mal connue, du dispositif à commander. Elle peut être considérée comme une commande universelle des systèmes.
Ses performances, comme le temps de réponse, les dépassements, le rejet des perturbations, sont excellentes. Sa mise en oeuvre est aisée et ne nécessite pas une grande puissance de calcul. Cette stratégie de commande permettra de réguler de façon efficace des dispositifs complexes, issus des domaines les plus divers qui, jusqu'alors, n'avaient pu l'être. Elle a déjà démontré une grande efficacité dans des domaines industriels variés, allant de la régulation de moteurs à celle du trafic routier, en passant par les aménagements hydro-électriques et l'électronique de puissance.
2011-08-02
[hipercom] New book: "Introduction à la science informatique"
Hipercom@LIX faculty and researchers have, under the direction of Gilles Dowek (INRIA), been authoring the networking related parts of a newly published book "Introduction à la science informatique".
Intended as a textbook for high-school teachers, preparing to teach the new speciality "Informatique et sciences du numérique" starting in 2012, this book not only explains the fundamentals in computer science and computer networking in an accessible fashion, but also muses on proper didactic approaches for teaching these subjects at the high-school level.
+ More
2011-07-25
[tanc] TANC News: June
Jérôme Milan's TIFA package for integer factorization was released, and presented at the 2011 Teratec Forum.
Ben Smith spoke about accelerated point counting on genus 2 curves with explicit Real Multiplication at the GeoCrypt 2011 conference. This new algorithm, joint work with Pierrick Gaudry (CARAMEL/LORIA) and David Kohel (Luminy), has been used to completely smash the previous world record for genus 2 point counting in large characteristic. A preprint is now on the arXiv.
2011-07-06
Concours externe CNRS: un poste d'administrateur systèmes et réseaux ouvert au LIX
= Activités = * Choix, organisation, mise en place ou à niveau des éléments matériels et logiciels des systèmes informatiques du laboratoire, en fonction des besoins des utilisateurs et des impératifs de sécurité. * Conseil, suivi, et formation des utilisateurs. * Maintenir et développer les outils d’administration propre au site, participer au développement du web. * Administration, suivi et développements des systèmes informatiques du laboratoire. * Animation du comité de suivi utilisateurs/administrateurs * Évolution du système informatique = Compétences = * Très bonne connaissances des environnements Linux. Maîtrise des systèmes Mac OS et Windows. * Connaître et savoir exploiter des services tels que Postfix, NIS, LDAP, KERBEROS, NFS, le SAN, le iSCSI, et les technologies de cluster. * Connaitre le Python et les systèmes REDHAT/ CENTOS / FEDORA * Autonomie * Anglais lu et parlé souhaité * Goût pour le travail en équipe et la nouveauté = Contexte = Le LIX (http://www.lix.polytechnique.fr/) est situé sur le site de l’École Polytechnique. L’agent sera affecté au sein de l’équipe système (1 autre personne) qui est directement rattachée à la direction du laboratoire. Le travail se fera en relation avec les services informatiques de l’École Polytechnique qui gèrent le réseau. Le système d’information du laboratoire est homologué CATI.
2011-07-05
[tanc] Algorithms for Curves, Moduli, and Isogenies
Thursday, July 7, 2011
Amphithéatre Becquerel, École polytechnique
[Program|Abstracts|Logistics]Program
10h30—11h00: Meeting, coffee
11h00—12h00: Ben Smith (LIX/INRIA Saclay/LIX)
Point Counting for Genus 2 Curves with Real Multiplication Abstract12h00—13h30: Lunch
13h30—14h30: Kamal Khuri-Makdisi (American University of Beirut)
Using algebraic values of modular forms to obtain models for modular curves Abstract14h30—15h00: Coffee break
15h00—16h00: David Gruenewald (Université de Caen Basse Normandie)
Computing “isogeny graphs” using CM lattices Abstract
2011-07-01
[hipercom] Thursday 16/6 at 18h: Talk by dr. Tiziana Refice on networking research at Google,
Dr. Refice will present some of the interesting networking research activities that Google is pursuing, including in particular M-Lab.
M-Lab is an open distributed server platform to deploy network measurement tools, a collection of open-source tools and an open repository of data - all publicly available.
The seminar is Thursday June 16 at 18h at "Amphithéâtre Becquerel", and is intended for both faculty, research staff, post.docs, undergraduate and graduate students.
I believe that it may be especially interesting for undergraduate and graduate students, contemplating what interesting careers may lie ahead also in industry, as well as for faculty and research staff wondering what collaborative options Google may harbor in the distributed computing and computer networking area.
Show up to get a very unique chance to get a look into the ground-breaking work that Google is doing, to talk with a googler and ask all the questions you've ever wanted to ask from a googler (and, maybe, get some answers too)!
+ More
2011-06-16
[tanc] Tools for Integer Factorization: TIFA now online
Jerome Milan's TIFA package ("Tools for Integer FActorization") is now available online. TIFA is an open source library for factoring small to medium-sized composite integers (from 40 to 200 bits, say).
2011-06-14
[hipercom] New Arrival: Alberto Camacho Martinez
Better late than never, I suppose, but we're excited to count Alberto Camacho Martinez among us. He is staying with us for a semester (at least), after which Alberto will graduate from a joint multidisciplinar program in Telecommunication Engineering and Mathematics in the UPC, Spain.
2011-06-11
[Infolix] Comete-Parsifal Seminar Tue Jun 07, 14:30
De : Andrés A. Aristizábal P. <andresaristi@lix.polytechnique.fr>Date : 6 juin 2011 10:30:32 HAECÀ : romain.beauxis@gmail.com, comete@lix.polytechnique.fr, parsifal@lix.polytechnique.fr, labolix@lix.polytechnique.frObjet : [LABOLIX] Reminder: Comete-Parsifal Seminar Tue Jun 07, 14:30Comete-Parsifal Seminar
Tue Jun 07, 14:30
LIX, Ecole Polytechnique
Salle de Reunion, LIX
http://www.lix.polytechnique.fr/comete/seminar/
Title: The Failure of Noise-Based Non-Continuous Audio Captchas.
Speaker: Romain Beauxis.
Abstract:
CAPTCHAs, which are automated tests intended to distinguish humans from
programs, are used on many web sites to prevent bot-based account creation
and spam. To avoid imposing undue user friction, CAPTCHAs must be easy for
humans and difficult for machines. However, the
scientific basis for successful CAPTCHA design is still emerging.
In this talk, we will examine the widely used class of audio CAPTCHAs
based on distorting non-continuous speech with certain classes of
noise and demonstrates that virtually all current schemes, including ones
from Microsoft, Yahoo, and eBay, are easily broken.
More generally, we describe a set of fundamental techniques, packaged
together in our Decaptcha system, that effectively defeat
a wide class of audio CAPTCHAs based on non-continuous speech.
Decaptcha's performance on actual observed and synthetic CAPTCHAs
indicates that such speech CAPTCHAs are inherently weak and, because of
the importance of audio for various classes of users, alternative audio
CAPTCHAs must be developed.
--
Andrés A. Aristizábal P.
PhD Student
École Polytechnique
Ingeniero de Sistemas y Computación
Pontificia Universidad Javeriana Cali
Especialista en Periodismo
Universidad de los Andes Bogotá
2011-06-06
[tanc] TANC News: May
May Events
Daniel Augot gave a presentation ("Qu'est-ce qu'un matheux?") at Scube.
Ben Smith visited the CARAMEL project in Nancy, and gave a talk about geometric algorithms for low-degree isogenies in genus 2. He also gave two talks at the Elliptic Curve Discrete Logarithm Problem workshop at EPFL's Laboratory for Cryptologic Algorithms (LACAL): a general introduction to the arithmetic of hyperelliptic curves, and a technical talk on the isogeny attack in genus 3.
2011-06-02
[hipercom] Congratulations, dr. Herberg
On Friday, may 20, Ulrich stopped being mr. Herberg, to become dr. Herberg upon successfully defending the manuscript "Performance, Scalability, Automatic Management and Internet Integration of Ad Hoc Networks".
Ulrich - sorry, dr. Herberg - defended before a jury composed by Michel Diaz (LAAS-CNRS, rapporteur), Joseph Macker (NRL, rapporteur), Robert G. Cole (US Army), Walid Dabbous (INRIA), Christoper Dearlove (BAE Systems), Philippe Jacquet (INRIA) and Thomas Clausen (Ecole Polytechnique. Additionally, Kenichi Mase (Niigata University) was rapporteur on this manuscript.
Hipercom@LIX joins in congratulating dr. Herberg, and wishing him all our best.
+ More
2011-05-23
Dernière minute: un poste d'AI disponible sur NOEMI
Pour plus d'informations, voir la [[http://web-rh.dsi.cnrs.fr/afip/owa/consult.affiche_fonc?code_fonc=Q61005&code_corps=&code_dr=&code_bap=&code_ds=61&nbjours=1|fiche de poste]] sur le site du CNRS. = Mission = L'assistant(e) réalise et coordonne les activités administratives de l'unité. = Activités = * Elaborer des actes sur l'ensemble des domaines de gestion (gestion administrative, financière et comptable, encadrement des personnels). * Suivre l'évolution de la réglementation sur l'ensemble des domaines de gestion. * Assurer la gestion financière du laboratoire : préparation, mise en oeuvre et suivi de l'exécution du budget du laboratoire. * Etablir des bilans financiers et analyser les dépenses. * Contrôler l’exécution du budget et des justifications financières des contrats de recherche. * Préparer et diffuser les comptes rendus. * Mettre en œuvre l’organisation matérielle de réunions et de colloques. * Accueillir, informer et orienter dans les démarches administratives les visiteurs et les personnels de l’unité. * Participer à la mise à jour des bases de données documentaires de l’unité. * Contribuer à la réalisation de rapports documentaires et réponses aux enquêtes. = Compétences = * Connaître les bases des statuts de la fonction publique, des EPST et du CNRS notamment. * Maîtriser les réglementations financières, comptables et des marchés publics. * Maîtriser l’environnement bureautique et les outils informatiques appliqués à la gestion. * Savoir analyser la gestion pour en dégager les indicateurs. * Appliquer et faire appliquer les textes réglementaires dans le contexte de l’unité. * Rédiger des notes d’informations et des actes administratifs. * Connaître l'anglais écrit et oral. * Savoir planifier les activités et les échéances. * Etre autonome dans la gestion des dossiers tout en sachant rendre compte à sa hiérarchie. * Savoir manifester un fort esprit d’équipe. = Contexte de travail = L’activité s’exerce dans une UMR du CNRS qui compte plus de 100 personnes. Ses membres viennent du CNRS, de l’INRIA, du CEA et de l’Ecole Polytechnique. Il/elle assurera une double fonction : Assistant(e) en équipe dans l’équipe de Direction du Laboratoire et Assistant(e) de plusieurs équipes de recherche du laboratoire.
2011-05-21
[Infolix] [[A-team] ] seminar Thursday
De : Jan Foniok <foniok@lix.polytechnique.fr>Date : 9 mai 2011 14:20:11 HAECÀ : a-team <a-team@lix.polytechnique.fr>, Jaroslav Nešetřil <nesetril@kam.mff.cuni.cz>, Patrice Ossona de Mendez <pom@ehess.fr>Objet : [[A-team] ] seminar ThursdayDear A-team & friends,on Thursday (12 May) at 1400 I will give a talk in the “Séminaire de Combinatoire Algébrique et Géométrique”. The seminar takes place in Jussieu, 4 place Jussieu, Paris 5e, en salle 15-16 101 (1er étage).Title: Adjoint functors on digraphsAbstract: After explaining what they are, I will discuss how adjoint functors on digraphs can be used as a tool for proving the non-existence of homomorphisms. Applications include polynomial testing of the existence of a homomorphism (constraint satisfaction), a rich common structure of non-3-colourable digraphs, and some observations related to Hedetniemi's conjecture about the chromatic number of products.Jan
2011-05-12
[tanc] TANC News: April
TANC welcomes Cécile Gonçalves and Tania Richmond; Iwan Duursma visits; two new publications; and other news.
2011-05-12
[Fwd: DenyHosts Report from hammer.lix.polytechnique.fr]
-- James
2011-05-11
Campagne NOEMI: un poste ouvert au sein de MAX, HIPERCOM ou COMETE
Description du poste
Emploi-type: Chef de projet ou expert en développement et déploiement d'application
Mission:Le chef de projet ou l’expert en développement d’applications conduit la maîtrise d’œuvre des projets de développement. Il sera responsable de la réalisation du projet, et de son adéquation aux besoins des utilisateurs. Il pourra être fortement impliqué dans l’activité de recherche du domaine scientifique concerné et dans les développements de logiciels associés, avec un équilibre variable entre les deux.
Activités
L’ingénieur de recherche recruté sera affecté à l’une des équipes de recherche du laboratoire LIX. Les équipes MAX, HIPERCOM et COMETE font partie des équipes prioritaires.
Ses missions incluront :
Activités associées
Compétences principales
Savoirs généraux, théoriques ou disciplinaires
Savoir-faire opérationnels
Compétences linguistiques
2011-05-11
Fwd: [LABOLIX] Pretty Structures 2011: a l'IHP, 2-6 mai
De : Leo Liberti <liberti@lix.polytechnique.fr>Date : 29 avril 2011 09:21:59 HAECObjet : [LABOLIX] Pretty Structures 2011: a l'IHP, 2-6 mai
Hi everyone,
please attend the "Pretty Structures 2011" seminar at the Institut Henri Poincare (Paris, 5eme arr), from 2 to 6 may 2011.
http://www.lix.polytechnique.fr/~liberti/pretty_structures/
Among the speakers, Jack Edmonds. Last time he brought a soundtrack to speak upon. Come see the show! ;-)
Ciao
Leo
2011-04-29
Fwd: LIX-Qualcomm Fellowship / Postdoc au LIX
De : Olivier Bournez <olivier.bournez@gmail.com>Date : 20 avril 2011 11:42:58 HAECObjet : LIX-Qualcomm Fellowship / Postdoc au LIXRappel: Le LIX propose un financement de postdoc (LIX-Qualcomm Fellowship) ouvert à toutes les thématiques présentes au LIX.Date limite: VENDREDI 29 AVRIL = La semaine prochaine.Svp transmettez aux candidats potentiels.======Reminder: The LIX Laboratory propose a postdoc fellowship (LIX-Qualcomm Fellowship) open to all thematics present in the lab.Deadline: FRIDAY APRIL 29th = Next week.Please forward to potential candidates.===ENGLISH ANNOUCEMENT:LIX, the Laboratory for Computer Science at the Ecole Polytechnique, France, is inviting applications for its 2011-2012 LIX-Qualcomm Postdoctoral Fellowship for research in computer science.LIX offers a unique academic research environment, bringing together permanent staff researchers from CNRS, INRIA, and CEA, as well as resident faculty from Ecole Polytechnique. We encourage a mixture of theoretical, applied, and experimental research. Including academic visitors, postdoctoral fellows and PhD students, LIX is home to about 120 researchers, organized in 11 research teams on the following subjects:* Wireless and Ad Hoc Networking* Computer Graphics, Vision and Visual Computing* Bioinformatics* Algorithms, Optimization* Formal Languages for Mobile and Distributed Systems* Reliability and Safety of Software* Complex Systems* Combinatorics* Algebraic Modelization* Cryptology and Coding Theory* Automatic Proof Processing* Algorithms for Distributed Systems* Operations Research* Algorithmic Game Theory* Models for Continuous Time Computations* Complexity* Constraint Satisfaction ProblemsFurther information about the research teams at LIX can be found atThe LIX-Qualcomm postdoctoral fellowship provides young scientists of outstanding quality an opportunity to advance their academic career as resident research fellows in one of these 11 research teams. The fellow is free to continue his/her own research, however expected to identify and integrate with a LIX research team in his/her area of interest. Applicants are strongly encouraged to solicit contact with staff researchers in their team(s) of research in advance.The fellowship will be for one year, with an opportunity for a fellow to present candidature for renewal for one additional year. The fellowship is supported by a competitive stipend. Applicants must have received a PhD degree after January 2010 or should expect to receive one before the fellowship commences in fall 2011.Applications will be accepted until Friday April 29, 2011, and must be submitted on-line. Further details on the fellowship, and the application procedure, can be found at===ANNONCE EN FRANCAIS:Le LIX, le Laboratoire d'Informatique de l'Ecole polytechnique, sollicite des candidatures pour un financement postdoctoral2011-2012 LIX-Qualcomm Postdoctoral Fellowshipde recherche en informatique.LIX offre un environnement de recherche unique, réunissant des chercheurs permanents du CNRS, l'INRIA, du CEA, ainsi que des enseignants chercheurs de l'Ecole polytechnique.Ce financement postdoctoral est ouvert à toutes les thématiques présentes au laboratoire: http://www.lix.polytechnique.fr et http://www.lix.polytechnique.fr/fellowshipLe ou la postdoc sera libre de prolonger ses propres recherches, du moment qu'elles s'intègrent avec une équipe de recherche présente au laboratoire dans son domaine de recherche. Les candidat(e)s sont fortement invité(e)s à contacter les chercheurs du laboratoire par avance.Le financement est pour une année, avec possibilité éventuelle de renouvellement pour une année supplémentaire.Le(s) candidat(e)(s) seront sélectionné(e)s par un comité de sélection parmi les candidatures reçues. Les candidat(e)s devront avoir soutenu leur thèse après janvier 2010 ou avant la date prévue de début du postdoc à l'automne 2011.La date limite pour proposer sa candidature est le Vendredi 29 Avril 2011. Les candidatures doivent être déposées en ligne.Tous les détails sur http://www.lix.polytechnique.fr/fellowship
2011-04-20
Postdoc position in proof theory in Paris
De : Lutz Strassburger <lutz@lix.polytechnique.fr>Date : 20 avril 2011 10:19:09 HAECÀ : gdr-im@gdr-im.frObjet : [gdr-im] Postdoc position in proof theory in Paris
--------------------------------------------------------
Postdoc position in proof theory in Paris
--------------------------------------------------------
There is an opening of a postdoc position on structural and
computational proof theory. The position is financed by
the ANR within the project STRUCTURAL
<http://www.lix.polytechnique.fr/~lutz/orgs/structural.html>
The postdoc will be hosted by the Laboratoire d'Informatique (LIX) at
the Ecole Polytechnique, one of the "Grand Ecoles" in the French
university system, located in the suburbs of Paris.
Applicants must have a Ph.D. or equivalent in computer science or
mathematics, and should have a strong background in proof theory
and related topics. The principal responsibility of the postdoc
will be to carry out research in the area of proof theory within the
project STRUCTURAL. There are no teaching duties.
For further information, see
<http://www.lix.polytechnique.fr/~lutz/orgs/structural-postdoc.html>
or contact
Lutz Strassburger <lutz@lix.polytechnique.fr>
or
Kaustuv Chaudhuri <kaustuv.chaudhuri@inria.fr>
Applications should be sent via email to Lutz Strassburger
<lutz@lix.polytechnique.fr> and Kaustuv Chaudhuri
<kaustuv.chaudhuri@inria.fr>, and should include a CV, a research
statement (1-2 pages), and two recommendation letters. The application
deadline is
*** May 20, 2011 ***
2011-04-20
[hipercom] New Arrival - Axel Colin de Verdiere
Axel is a student from the Ecole Polytechnique (X08), currently specializing in computer science. Having followed an M1 in computer networking, he has joined Hipercom@LIX as a research intern, working on routing protocols for sensor networks for about 4 months.
2011-04-19
[hipercom] New Arrival: Ming-Chih Chien
Ming-Chih is a College Student from National Taiwan University, participating in International Exchange Program 2010-2011 with Ecole Polytechnque.
He has joined Hipeercom@LIX for an internship for one semester, during which he will be working on, among other things, multipath routing in MANETs
2011-04-19
[hipercom] 2:46: Aftershocks: Stories from the Japan Earthquake (Book)
The Twitter-sourced book "2:46: Aftershocks: Stories from the Japan Earthquake" is now available. The book is personal recollections and photos from both foreigners and Japanese in the hours and days following Japan's 9.0 earthquake, tsunami and ongoing nuclear emergency.
All of the proceeds from the book go to the Japan Red Cross. The book is available in digital form, for Kindle, Mac, PC, iPad, and smartphones.
Our current guest, Rodney Van Meter, is among the contributors to this work.
Our thoughts go out to our friends and colleagues in Japan.
+ More
2011-04-12
[tanc] We upgrade ourselves !
Crypto@LIX, and TANC, will evolve.
Stay tuned.
2011-02-16
[tanc] Congratulations Luca De Feo
Luca De Feo successfully defended his PhD thesis, Fast algorithms for towers of finite fields and isogenies, on 13/12/2010. He is now working as a postdoctoral researcher at Rennes.
2010-12-14
[tanc] Congratulations Jean-François Biasse
Jean-François Biasse defended his PhD thesis, "Algorithmes sous-exponentiels pour les corps de nombres" on 20/09/2010. He is currently working with the MAGMA group in Sydney.
2010-10-25
[tanc] François Morain at ECC 2010
François Morain was an invited speaker at the 25th anniversary Workshop on Elliptic Curves and Computation.
A video of his talk is available for download here.
2010-10-25
[tanc] François Morain at Pariscience 2010
François Morain was a guest on the discussion panel for the film Cosmic Code Breakers: the Secrets of Prime Numbers at the 2010 Pariscience film festival.
2010-10-25
[sysmo] Alberto Costa is one the 3 winners of the mathematical prize Xavier Gransart!
Alberto Costa, a PhD student from the sysmo team, won the mathematics competition Xavier Grandsart (http://xaviergrandsart.com/concours.htm), ex aequo with Maher YOUNAN (PhD student in physics from Geneva) and Pierre DELIGNE (Fields medal from Princeton).
2010-09-10
[tanc] Cryptography and Coding Theory
The Cryptography and Coding Theory research group at LIX is based around the INRIA Équipe-Projet TANC: Théorie Algebrique de Nombres pour la Cryptologie.
We approach problems in modern Public-Key Cryptography and Coding Theory from the point of view of Algorithmic Arithmetic and Algebraic Geometry, combining sophisticated mathematics with powerful algorithms.
2010-08-10
[tanc] News
François Morain was an invited speaker at the 25th anniversary Workshop on Elliptic Curves and Computation. (more...)
François Morain was on the panel for the film at the 2010 Pariscience film festival. (more...)
2010-08-10
[sysmo] The sysmo@lix team won the EURO/ROADEF Challenge 2010!
A team of researchers at LIX, Ecole Polytechnique (David Savourey, Vincent Jost, Nora Touati, Antoine Jeanjean, Christophe Duerr), all affiliated to the Microsoft-CNRS Chair "Optimization and Sustainable Development" (http://chaire-osd.polytechnique.fr) were awarded the first prize (in the "senior" category) of the ROADEF/EURO Challenge 2010 sponsored by Electricite de France (http://challenge.roadef.org/2010/index.en.htm). The challenge consists in computationally solving a large-scale production management problem with varied constraints. It allows qualified researchers to show their knowledge and demonstrate their know-how on pratical problems, and gives them the opportunity to establish partnerships with industrial companies.
2010-08-01
[sysmo] Conference : Complex System Design and Managment 2010 [27-29oct2010]
Complex Systems Design and Management (CSDM) 2010 is an European academic-industrial conference dedicated to all academic researchers and industrial actors working on complex industrial systems engineering.
2010-07-05
[sysmo] Conference : Toulouse Global Optimization 2010 [31aug-3sep2010]
The Toulouse Global Optimization workshop 2010 (TOGO10) welcomes original contributions in the field of Global Optimization (GO): theory, methods, applications.
2010-06-28
[sysmo] Postdoctoral positions open
The Microsoft Research-CNRS chair ``Optimization for Sustainable Development'' (http://chaire-osd.polytechnique.fr/) at LIX, Ecole Polytechnique (near Paris, France) is inviting applications for two postdoctoral positions in the field of Operations Research applied to Sustainable Development applications.
2010-06-15
[sysmo] European Workshop on Mixed Integer Nonlinear Programming 2010 [12-16apr2010]
Mixed-Integer Nonlinear Programming (MINLP) is a sub-field of Mathematical Programming (MP) specializing in modelling and solving one of the most general (and hard) classes of optimization problems: namely, problems including both nonlinear terms and integer variables. There are countless applications: in energy production, chemical engineering, scheduling, software verification, quantum chemistry, geometry, bioinformatics, nuclear engineering, and water distribution, to name a few. Small and medium scale MINLPs are currently solved using a Branch-and-Bound variant called "spatial Branch-and-Bound" (sBB), where branching is allowed on continuous as well as discrete variables that contribute to the gap between the original problem and its convex relaxation. For large-scale variants one must currently resort to heuristics, such as VNS, Feasibility Pump, Local Branching; or exploit the problem structure to derive special-purpose methods. Numerous individuals within the larger mathematical programming community have recognized MINLP as an important developing area that is likely to continue to grow rapidly in significant in the coming years. A MINLP community is currently forming, including numerous operations researchers with many different backgrounds: chemical engineering, (local) nonlinear programming, global optimization, mixed-integer linear programming, conic programming, and others. This workshop is the European counterpart to the IMA "Hot Topics" MINLP workshop held in Minneapolis, Nov. 2008, and intends to help establish an annual event around which the MINLP community can pool, grow and prosper.
2010-04-01
[sysmo] 6th Optimeo day at Lix
http://www.lix.polytechnique.fr/~liberti/optimeo10/
2010-03-02
[typical] Welcome !
TypiCal stands for Types, logic and Calculus. It is a project founded by INRIA Saclay, and is located at École Polytechnique, France.
2009-02-06
