Welcome to TiddlyWiki created by Jeremy Ruston; Copyright © 2004-2007 Jeremy Ruston, Copyright © 2007-2011 UnaMesa Association
<!--{{{-->
<link rel='alternate' type='application/rss+xml' title='RSS' href='index.xml' />
<!--}}}-->
Background: #fff
Foreground: #000
PrimaryPale: #8cf
PrimaryLight: #18f
PrimaryMid: #04b
PrimaryDark: #014
SecondaryPale: #ffc
SecondaryLight: #fe8
SecondaryMid: #db4
SecondaryDark: #841
TertiaryPale: #eee
TertiaryLight: #ccc
TertiaryMid: #999
TertiaryDark: #666
Error: #f88
/*{{{*/
body {background:[[ColorPalette::Background]]; color:[[ColorPalette::Foreground]];}
a {color:[[ColorPalette::PrimaryMid]];}
a:hover {background-color:[[ColorPalette::PrimaryMid]]; color:[[ColorPalette::Background]];}
a img {border:0;}
h1,h2,h3,h4,h5,h6 {color:[[ColorPalette::SecondaryDark]]; background:transparent;}
h1 {border-bottom:2px solid [[ColorPalette::TertiaryLight]];}
h2,h3 {border-bottom:1px solid [[ColorPalette::TertiaryLight]];}
.button {color:[[ColorPalette::PrimaryDark]]; border:1px solid [[ColorPalette::Background]];}
.button:hover {color:[[ColorPalette::PrimaryDark]]; background:[[ColorPalette::SecondaryLight]]; border-color:[[ColorPalette::SecondaryMid]];}
.button:active {color:[[ColorPalette::Background]]; background:[[ColorPalette::SecondaryMid]]; border:1px solid [[ColorPalette::SecondaryDark]];}
.header {background:[[ColorPalette::PrimaryMid]];}
.headerShadow {color:[[ColorPalette::Foreground]];}
.headerShadow a {font-weight:normal; color:[[ColorPalette::Foreground]];}
.headerForeground {color:[[ColorPalette::Background]];}
.headerForeground a {font-weight:normal; color:[[ColorPalette::PrimaryPale]];}
.tabSelected{color:[[ColorPalette::PrimaryDark]];
background:[[ColorPalette::TertiaryPale]];
border-left:1px solid [[ColorPalette::TertiaryLight]];
border-top:1px solid [[ColorPalette::TertiaryLight]];
border-right:1px solid [[ColorPalette::TertiaryLight]];
}
.tabUnselected {color:[[ColorPalette::Background]]; background:[[ColorPalette::TertiaryMid]];}
.tabContents {color:[[ColorPalette::PrimaryDark]]; background:[[ColorPalette::TertiaryPale]]; border:1px solid [[ColorPalette::TertiaryLight]];}
.tabContents .button {border:0;}
#sidebar {}
#sidebarOptions input {border:1px solid [[ColorPalette::PrimaryMid]];}
#sidebarOptions .sliderPanel {background:[[ColorPalette::PrimaryPale]];}
#sidebarOptions .sliderPanel a {border:none;color:[[ColorPalette::PrimaryMid]];}
#sidebarOptions .sliderPanel a:hover {color:[[ColorPalette::Background]]; background:[[ColorPalette::PrimaryMid]];}
#sidebarOptions .sliderPanel a:active {color:[[ColorPalette::PrimaryMid]]; background:[[ColorPalette::Background]];}
.wizard {background:[[ColorPalette::PrimaryPale]]; border:1px solid [[ColorPalette::PrimaryMid]];}
.wizard h1 {color:[[ColorPalette::PrimaryDark]]; border:none;}
.wizard h2 {color:[[ColorPalette::Foreground]]; border:none;}
.wizardStep {background:[[ColorPalette::Background]]; color:[[ColorPalette::Foreground]];
border:1px solid [[ColorPalette::PrimaryMid]];}
.wizardStep.wizardStepDone {background:[[ColorPalette::TertiaryLight]];}
.wizardFooter {background:[[ColorPalette::PrimaryPale]];}
.wizardFooter .status {background:[[ColorPalette::PrimaryDark]]; color:[[ColorPalette::Background]];}
.wizard .button {color:[[ColorPalette::Foreground]]; background:[[ColorPalette::SecondaryLight]]; border: 1px solid;
border-color:[[ColorPalette::SecondaryPale]] [[ColorPalette::SecondaryDark]] [[ColorPalette::SecondaryDark]] [[ColorPalette::SecondaryPale]];}
.wizard .button:hover {color:[[ColorPalette::Foreground]]; background:[[ColorPalette::Background]];}
.wizard .button:active {color:[[ColorPalette::Background]]; background:[[ColorPalette::Foreground]]; border: 1px solid;
border-color:[[ColorPalette::PrimaryDark]] [[ColorPalette::PrimaryPale]] [[ColorPalette::PrimaryPale]] [[ColorPalette::PrimaryDark]];}
.wizard .notChanged {background:transparent;}
.wizard .changedLocally {background:#80ff80;}
.wizard .changedServer {background:#8080ff;}
.wizard .changedBoth {background:#ff8080;}
.wizard .notFound {background:#ffff80;}
.wizard .putToServer {background:#ff80ff;}
.wizard .gotFromServer {background:#80ffff;}
#messageArea {border:1px solid [[ColorPalette::SecondaryMid]]; background:[[ColorPalette::SecondaryLight]]; color:[[ColorPalette::Foreground]];}
#messageArea .button {color:[[ColorPalette::PrimaryMid]]; background:[[ColorPalette::SecondaryPale]]; border:none;}
.popupTiddler {background:[[ColorPalette::TertiaryPale]]; border:2px solid [[ColorPalette::TertiaryMid]];}
.popup {background:[[ColorPalette::TertiaryPale]]; color:[[ColorPalette::TertiaryDark]]; border-left:1px solid [[ColorPalette::TertiaryMid]]; border-top:1px solid [[ColorPalette::TertiaryMid]]; border-right:2px solid [[ColorPalette::TertiaryDark]]; border-bottom:2px solid [[ColorPalette::TertiaryDark]];}
.popup hr {color:[[ColorPalette::PrimaryDark]]; background:[[ColorPalette::PrimaryDark]]; border-bottom:1px;}
.popup li.disabled {color:[[ColorPalette::TertiaryMid]];}
.popup li a, .popup li a:visited {color:[[ColorPalette::Foreground]]; border: none;}
.popup li a:hover {background:[[ColorPalette::SecondaryLight]]; color:[[ColorPalette::Foreground]]; border: none;}
.popup li a:active {background:[[ColorPalette::SecondaryPale]]; color:[[ColorPalette::Foreground]]; border: none;}
.popupHighlight {background:[[ColorPalette::Background]]; color:[[ColorPalette::Foreground]];}
.listBreak div {border-bottom:1px solid [[ColorPalette::TertiaryDark]];}
.tiddler .defaultCommand {font-weight:bold;}
.shadow .title {color:[[ColorPalette::TertiaryDark]];}
.title {color:[[ColorPalette::SecondaryDark]];}
.subtitle {color:[[ColorPalette::TertiaryDark]];}
.toolbar {color:[[ColorPalette::PrimaryMid]];}
.toolbar a {color:[[ColorPalette::TertiaryLight]];}
.selected .toolbar a {color:[[ColorPalette::TertiaryMid]];}
.selected .toolbar a:hover {color:[[ColorPalette::Foreground]];}
.tagging, .tagged {border:1px solid [[ColorPalette::TertiaryPale]]; background-color:[[ColorPalette::TertiaryPale]];}
.selected .tagging, .selected .tagged {background-color:[[ColorPalette::TertiaryLight]]; border:1px solid [[ColorPalette::TertiaryMid]];}
.tagging .listTitle, .tagged .listTitle {color:[[ColorPalette::PrimaryDark]];}
.tagging .button, .tagged .button {border:none;}
.footer {color:[[ColorPalette::TertiaryLight]];}
.selected .footer {color:[[ColorPalette::TertiaryMid]];}
.sparkline {background:[[ColorPalette::PrimaryPale]]; border:0;}
.sparktick {background:[[ColorPalette::PrimaryDark]];}
.error, .errorButton {color:[[ColorPalette::Foreground]]; background:[[ColorPalette::Error]];}
.warning {color:[[ColorPalette::Foreground]]; background:[[ColorPalette::SecondaryPale]];}
.lowlight {background:[[ColorPalette::TertiaryLight]];}
.zoomer {background:none; color:[[ColorPalette::TertiaryMid]]; border:3px solid [[ColorPalette::TertiaryMid]];}
.imageLink, #displayArea .imageLink {background:transparent;}
.annotation {background:[[ColorPalette::SecondaryLight]]; color:[[ColorPalette::Foreground]]; border:2px solid [[ColorPalette::SecondaryMid]];}
.viewer .listTitle {list-style-type:none; margin-left:-2em;}
.viewer .button {border:1px solid [[ColorPalette::SecondaryMid]];}
.viewer blockquote {border-left:3px solid [[ColorPalette::TertiaryDark]];}
.viewer table, table.twtable {border:2px solid [[ColorPalette::TertiaryDark]];}
.viewer th, .viewer thead td, .twtable th, .twtable thead td {background:[[ColorPalette::SecondaryMid]]; border:1px solid [[ColorPalette::TertiaryDark]]; color:[[ColorPalette::Background]];}
.viewer td, .viewer tr, .twtable td, .twtable tr {border:1px solid [[ColorPalette::TertiaryDark]];}
.viewer pre {border:1px solid [[ColorPalette::SecondaryLight]]; background:[[ColorPalette::SecondaryPale]];}
.viewer code {color:[[ColorPalette::SecondaryDark]];}
.viewer hr {border:0; border-top:dashed 1px [[ColorPalette::TertiaryDark]]; color:[[ColorPalette::TertiaryDark]];}
.highlight, .marked {background:[[ColorPalette::SecondaryLight]];}
.editor input {border:1px solid [[ColorPalette::PrimaryMid]];}
.editor textarea {border:1px solid [[ColorPalette::PrimaryMid]]; width:100%;}
.editorFooter {color:[[ColorPalette::TertiaryMid]];}
.readOnly {background:[[ColorPalette::TertiaryPale]];}
#backstageArea {background:[[ColorPalette::Foreground]]; color:[[ColorPalette::TertiaryMid]];}
#backstageArea a {background:[[ColorPalette::Foreground]]; color:[[ColorPalette::Background]]; border:none;}
#backstageArea a:hover {background:[[ColorPalette::SecondaryLight]]; color:[[ColorPalette::Foreground]]; }
#backstageArea a.backstageSelTab {background:[[ColorPalette::Background]]; color:[[ColorPalette::Foreground]];}
#backstageButton a {background:none; color:[[ColorPalette::Background]]; border:none;}
#backstageButton a:hover {background:[[ColorPalette::Foreground]]; color:[[ColorPalette::Background]]; border:none;}
#backstagePanel {background:[[ColorPalette::Background]]; border-color: [[ColorPalette::Background]] [[ColorPalette::TertiaryDark]] [[ColorPalette::TertiaryDark]] [[ColorPalette::TertiaryDark]];}
.backstagePanelFooter .button {border:none; color:[[ColorPalette::Background]];}
.backstagePanelFooter .button:hover {color:[[ColorPalette::Foreground]];}
#backstageCloak {background:[[ColorPalette::Foreground]]; opacity:0.6; filter:'alpha(opacity=60)';}
/*}}}*/
/*{{{*/
* html .tiddler {height:1%;}
body {font-size:.75em; font-family:arial,helvetica; margin:0; padding:0;}
h1,h2,h3,h4,h5,h6 {font-weight:bold; text-decoration:none;}
h1,h2,h3 {padding-bottom:1px; margin-top:1.2em;margin-bottom:0.3em;}
h4,h5,h6 {margin-top:1em;}
h1 {font-size:1.35em;}
h2 {font-size:1.25em;}
h3 {font-size:1.1em;}
h4 {font-size:1em;}
h5 {font-size:.9em;}
hr {height:1px;}
a {text-decoration:none;}
dt {font-weight:bold;}
ol {list-style-type:decimal;}
ol ol {list-style-type:lower-alpha;}
ol ol ol {list-style-type:lower-roman;}
ol ol ol ol {list-style-type:decimal;}
ol ol ol ol ol {list-style-type:lower-alpha;}
ol ol ol ol ol ol {list-style-type:lower-roman;}
ol ol ol ol ol ol ol {list-style-type:decimal;}
.txtOptionInput {width:11em;}
#contentWrapper .chkOptionInput {border:0;}
.externalLink {text-decoration:underline;}
.indent {margin-left:3em;}
.outdent {margin-left:3em; text-indent:-3em;}
code.escaped {white-space:nowrap;}
.tiddlyLinkExisting {font-weight:bold;}
.tiddlyLinkNonExisting {font-style:italic;}
/* the 'a' is required for IE, otherwise it renders the whole tiddler in bold */
a.tiddlyLinkNonExisting.shadow {font-weight:bold;}
#mainMenu .tiddlyLinkExisting,
#mainMenu .tiddlyLinkNonExisting,
#sidebarTabs .tiddlyLinkNonExisting {font-weight:normal; font-style:normal;}
#sidebarTabs .tiddlyLinkExisting {font-weight:bold; font-style:normal;}
.header {position:relative;}
.header a:hover {background:transparent;}
.headerShadow {position:relative; padding:4.5em 0 1em 1em; left:-1px; top:-1px;}
.headerForeground {position:absolute; padding:4.5em 0 1em 1em; left:0px; top:0px;}
.siteTitle {font-size:3em;}
.siteSubtitle {font-size:1.2em;}
#mainMenu {position:absolute; left:0; width:10em; text-align:right; line-height:1.6em; padding:1.5em 0.5em 0.5em 0.5em; font-size:1.1em;}
#sidebar {position:absolute; right:3px; width:16em; font-size:.9em;}
#sidebarOptions {padding-top:0.3em;}
#sidebarOptions a {margin:0 0.2em; padding:0.2em 0.3em; display:block;}
#sidebarOptions input {margin:0.4em 0.5em;}
#sidebarOptions .sliderPanel {margin-left:1em; padding:0.5em; font-size:.85em;}
#sidebarOptions .sliderPanel a {font-weight:bold; display:inline; padding:0;}
#sidebarOptions .sliderPanel input {margin:0 0 0.3em 0;}
#sidebarTabs .tabContents {width:15em; overflow:hidden;}
.wizard {padding:0.1em 1em 0 2em;}
.wizard h1 {font-size:2em; font-weight:bold; background:none; padding:0; margin:0.4em 0 0.2em;}
.wizard h2 {font-size:1.2em; font-weight:bold; background:none; padding:0; margin:0.4em 0 0.2em;}
.wizardStep {padding:1em 1em 1em 1em;}
.wizard .button {margin:0.5em 0 0; font-size:1.2em;}
.wizardFooter {padding:0.8em 0.4em 0.8em 0;}
.wizardFooter .status {padding:0 0.4em; margin-left:1em;}
.wizard .button {padding:0.1em 0.2em;}
#messageArea {position:fixed; top:2em; right:0; margin:0.5em; padding:0.5em; z-index:2000; _position:absolute;}
.messageToolbar {display:block; text-align:right; padding:0.2em;}
#messageArea a {text-decoration:underline;}
.tiddlerPopupButton {padding:0.2em;}
.popupTiddler {position: absolute; z-index:300; padding:1em; margin:0;}
.popup {position:absolute; z-index:300; font-size:.9em; padding:0; list-style:none; margin:0;}
.popup .popupMessage {padding:0.4em;}
.popup hr {display:block; height:1px; width:auto; padding:0; margin:0.2em 0;}
.popup li.disabled {padding:0.4em;}
.popup li a {display:block; padding:0.4em; font-weight:normal; cursor:pointer;}
.listBreak {font-size:1px; line-height:1px;}
.listBreak div {margin:2px 0;}
.tabset {padding:1em 0 0 0.5em;}
.tab {margin:0 0 0 0.25em; padding:2px;}
.tabContents {padding:0.5em;}
.tabContents ul, .tabContents ol {margin:0; padding:0;}
.txtMainTab .tabContents li {list-style:none;}
.tabContents li.listLink { margin-left:.75em;}
#contentWrapper {display:block;}
#splashScreen {display:none;}
#displayArea {margin:1em 17em 0 14em;}
.toolbar {text-align:right; font-size:.9em;}
.tiddler {padding:1em 1em 0;}
.missing .viewer,.missing .title {font-style:italic;}
.title {font-size:1.6em; font-weight:bold;}
.missing .subtitle {display:none;}
.subtitle {font-size:1.1em;}
.tiddler .button {padding:0.2em 0.4em;}
.tagging {margin:0.5em 0.5em 0.5em 0; float:left; display:none;}
.isTag .tagging {display:block;}
.tagged {margin:0.5em; float:right;}
.tagging, .tagged {font-size:0.9em; padding:0.25em;}
.tagging ul, .tagged ul {list-style:none; margin:0.25em; padding:0;}
.tagClear {clear:both;}
.footer {font-size:.9em;}
.footer li {display:inline;}
.annotation {padding:0.5em; margin:0.5em;}
* html .viewer pre {width:99%; padding:0 0 1em 0;}
.viewer {line-height:1.4em; padding-top:0.5em;}
.viewer .button {margin:0 0.25em; padding:0 0.25em;}
.viewer blockquote {line-height:1.5em; padding-left:0.8em;margin-left:2.5em;}
.viewer ul, .viewer ol {margin-left:0.5em; padding-left:1.5em;}
.viewer table, table.twtable {border-collapse:collapse; margin:0.8em 1.0em;}
.viewer th, .viewer td, .viewer tr,.viewer caption,.twtable th, .twtable td, .twtable tr,.twtable caption {padding:3px;}
table.listView {font-size:0.85em; margin:0.8em 1.0em;}
table.listView th, table.listView td, table.listView tr {padding:0px 3px 0px 3px;}
.viewer pre {padding:0.5em; margin-left:0.5em; font-size:1.2em; line-height:1.4em; overflow:auto;}
.viewer code {font-size:1.2em; line-height:1.4em;}
.editor {font-size:1.1em;}
.editor input, .editor textarea {display:block; width:100%; font:inherit;}
.editorFooter {padding:0.25em 0; font-size:.9em;}
.editorFooter .button {padding-top:0px; padding-bottom:0px;}
.fieldsetFix {border:0; padding:0; margin:1px 0px;}
.sparkline {line-height:1em;}
.sparktick {outline:0;}
.zoomer {font-size:1.1em; position:absolute; overflow:hidden;}
.zoomer div {padding:1em;}
* html #backstage {width:99%;}
* html #backstageArea {width:99%;}
#backstageArea {display:none; position:relative; overflow: hidden; z-index:150; padding:0.3em 0.5em;}
#backstageToolbar {position:relative;}
#backstageArea a {font-weight:bold; margin-left:0.5em; padding:0.3em 0.5em;}
#backstageButton {display:none; position:absolute; z-index:175; top:0; right:0;}
#backstageButton a {padding:0.1em 0.4em; margin:0.1em;}
#backstage {position:relative; width:100%; z-index:50;}
#backstagePanel {display:none; z-index:100; position:absolute; width:90%; margin-left:3em; padding:1em;}
.backstagePanelFooter {padding-top:0.2em; float:right;}
.backstagePanelFooter a {padding:0.2em 0.4em;}
#backstageCloak {display:none; z-index:20; position:absolute; width:100%; height:100px;}
.whenBackstage {display:none;}
.backstageVisible .whenBackstage {display:block;}
/*}}}*/
/***
StyleSheet for use when a translation requires any css style changes.
This StyleSheet can be used directly by languages such as Chinese, Japanese and Korean which need larger font sizes.
***/
/*{{{*/
body {font-size:0.8em;}
#sidebarOptions {font-size:1.05em;}
#sidebarOptions a {font-style:normal;}
#sidebarOptions .sliderPanel {font-size:0.95em;}
.subtitle {font-size:0.8em;}
.viewer table.listView {font-size:0.95em;}
/*}}}*/
/*{{{*/
@media print {
#mainMenu, #sidebar, #messageArea, .toolbar, #backstageButton, #backstageArea {display: none !important;}
#displayArea {margin: 1em 1em 0em;}
noscript {display:none;} /* Fixes a feature in Firefox 1.5.0.2 where print preview displays the noscript content */
}
/*}}}*/
<!--{{{-->
<div class='header' macro='gradient vert [[ColorPalette::PrimaryLight]] [[ColorPalette::PrimaryMid]]'>
<div class='headerShadow'>
<span class='siteTitle' refresh='content' tiddler='SiteTitle'></span>
<span class='siteSubtitle' refresh='content' tiddler='SiteSubtitle'></span>
</div>
<div class='headerForeground'>
<span class='siteTitle' refresh='content' tiddler='SiteTitle'></span>
<span class='siteSubtitle' refresh='content' tiddler='SiteSubtitle'></span>
</div>
</div>
<div id='mainMenu' refresh='content' tiddler='MainMenu'></div>
<div id='sidebar'>
<div id='sidebarOptions' refresh='content' tiddler='SideBarOptions'></div>
<div id='sidebarTabs' refresh='content' force='true' tiddler='SideBarTabs'></div>
</div>
<div id='displayArea'>
<div id='messageArea'></div>
<div id='tiddlerDisplay'></div>
</div>
<!--}}}-->
<!--{{{-->
<div class='toolbar' macro='toolbar [[ToolbarCommands::ViewToolbar]]'></div>
<div class='title' macro='view title'></div>
<div class='subtitle'><span macro='view modifier link'></span>, <span macro='view modified date'></span> (<span macro='message views.wikified.createdPrompt'></span> <span macro='view created date'></span>)</div>
<div class='tagging' macro='tagging'></div>
<div class='tagged' macro='tags'></div>
<div class='viewer' macro='view text wikified'></div>
<div class='tagClear'></div>
<!--}}}-->
<!--{{{-->
<div class='toolbar' macro='toolbar [[ToolbarCommands::EditToolbar]]'></div>
<div class='title' macro='view title'></div>
<div class='editor' macro='edit title'></div>
<div macro='annotations'></div>
<div class='editor' macro='edit text'></div>
<div class='editor' macro='edit tags'></div><div class='editorFooter'><span macro='message views.editor.tagPrompt'></span><span macro='tagChooser excludeLists'></span></div>
<!--}}}-->
To get started with this blank [[TiddlyWiki]], you'll need to modify the following tiddlers:
* [[SiteTitle]] & [[SiteSubtitle]]: The title and subtitle of the site, as shown above (after saving, they will also appear in the browser title bar)
* [[MainMenu]]: The menu (usually on the left)
* [[DefaultTiddlers]]: Contains the names of the tiddlers that you want to appear when the TiddlyWiki is opened
You'll also need to enter your username for signing your edits: <<option txtUserName>>
These [[InterfaceOptions]] for customising [[TiddlyWiki]] are saved in your browser
Your username for signing your edits. Write it as a [[WikiWord]] (eg [[JoeBloggs]])
<<option txtUserName>>
<<option chkSaveBackups>> [[SaveBackups]]
<<option chkAutoSave>> [[AutoSave]]
<<option chkRegExpSearch>> [[RegExpSearch]]
<<option chkCaseSensitiveSearch>> [[CaseSensitiveSearch]]
<<option chkAnimate>> [[EnableAnimations]]
----
Also see [[AdvancedOptions]]
Je suis Maître de Conférences à l'Université Pierre et Marie Curie ([[UPMC|http://www.upmc.fr]]) à Paris et j'effectue mes recherches au sein du laboratoire d'informatique de Paris 6 ([[LIP6|http://www.lip6.fr]]).
Je suis membre de l'équipe [[APR|http://www-apr.lip6.fr/]] (Algorithmes, Programmes et Résolution).
Mes recherches portent principalement sur la ''Théorie de la concurrence'' (en particulier le [[pi-calcul|PiCalculus]] et ses relations avec les ''Langages de Programmation''. Plus généralement, je m'intéresse à l'utilisation des ''méthodes formelles'' pour le développement logiciel. Cf. [[Research]] (en anglais).
Mes activités d'enseignement sont en général liées aux langages de programmation, au génie logiciel et aux méthodes formelles. Cf. [[Enseignement]].
$C_n = \frac{1}{n+1}{2n\choose n} = \frac{(2n)!}{(n+1)!\,n!} = \prod\limits_{k=2}^{n}\frac{n+k}{k} \qquad\mbox{ for } \qquad n\ge 0.$
[[Welcome]]
[[Bienvenue]]
!!!Enseignements en 2011/2012
* LI101 : [[Programmation récursive|http://www-licence.ufr-info-p6.jussieu.fr/lmd/licence/2011/ue/LI101-2011oct/]] Licence première année (L1).
** Chargé de cours
** Responsable de l'environnement logiciel : cf. [[MrScheme]]
* LI337 : [[Introduction à la Sémantique des Langages de Programmation|http://www-licence.ufr-info-p6.jussieu.fr/lmd/licence/2011/ue/LI337-2011oct/]]. Licence troisième année (L3).
** Chargé de cours et de travaux dirigés
* LI223 : [[Introduction à la Compilation et aux Machines Virtuelles|http://www-licence.ufr-info-p6.jussieu.fr/lmd/licence/2011/ue/LI223-2012fev/]]. Licence deuxième année (L2).
** Responsable administratif.
** Chargé de cours et de travaux dirigés
* MI047 : [[Composants|http://www-master.ufr-info-p6.jussieu.fr/2011/cps]]. Master première année (M1).
** Responsable administratif.
** Chargé de cours et de travaux dirigés.
* MI509 : [[Sémantique de la concurrence et de la mobilité|http://www-master.ufr-info-p6.jussieu.fr/2011/sacc]]. Master deuxième année (M2).
** Responsable administratif.
** Chargé de cours.
!!!Années précédentes
[[Enseignement2010]]
[[Enseignement2009]]
[[Enseignement2008]]
[[Enseignement2007]]
This is a list of links about (mostly computer science) things I want to keep somewhere ...
Functional Red-black trees : http://matt.might.net/articles/red-black-delete/
Top-down operator precedence parsing : http://eli.thegreenplace.net/2010/01/02/top-down-operator-precedence-parsing/
The little C function from hell : http://blog.regehr.org/archives/482
[[Welcome]]
[[Bienvenue]]
[[Research]]
[[Teaching]] -- [[Enseignement]]
/***
|''Name''|MathJaxTiddlyPlugin|
|''Description''|This plugin enables Tiddlywiki to use [[MathJax|http://www.mathjax.org/]] to render mathematical expressions.|
|''Author''|[[Lizao Li|http://math.umn.edu/~lixx1445]]|
|''Version''|1.50|
|''Created''|Jan 23, 2011|
|''Last updated'' |Apr 18, 2011|
|''Status''|stable|
|''Source''|http://math.umn.edu/~lixx1445|
|''Copyright''|[[GPLv3|http://www.gnu.org/licenses/gpl-3.0.html]]|
|''CoreVersion''|2.6.1|
|''Feedback''|[[creatorlarryli@gmail.com|mailto:creatorlarryli@gmail.com]]|
|''Keywords''|MathJax, Tiddlywiki, MathJaxTiddlyPlugin|
!Installation
Backstage (top-right corner) -> import -> use the URL of this page -> choose "MathJaxTiddlyPlugin" -> import
!Configuration
* <<option chkMathJaxUseCustomizedSettings>> Enable the dollar sign for inline math.
* Configuration file to use <<option txtMathJaxConfigurationFile>>.
** There are 4 possible choices: @@TeX-AMS-MML_HTMLorMML@@ (default), @@TeX-AMS_HTML@@, @@MML_HTMLorMML@@, @@Accessible@@
** You can find details about these settings from [[MathJax website|http://www.mathjax.org/docs/1.1/config-files.html#common-configurations]].
* Use MathJax to render tiddlers with tag <<option txtMathJaxTag>>.
''A note for authors:'' The above settings are actually for readers of the webpage, which are only saved in the local cookies. To save these settings so that all the readers will see the same, authors should set these settings persistently. You can add the following to the system tiddler [[SystemSettings]]:
{{{
chkMathJaxUseCustomizedSettings: false
txtMathJaxConfigurationFile: TeX-AMS-MML_HTMLorMML
txtMathJaxTag: math
}}}
More about persistent settings can be found on the [[official website|http://tiddlywiki.com/#PersistentOptions]].
!Usage
Tag the tiddlers need math rendering with "math" or the name set in the configuration.
!Examples
{{{
*Inline math test
**syntax 1: $\int_1^4 \sqrt{1+\sin(x)}\,dx$
**syntax 2: \(\alpha^{\beta^\gamma}\)
*Display-style math test:
**syntax 1:$$\frac{\partial v}{\partial t}+(v\cdot\nabla)v=-\nabla p+v\Delta v+f(x,t)$$
**syntax 2:\[\int_{\mathbb{R}}\frac{f(y)}{|x-y|^{3/2}}\,dy\]
}}}
The result should look like this:
*Inline math test
**syntax 1: $\int_1^4 \sqrt{1+\sin(x)}\,dx$
**syntax 2: \(\alpha^{\beta^\gamma}\)
*Display-style math test:
**syntax 1:$$\frac{\partial v}{\partial t}+(v\cdot\nabla)v=-\nabla p+v\Delta v+f(x,t)$$
**syntax 2:\[\int_{\mathbb{R}}\frac{f(y)}{|x-y|^{3/2}}\,dy\]
* There is also a more complicated [[demo|MathJaxTiddlyPluginDemo]]
!Revision History
* v1.50 (2011-04-18) - Bugs fixed. Thanks to James Montaldi to point out that WikiTexts inside the math blocks are wrongly rendered. The fix was inspired by [[Bob McElrath's jsMath|http://bob.mcelrath.org/tiddlyjsmath-2.0.3.html]] and [[Martin Budden's FormatterPlugin|http://www.martinswiki.com/]].
* v1.15 (2011-03-31) - Added configurations. Now renders math according to the tag (Thanks to Patrick Ion for the suggestions).
* v1.1 (2011-03-17) - Updated after MathJax was updated to 1.1. Now MathJax is loading from the CDN, instead of the local server.
* v1.0 (2011-01-23) - Created.
!Code
***/
//{{{
if(!version.extensions.MathJaxPlugin) { // [ensure that the plugin is only installed once]
version.extensions.MathJaxPlugin = { installed: true };
if(config.options.chkMathJaxUseCustomizedSettings == undefined) config.options.chkMathJaxUseCustomizedSettings = false;
if(config.options.txtMathJaxConfigurationFile == undefined) config.options.txtMathJaxConfigurationFile = 'TeX-AMS-MML_HTMLorMML';
if(config.options.txtMathJaxTag == undefined) config.options.txtMathJaxTag = 'math';
// [hijack refreshTiddler() to render mathjax]
(function() {
// [backup the original function]
Story.prototype.oldrefreshfunction = Story.prototype.refreshTiddler;
// [override the original function]
Story.prototype.refreshTiddler = function(title,template,force,customFields,defaultText) {
Story.prototype.oldrefreshfunction.apply(this,arguments);
if(window.MathJax) {
for(var i=0;i<tiddler.tags.length;i++){
if(tiddler.tags[i] == config.options.txtMathJaxTag){
window.MathJax.Hub.Queue(["Typeset",window.MathJax.Hub]);
}
}
}
}
})();
(function () {
// [add the mathjax settings to the header]
var mathjax_config = document.createElement("script");
mathjax_config.type = "text/x-mathjax-config";
var content_mathjax_config = "";
// [enable the dollar sign for inline math rendering]
if(config.options.chkMathJaxUseCustomizedSettings == true){
content_mathjax_config = content_mathjax_config +
"MathJax.Hub.Config({ tex2jax: { inlineMath: [ ['$','$'], ['\\\\(','\\\\)'] ], displayMath: [ ['$$','$$'], ['\\\\[','\\\\]'] ], processEscapes: true }});";
}
content_mathjax_config = content_mathjax_config + 'MathJax.Hub.Startup.onload();';
if (window.opera) {mathjax_config.innerHTML = content_mathjax_config}
else {mathjax_config.text = content_mathjax_config}
document.getElementsByTagName("head")[0].appendChild(mathjax_config);
//# Add the mathjax main script to the header
var script = document.createElement("script");
script.type = "text/javascript";
script.src = "http://cdn.mathjax.org/mathjax/latest/MathJax.js?config="+config.options.txtMathJaxConfigurationFile;
document.getElementsByTagName("head")[0].appendChild(script);
})();
config.extensions.MathJaxPlugin = {
};
config.MathJax = {};
// Render matched text as plain text without wikification (adapted from Bob McElrath's jsMath and Martin Budden's FormatterPlugin)
config.MathJax.OutputPlainText = function(w) {
createTiddlyElement(w.output);
var e = document.createElement(this.element);
var endRegExp = new RegExp(this.termRegExp, "mg");
endRegExp.lastIndex = w.matchStart+w.matchLength;
var matched = endRegExp.exec(w.source);
if(matched) {
var txt = w.source.substr(w.matchStart, matched.index+matched[0].length-w.matchStart);
if(this.keepdelim) {
txt = w.source.substr(w.matchStart, matched.index+matched[0].length-w.matchStart);
}
e.appendChild(document.createTextNode(txt));
w.output.appendChild(e);
w.nextMatch = endRegExp.lastIndex;
}
}
config.MathJax.formatters = config.formatters;
// Match the math blocks
config.MathJax.formatters.push({
name: "mathjaxDisplay1",
match: "\\\$\\\$",
termRegExp: "\\\$\\\$",
handler: config.MathJax.OutputPlainText
});
config.MathJax.formatters.push({
name: "mathjaxDisplay2",
match: "\\\\\\\[",
termRegExp: "\\\\\\\]",
handler: config.MathJax.OutputPlainText
});
config.MathJax.formatters.push({
name: "mathjaxInline1",
match: "\\\$",
termRegExp: "\\\$",
handler: config.MathJax.OutputPlainText
});
config.MathJax.formatters.push({
name: "mathjaxInline2",
match: "\\\\\\\(",
termRegExp: "\\\\\\\)",
handler: config.MathJax.OutputPlainText
});
config.parsers.MathJaxFormatter = new Formatter(config.MathJax.formatters);
config.parsers.MathJaxFormatter.format = 'MathJax';
config.parsers.MathJaxFormatter.formatTag = config.options.txtMathJaxTag;
}//# end of "install only once"
//}}}
''Research interests''
* Formal methods : modelling and verification
* Programming languages : semantics and implementation
* Concurrency theory : process algebras, diagrams
* Multi-threaded/Multi-core programming
* Calculi, Logic and Types
* Analytic Combinatorics
''Current projects''
* The [[Pi-graphs]] : modelling and verification of reconfigurable systems
* The [[Pi-threads]] : calculus and VM for multicore programming
* The [[ALPACA]] project : Analytic combinatorics for the quantitative study of concurrent systems (funded by [[PEPS 2012 - CNRS|http://www.cnrs.fr/ins2i/spip.php?article143]])
''Publications''
[[DBLP|http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Peschanski:Fr=eacute=d=eacute=ric.html]] -- [[Google Scholar|http://scholar.google.fr/scholar?q=frederic+peschanski&hl=fr&btnG=Rechercher&lr=]] -- [[HAL|http://hal.archives-ouvertes.fr/index.php?action_todo=search&s_type=advanced&submit=1&search_without_file=YES&f_0=LASTNAME&p_0=is_exactly&f_1=FIRSTNAME&p_1=is_exactly&l_0=and&halsid=idkbtkb1p279mrkdut9kcn0is4&v_0=Peschanski&v_1=Fr%C3%A9d%C3%A9ric]]
''Software''
* JavaPi -- LuaPi : implementations of the Pi-threads calculus
* ArboGen : uniform random generation of (large) trees
* [[Graffiti]] : graph rewriting framework
''Past projects''
* The interaction spaces
* Comet middleware
Maître de Conférences -- UPMC -- LIP6 -- APR
.viewer {
line-height: 125%;
font-family: serif;
font-size: 12pt;
}
config.options.chkHttpReadOnly = true;
chkMathJaxUseCustomizedSettings: true
txtMathJaxConfigurationFile: TeX-AMS-MML_HTMLorMML
txtMathJaxTag: math
At the undergraduate level, I am teaching (in 2011-2012):
* Recursive programming using (a subset of) the Scheme programming language
* Formal semantics of programming languages
* Introduction to compilation and virtual machines
At the graduate level :
* Lightweight formal methods for component-based software engineering
* Concurrency theory and algorithmic applications
I am a //Maître de Conférences// (Assistant professor) at the Computer science laboratory (named [[Lip6|http://www.lip6.fr]]) of the University //Pierre & Marie Curie// ([[UPMC|www.upmc.fr]]) in Paris.
I am a member of the [[APR|http://www-apr.lip6.fr/]] (Algorithms, Programs and Resolution) team.
As a researcher, I mostly study ''Concurrency theory'' (especially the [[pi-calculus|PiCalculus]]) and its relation to ''Programming Languages''. More broadly, I am interested in ''formal methods'' for software construction. See [[Research]].
My teaching activities mostly relate to programming languages, software engineering and formal methods. See [[Teaching]].