research
Differences
This shows you the differences between two versions of the page.
|
research [2018/01/03 10:47] emmanuel [Research activity] |
research [2024/05/02 11:08] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ~~NOTOC~~ | ||
| - | ====== Research activity ====== | ||
| - | The scientific activity of APR mainly develops around Algorithms and Languages and several projects exist, with many collaborations | ||
| - | |||
| - | <html><table style='border:none;'><tr style='border:none;'></html> | ||
| - | <html><td style='border:none;width:40%;'><div style='margin:1em'></html> | ||
| - | <html><h3><a href='/actionGA/'>Random Generation Action</a></h3></html> | ||
| - | In the field of random generation of structures, Boltzmann model, which | ||
| - | comes from analytic combinatorics, shows to be particularly efficient for | ||
| - | generating objects obeying complex constraints. The goal of the action "Random Generation" is to develop Boltzmann methods for the automatic generation of tests for intensive and large scale applications, particularly in the context of testing and checking software. | ||
| - | |||
| - | ------------- | ||
| - | |||
| - | <html><h3>Web, Languages and Coherence Action</h3></html> | ||
| - | |||
| - | The goal of this action is to design and implement multitarget langages for the Web, compiled for client-server and database, with an objective of coherence. We both develop formal semantics for concurrent and distributed computing, and implement languages using these extensions to design Web applications. | ||
| - | |||
| - | ------------- | ||
| - | |||
| - | <html><h3>Seminars and working groups</h3></html> | ||
| - | |||
| - | * [[http://www-apr.lip6.fr/sem-comb-anal-enum.html|Combinatorics Seminar]], animated by M. Soria and S. Corteel | ||
| - | * [[http://www-apr.lip6.fr/~chaillou/Public/programmation/|"Programming" working group]], animated by E. Chailloux {{rss>http://gdtprog.blogspot.com/feeds/posts/default 3 date 1h }} | ||
| - | * [[https://www.lip6.fr/recherche/organise-archive.php?acronyme=APR|APR Seminar, animated by R. Demangeon & J. Baste (previously by B-M Bui-Xuan & A. Genitrini)]] | ||
| - | * [[http://wiki.sagemath.org/GroupeUtilisateursParis|Sage User Group in Paris region]], animated by F. Hivert, N. Thiéry (LRI, Paris-Sud), A. Valibouze, ... | ||
| - | |||
| - | |||
| - | ------------- | ||
| - | |||
| - | <html></td></html> | ||
| - | <html><td style='border:none;width:40%;'><div style='margin:1em'></html> | ||
| - | |||
| - | |||
| - | |||
| - | <html><h3>Projects in collaboration</h3></html> | ||
| - | |||
| - | * ERC Consolidator project [[https://www-apr.lip6.fr/~mine/mopsa/index.html | MOPSA]] (2015-2020) | ||
| - | * Systematic project LCHIP (2017-2020) | ||
| - | * ANR project [[http://www.anr-coverif.fr|COVERIF]] (2015-2019) | ||
| - | * ITEA3 project [[https://itea3.org/project/assume.html | ASSUME]] (2015-2018) | ||
| - | * PEPS APRES (2017) | ||
| - | * PEPS GraphGPU (2016-2017) | ||
| - | * Systematic project UCF (2014-2017) | ||
| - | * ANR network CHRONOS (2014-2016) | ||
| - | * ANR project [[http://www.algo-prog.info/cercles/|CERCLES]] (2011-2014) | ||
| - | * ANR project [[http://www-apr.lip6.fr/anrMagnum/|MAGNUM]] (2010-2015) | ||
| - | * ANR project [[http://www-sop.inria.fr/indes/pwd/|PWD]] (2010-14) | ||
| - | * Systematic project [[http://opengpu.net/|OpenGPU]] (2010-12) | ||
| - | * ANR project [[http://www-apr.lip6.fr/anrGamma/|GAMMA]] (2007-10) | ||
| - | * System@tic project [[http://www.projet-couverture.com/|COUVERTURE]] (2008-10) | ||
| - | * PEPS project STOCHASFLIP (2008-10) | ||
| - | * Digiteo project PWT (2007-10) | ||
| - | |||
| - | ------------- | ||
| - | |||
| - | <html><h3>LIP6 Projects</h3></html> | ||
| - | |||
| - | | ||
| - | * PART (2017-2018) : Conception d'algorithmes de tracking efficace sur architectures hétérogène | ||
| - | * LinkThreads (2014-) : Link flow analysis of dynamic graphs from traces of multithreaded programs (with Complex networks and MOVE) | ||
| - | * Z3 (2010-12): Implantation of the ZAM functional machine in the VMkit virtual machine (with REGAL) | ||
| - | * AFMI (2008-10) : Formal Approaches for the metrology of the Internet (with Complex Network) | ||
| - | * PAME (2008-10): Programming Emerging Multicore Architectures (with PEQUAN and ALSOC) | ||
| - | * SYNUS (2007-09): Symbolic-Numeric Algorithms for Solving Polynomial Systems (with PEQUAN and SALSA) | ||
| - | |||
| - | |||
| - | ------------- | ||
| - | |||
| - | <html><h3>APR days</h3></html> | ||
| - | |||
| - | * May 2016: [[http://www-apr.lip6.fr/journeeAPR2016.pdf|APR-2016]], organized by E. Chailloux | ||
| - | * June 2014 : [[http://www-apr.lip6.fr/journeeAPR2014.pdf|APR-2014]], organized by E. Chailloux | ||
| - | * June 2013 : [[http://www-apr.lip6.fr/journeeAPRjune2013.pdf|APR-2013]], organized by E. Chailloux, P. Trébuchet | ||
| - | * Feb 2012 [[http://www-apr.lip6.fr/journeeAPRfev2012.pdf|APR-2012]], organized by E. Chailloux | ||
| - | * June 2010 [[http://www-apr.lip6.fr/Seminaire-2010/programme-seminaire-apr.html|APR-2010]], organized by F. Peschanski, P. Trebuchet, A. Valibouze | ||
| - | |||
| - | ------------- | ||
| - | |||
| - | <html></td></tr></table></html> | ||
research.txt · Last modified: 2024/05/02 11:08 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
