Welcome to TiddlyWiki created by Jeremy Ruston, Copyright © 2007 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]];}
#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 0em 1em 1em; left:-1px; top:-1px;}
.headerForeground {position:absolute; padding:4.5em 0em 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:0em 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 .3em 0;}
#sidebarTabs .tabContents {width:15em; overflow:hidden;}
.wizard {padding:0.1em 1em 0em 2em;}
.wizard h1 {font-size:2em; font-weight:bold; background:none; padding:0em 0em 0em 0em; margin:0.4em 0em 0.2em 0em;}
.wizard h2 {font-size:1.2em; font-weight:bold; background:none; padding:0em 0em 0em 0em; margin:0.4em 0em 0.2em 0em;}
.wizardStep {padding:1em 1em 1em 1em;}
.wizard .button {margin:0.5em 0em 0em 0em; font-size:1.2em;}
.wizardFooter {padding:0.8em 0.4em 0.8em 0em;}
.wizardFooter .status {padding:0em 0.4em 0em 0.4em; margin-left:1em;}
.wizard .button {padding:0.1em 0.2em 0.1em 0.2em;}
#messageArea {position:fixed; top:2em; right:0em; margin:0.5em; padding:0.5em; z-index:2000; _position:absolute;}
.messageToolbar {display:block; text-align:right; padding:0.2em 0.2em 0.2em 0.2em;}
#messageArea a {text-decoration:underline;}
.tiddlerPopupButton {padding:0.2em 0.2em 0.2em 0.2em;}
.popupTiddler {position: absolute; z-index:300; padding:1em 1em 1em 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 0em;}
.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 0em 0em 0.5em;}
.tab {margin:0em 0em 0em 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 0em 14em;}
.toolbar {text-align:right; font-size:.9em;}
.tiddler {padding:1em 1em 0em 1em;}
.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:0em 0.25em; padding:0em 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 0em; font-size:.9em;}
.editorFooter .button {padding-top:0px; padding-bottom:0px;}
.fieldsetFix {border:0; padding:0; margin:1px 0px 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 0.3em 0.5em;}
#backstageToolbar {position:relative;}
#backstageArea a {font-weight:bold; margin-left:0.5em; padding:0.3em 0.5em 0.3em 0.5em;}
#backstageButton {display:none; position:absolute; z-index:175; top:0em; right:0em;}
#backstageButton a {padding:0.1em 0.4em 0.1em 0.4em; margin:0.1em 0.1em 0.1em 0.1em;}
#backstage {position:relative; width:100%; z-index:50;}
#backstagePanel {display:none; z-index:100; position:absolute; width:90%; margin:0em 3em 0em 3em; padding:1em 1em 1em 1em;}
.backstagePanelFooter {padding-top:0.2em; float:right;}
.backstagePanelFooter a {padding:0.2em 0.4em 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 1em;}
/* Fixes a feature in Firefox 1.5.0.2 where print preview displays the noscript content */
noscript {display:none;}
}
/*}}}*/
<!--{{{-->
<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]]
Virgile Mogbil - Maître de conférences - Cette année 2009-10, en délégation au CNRS.
27ème section du CNU - Institut du CNRS : ~INS2I (Sciences Informatiques et leurs Interactions).
!!!Coordonnées :
[>img[Virgile Mogbil|img/virgile_080115.jpg]]Equipe Logique, Calcul et Raisonnement, Bureau A207
Laboratoire d'Informatique de l'Université Paris Nord, UMR CNRS 7030
Institut Galilée - Université Paris Nord
99, Avenue Jean - Baptiste Clément
93430 Villetaneuse, France
Tel : +33 1 49 40 36 84
Fax : +33 1 48 26 07 12
Email : prenom.nom [At} lipn.univ-paris13.fr
!!!Informations récentes :
*Workshop on ''Develoments in Implicit Computational ~ComplExity'' ([[DICE 2010|http://www.ens-lyon.fr/LIP/DICE2010/]]), March 27-28, 2010, satellite event of [[ETAPS 2010|http://www.etaps10.cs.ucy.ac.cy/]], Paphos, Cyprus. ''Deadline for paper submission: December 21, 2009 (extended)''. Proceedings in the Electronic Proceedings in Theoretical Computer Science series (EPTCS).
*Sujets de ''stage Master 2 Recherche 2009-10'' : [[dans l'équipe LCR|http://www-lipn.univ-paris13.fr/LCR/Stages/]].
*[[Poste|http://www-lipn.univ-paris13.fr/%7Ecf/Postes/index.html]] de maître de conférences en informatique (section CNU 27, logique linéaire et calcul) au LIPN adossé à une chaire CNRS : recrutement de Michele Pagani.
*ANR Blanc [[COMPLICE|http://www-lipn.univ-paris13.fr/complice/]] (Complexité Implicite, Concurrence et Extraction) en partenariat avec Univ. Paris 13 - LIPN, ENS Lyon - LIP, INPL Nancy - LORIA. Réunions : [[27 Janvier 2009|http://www-lipn.univ-paris13.fr/complice/spip.php?article14]] au LIPN, [[8 Juin 2009|http://www-lipn.univ-paris13.fr/complice/spip.php?article20]] à l’ENS Lyon.
*Conseil scientifique de l'université Paris 13 : les PV sont consultables (source : [[sinfonie.univ-paris13.fr > Mon université > Procès verbaux|http://sinfonie.univ-paris13.fr/]]).
/%
*Notre liste a obtenu 1 siège au conseil scientifique de l'université Paris 13. Merci de votre confiance, Virgile Mogbil (Informatique LIPN - IG), Guillaume Lombardi (~Chimie-Génie des procédés LIMHP - IG) et Yves Roussigne (Physique LPMTM - IUT ~St-Denis) -[[profession de foi|http://www-lipn.univ-paris13.fr/~mogbil/cs_p13/PROFESSION_DE_FOI_CS_DOC2_en_avant_la_recherche.pdf]]. Voici les résultats (source : sinfonie.univ-paris13.fr) pour l'ensemble des élections : [[Conseil d'administration|http://www-test.univ-paris13.fr/sinfonie_test/images/stories/proclamations_ca.pdf]], [[Conseil scientifique|http://www-test.univ-paris13.fr/sinfonie_test/images/stories/proclamations_cs.pdf]], [[Conseil des études et de la Vie Universitaire|http://www-test.univ-paris13.fr/sinfonie_test/images/stories/proclamations_cevu.pdf]], [[Conseils de composantes|http://www-test.univ-paris13.fr/sinfonie_test/images/stories/proclamation_conseil_composantes.pdf]], [[Conseil des écoles doctorales|http://www-test.univ-paris13.fr/sinfonie_test/images/stories/proclamations_ecoles_doctorales.pdf]].
*~Jean-Loup Salzmann a été élu président de l'Université Paris 13 lors du Conseil d'administration du 14 mars 2008. Il a été élu au premier tour avec 13 voix, contre 4 voix pour Christian Chardonnet, 3 voix pour ~Marie-José Michel et 2 abstentions (source : sinfonie.univ-paris13.fr) .
%/
Background: #fff
Foreground: #000
PrimaryPale: #00f
PrimaryLight: #00f
PrimaryMid: #009
PrimaryDark: #014
SecondaryPale: #ffd
SecondaryLight: #fe8
SecondaryMid: #db4
SecondaryDark: #00f
TertiaryPale: #eee
TertiaryLight: #ccc
TertiaryMid: #999
TertiaryDark: #666
Error: #f88
(Notations : ~MI1 Master Informatique 1ère année, ~MI2R 2ème année recherche ; L1/L2/L3 Licence Informatique 1ère/2nde/3ème année ; Ilog1/Info1 Formation de l’école d’ingénieurs en informatique 1ère année)
/%
!!!Matériel pédagogique :
support de cours, rédaction des feuilles d’énoncés TD/TP, sujets surveillances et corrections d’examens, environnement numérique de travail dont forum de diffusion d’informations et forums de discussions et solutions sur les exercices, devoirs et projets.
* Harmonisation informatique (Sup'Galilée 1) : installez [[gcc|]], un compilateur C en ligne de commande sous Windows,
* Prog. fonctionnelle (PFTP ~MI1) : pour aller beaucoup plus loin, une [[synthèse|ens/pftp0809/bb94.pdf]] de Barendregt et Barendsen et un lien vers [[proofs and types|http://www.monad.me.uk/stable/Proofs+Types.html]].
* Conduite et gestion de projets (C&GP ~MI1) : voir la page de [[S. Toulouse|http://lipn.fr/~toulouse/mi1.html]], projets réalisés 2007-08 : [[DEVL|ens/cgp0708/devl.pdf]], [[FISH|ens/cgp0708/fish.pdf]].
* Bases de données (BADO ~MI1, BD Info1) : pour les ~TPs, installez une version d'[[Oracle|http://www.oracle.com/technology/software/products/lite/index.html]]. Voici du matériel pour les ~CoursEnGrêve sur les [[opérateurs algébriques|ens/bd0809/bdcm_section2_web_p1-22.pdf]], les [[formes normales|ens/bd0809/bdcm_section2_web_p43-67.pdf]], et un peu de [[SQL|ens/bd0809/bdcm_section3_web_p1-32.pdf]]. Voici les feuilles de ~TdsEnGrêve (à préparer !) : [[feuille0|ens/bd0809/bdtd_feuille0.pdf]], [[feuille1|ens/bd0809/bdtd_feuille1.pdf]], [[feuille2|ens/bd0809/bdtd_feuille2.pdf]]. Les corrections seront discutées en soutien hebdomadaire (dates annoncées par email). Il y a aussi un [[forum en ligne|http://www-lipn.univ-paris13.fr/~mogbil/forum]] sur les CM/TD aux horaires qui vous sont communiqués (par email ou en cours) : par exemple Vendredi 27/03/09 de 12h30 à 13h45. Le 1er TP aura lieu le Mercredi 13 Mai en salle machine : voici la [[liste des logins|ens/bd0809/liste_info1_cpt0809.pdf]] pour les ~INFO1 et la [[première feuille d'énoncés|ens/bd0809/bdtp_feuille1.pdf]].
''Au vu de la charge de travail en ~INFO1, pas de devoir de BD cette semaine du 25 mai''.
* Sémantique des langages de programmation (SLP L3/Info1) : [[mémento|ens/slp0809/memo_slp.pdf]] du cours. Le cours étant trop abstrait et difficile pour n'avoir que du matériel pédagogique parcellaire, et afin de ne pas pénaliser votre formation, j'assure cet enseignement aux horaires prévus. Voici les sujets des tds : [[feuille1|ens/slp0809/td_feuille1.pdf]], [[feuille2|ens/slp0809/td_feuille2.pdf]], [[feuille3|ens/slp0809/td_feuille3.pdf]], [[feuille4|ens/slp0809/td_feuille4.pdf]].
%/
!!!Administration :
*2004-08 : responsable du Master (Sciences, Technologie, Santé) mention Informatique 1ère année (jusqu’à 72 étudiants, habilitation obtenue en 2004) et président de jury ~MI1,
*2004-08 : membre du bureau de département informatique de Paris 13,
*2004-09 : membre des jurys ~MI2R/Ilog1/L3, commissions d’admission Master mention Informatique ~MI1/~MI2P,
*2003-08 : responsable à l’Université Paris 13 d’un programme Socrates avec l’Universita degli Studi Roma Tre, Italie, dans le cadre d’un accord bilatéral ERASMUS,
*2003-06, 08-10 : tuteur de moniteur MESR.
!!!Synthèse quantitative depuis nomination :
En moyenne 197 heures d’enseignements équivalents TD par an, répartis selon :
*types d’activités : 20%CM (cours magistraux), 55%TD, 25%TP,
*niveaux d’enseignement : 15%L1, 10%L2, 50%L3/Ilog1, 20%~MI1, 5%~MI2R,
*matières avec responsabilité du CM : Bases de données, Lambda-calcul, Preuves et programmes, Théorie de la complexité, Sémantique des langages de programmation, Théorie de la complexité,
*matières sans le CM : Administration-système-réseaux, Algorithmique de base, Algorithmique-arbres, Harmonisation informatique, Informatique de base, Programmation impérative en C, Soutien informatique, Stages et projets.
[[Accueil]]
[[Publications]]
[[Recherche]]
[[Enseignement]]
<html>
<a href="http://www-lipn.univ-paris13.fr" target="_blank">
<img src="http://www-lipn.univ-paris13.fr/image/LIPN_logo.jpg" width="80" alt="LIPN"></a>
</html>
<!--{{{-->
<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>
<div id='displayArea'>
<div id='messageArea'></div>
<div id='tiddlerDisplay'></div>
</div>
<!--}}}-->
!!!Only international publications with selection committees
<html>
<P><I>[11] <B>A PolyTime Functional Language from Light Linear Logic</I></B><BR>
<A class=download HREF="http://hal.archives-ouvertes.fr/hal-00443944/en/">[abstract]</A>
<A class=download HREF="http://hal.archives-ouvertes.fr/docs/00/44/39/44/PDF/lpl_preprintLIPN10.pdf">[preprint2010]</A>
P. Baillot, M. Gaboardi and V. Mogbil, pp. 104-124, Lecture Notes in Computer Science 6012, proceedings of the 19th European Symposium on Programming (<A HREF="http://research.microsoft.com/en-us/um/people/adg/ESOP2010/">ESOP'10</A>), Main conference of <A HREF="http://www.etaps10.cs.ucy.ac.cy/">ETAPS'10</A>, March 22-26, 2010, Paphos, Cyprus.
</P>
<P><I>[10] <B>Non-deterministic Boolean Proof Nets</I></B><BR>
<A class=download HREF="http://hal.archives-ouvertes.fr/hal-00122981/en/">[abstract]</A>
<A class=download HREF="http://hal.archives-ouvertes.fr/docs/00/44/39/25/PDF/nBPN_preprintLIPN09.pdf/">[preprint2009]</A>
Virgile Mogbil, 15 pages, Lecture Notes in Computer Science, forthcoming proceedings of the International Workshop on Foundational and Practical Aspects of Resource Analysis (<A HREF="http://www.aha.cs.ru.nl/fopara/">FOPARA'09</A>), Eindhoven, The Netherlands, November 3 2009.
</P>
<P><I>[9] <B>Correctness of Linear Logic Proof Structures is NL-Complete</I></B><BR>
<A class=download HREF="http://hal.archives-ouvertes.fr/hal-00360894/en/">[abstract]</A>
<A class=download HREF="http://hal.archives-ouvertes.fr/docs/00/36/08/94/PDF/ll_correctness_preprintLIPN08.pdf">[preprint2008]</A>
Paulin Jacobé de Naurois and Virgile Mogbil, 32 pages, journal version of the CSL'07 and LICS'08 papers, accepted for publication in Jean-Yves Girard's Festschrift as a special issue of Journal Theoretical Computer Science (June 2008).
</P>
<P><I>[8] <B>Correctness of Multiplicative Additive Proof Structures is NL-Complete</I></B><BR>
<A class=download HREF="http://hal.archives-ouvertes.fr/hal-00272395/en/">[abstract]</A>
<A class=download HREF="http://hal.archives-ouvertes.fr/docs/00/27/23/95/PDF/mall_correctness_preprintLIPN08.pdf">[preprint2008]</A>
<A class=download HREF="http://dblp.uni-trier.de/rec/bibtex/conf/lics/NauroisM08">[bibtex]</A>
Paulin Jacobé de Naurois and Virgile Mogbil, pp. 476-485, proceedings the 23th Annual IEEE Symposium on Logic In Computer Science (<A HREF="http://www2.informatik.hu-berlin.de/lics/lics08/">LICS'08</A>), Pittsburgh, Pennsylvania, June 24–27 2008.
</P>
<P><I>[7] <B>Correctness of Multiplicative (and Exponential) Proof Structures is NL-complete</I></B><BR>
<A class=download HREF="http://hal.archives-ouvertes.fr/hal-00143926/en/">[abstract]</A>
<A class=download HREF="http://hal.archives-ouvertes.fr/docs/00/14/39/26/PDF/correctness_preprintLIPN07.pdf">[preprint2007]</A>
<A class=download HREF="http://dblp.uni-trier.de/rec/bibtex/conf/csl/NauroisM07">[bibtex]</A>
<A class=download HREF="articles/correctness_slides_csl07.pdf">[slides]</A>
Paulin Jacobé de Naurois and Virgile Mogbil,
<BR>
<A HREF="http://www.springerlink.com/content/?mode=boolean&k=au%3a(mogbil)&sortorder=asc" target="_top">Lecture Notes in Computer Science 4646</A>,
pp. 435-450, proceedings of the 16th EACSL Annual Conference on Computer Science and Logic (<A HREF="http://www2.unil.ch/csl07/">CSL'07</A>), Lausanne, Switzerland, September 11-15 2007.
</P>
<P><I>[6] <B>Uniform Circuits, & Boolean Proof Nets</I></B><BR>
<A class=download HREF="http://hal.archives-ouvertes.fr/hal-00122980/en/">[abstract]</A>
<A class=download HREF="http://hal.archives-ouvertes.fr/docs/00/14/39/28/PDF/mwBN_preprintLIPN07.pdf">[preprint2007]</A>
<A class=download HREF="http://dblp.uni-trier.de/rec/bibtex/conf/lfcs/MogbilR07">[bibtex]</A>
Virgile Mogbil and Vincent Rahli,
<BR>
<A HREF="http://www.springerlink.com/content/?mode=boolean&k=au%3a(mogbil)&sortorder=asc" target="_top">Lecture Notes in Computer Science 4514</A>,
pp. 401-421, proceedings of the Symposium on Logical Foundations of Computer Science
(<A HREF="http://web.cs.gc.cuny.edu/~sartemov/lfcs07/">LFCS'07</A>), New York, U.S.A., June 4-7 2007.
</P>
<P><I>[5] <B>Rewritings for Polarized Multiplicative and Exponential Proof Structures</I></B><BR>
<A class=download HREF="http://hal.archives-ouvertes.fr/hal-00143929/en/">[abstract]</A>
<A class=download HREF="http://hal.archives-ouvertes.fr/docs/00/14/39/29/PDF/mbe_preprintLIPN07.pdf">[preprint2007]</A>
<A class=download HREF="http://dblp.uni-trier.de/rec/bibtex/journals/entcs/FouquereM08">[bibtex]</A>
Christophe Fouqueré and Virgile Mogbil,
<BR>
Journal <A HREF="http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B75H1-4S50V4K-9&_user=775119&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_version=1&_urlVersion=0&_userid=775119&md5=9afc6edfa7c721913041e6f064f90cb0">Electronical Notes in TCS, 203 (1)</A>, pp. 109-121, 2008, selected paper from the 4th International Workshop on Computing with Terms and Graphs
(<A HREF="http://www.termgraph.org.uk/2007">TERMGRAPH'07</A>) ETAPS satellite, Braga, Portugal, March 3 2007.
</P>
<P><I>[4] <B>Rewritings in Polarized (Partial) Proof Structures</I></B><BR>
<A class=download HREF="http://hal.archives-ouvertes.fr/hal-00084354/en/">[abstract]</A>
<A class=download HREF="http://hal.archives-ouvertes.fr/docs/00/08/43/54/PDF/rppps_sd05.pdf">[full text]</A>
<SPAN class=download>[preprint2004]</SPAN>
<A class=download HREF="articles.html#rpppsBib">[bibtex]</A>
Christophe Fouqueré and Virgile Mogbil,
<BR>
pp. 95-109, electronic report of the Structures and Deduction (<A HREF="http://www.prooftheory.org/sd05/" target="_top">SD'05</A>) ICALP International Workshop, Lisbon, Portugal, July 16-17 2005.
</P>
<P><I>[3] <B>Soft Lambda-calculus: a Language for Polynomial Time Computation</I></B><BR>
<A class=download HREF="articles.html#slcAbs">[abstract]</A>
<A class=download HREF="articles/slc_fossacs04.ps.gz">[full text]</A>
<A class=download HREF="articles/slc_preprint031207.ps.gz">[preprint2003]</A>
<A class=download HREF="http://dblp.uni-trier.de/rec/bibtex/conf/fossacs/BaillotM04">[bibtex]</A>
Patrick Baillot and Virgile Mogbil,
<BR>
<A HREF="http://www.springerlink.com/content/?mode=boolean&k=au%3a(mogbil)&sortorder=asc"target="_top">Lecture Notes in Computer Science 2987</A>,
pp. 27-41, proceedings of the 7th International Conference Foundations of
Software Science and Computation Structures
(<A HREF="http://www.labri.fr/Perso/~igw/FOSSACS/" target="_top">FOSSACS'04</A>), part of the Joint European Conferences on Theory and Practice of Software,
<A HREF="http://www.lsi.upc.es/etaps04/" target="_top">ETAPS 2004</A>, Barcelona, Spain, March 29-April 2 2004.
</P>
<P><I>[2] <B>Quadratic Correctness Criterion for Non Commutative Logic</I></B><BR>
<A class=download HREF="http://hal.archives-ouvertes.fr/hal-00122983/en/">[abstract]</A>
<A class=download HREF="http://hal.archives-ouvertes.fr/docs/00/12/29/83/PDF/cc4nl_lncs2142_csl01.pdf">[full text]</A>
<A class=download HREF="http://dblp.uni-trier.de/rec/bibtex/conf/csl/Mogbil01">[bibtex]</A>
Virgile Mogbil, <BR><A
HREF="http://www.springerlink.com/content/?mode=boolean&k=au%3a(mogbil)&sortorder=asc" target="_top">Lecture Notes in Computer Science 2142</A>, pp. 69-83, proceedings of the 10th EACSL Annual Conference on Computer Science and Logic (<A HREF="http://www.lsv.ens-cachan.fr/csl01/"">CSL'01</A>), Paris, France, September 10-13 2001.
<P><I>[1] <B>Encoding Hamiltonian Circuits into Multiplicative Linear Logic</I></B><BR>
<A class=download HREF="http://hal.archives-ouvertes.fr/hal-00122982/en/">[abstract]</A>
<A class=download HREF="http://hal.archives-ouvertes.fr/docs/00/12/29/82/PDF/hc2mll_acceptedTCS266_KM01.pdf">[full text]</A>
<A class=download HREF="http://dblp.uni-trier.de/rec/bibtex/journals/tcs/KrantzM01">[bibtex]</A>
Thomas Krantz and Virgile Mogbil,<BR>Journal <A HREF=" http://www.sciencedirect.com/science/journal/03043975" target="_top">Theoretical Computer Science</A>, 266 (1-2) pp. 987-996, 2001.
</P>
</html>
!!!Work in progress (WIP) / Submitted work / Preprint / Unpublished work
<html>
<!--
<p>WIP: <b><em>Refined LTL and Temporal Linear Logic</em></b> (2008-09)
</p>
-->
<p><b><em>A Complete Calculus of Surfaces</em></b> with C. Fouqueré and G. Pulcini (28p., 2008-09)
</p>
<p><b><em>Relationship Between Process Calculi and Proof Nets</em></b> with E. Beffara (15p., 2009-10)
</p>
<p>WIP: <b><em>Parallel and Non-deterministic Linear Logic</em></b> (manuscript 30p. Sept. 2009, WIP 2009-10)
</p>
<p>WIP: <b><em>Typing for a Parallel and Non-deterministic Lambda-calculus</em></b> (2010)
</p>
<p>WIP: <b><em>A Light Logic for Logarithmic Space </em></b> with M. Gaboardi (2010)
</p>
<p><b><em>Logic Programming Revisited</em></b><br>
<a class=download HREF="http://hal.archives-ouvertes.fr/hal-00198805/en/">[abstract]</a>
<a class=download HREF="http://hal.archives-ouvertes.fr/docs/00/19/88/05/PDF/pl_preprintLIPN07.pdf">[preprint2007]</a>
Christophe Fouqueré and Virgile Mogbil, 15 pages (October 2007)
</p>
<!--<P><B><I>Multiplicative exponential proofs structures and logic programming</I></B>
<BR><A class=download HREF="articles.html#mepsalpAbs">[abstract]</A> joint work with Christophe Fouqueré, submitted (March 2006)
</P>-->
<P><B><I>From Proof-nets to Modules : a Focalization Story</I></B> (August 2005)
</P>
<P><B><I>A Bilateral-free Notion of Modules for Non Commutative Logic</I></B><BR>
<A class=download HREF="http://hal.archives-ouvertes.fr/hal-00084758/en/">[abstract]</A>
Virgile Mogbil and Quintijn Puite (2002, unpublished)
</P>
</html>
!!!Publications in french
<html>
<P><I>Réseaux de preuves en Logique Linéaire : de l’algorithmique des graphes aux preuves</I><BR>
<A class=download HREF="articles/pn_posterA0.pdf">[posterA0]</A>
<A class=download HREF="articles/pn_posterA4.pdf">[posterA4]</A>
P. Jacobé de Naurois et V. Mogbil,
<BR>Poster de vulgarisation pour l'évaluation 2004-08 du LIPN (Janvier 2008)
</P>
<P><I>Complexité implicite : des méthodes logiques et sémantiques pour
garantir le temps de calcul</I><BR>
<A class=download HREF="articles/ci_posterA0.pdf">[posterA0]</A>
<A class=download HREF="articles/ci_posterA4.pdf">[posterA4]</A>
V. Atassi, P. Baillot, P. Boudes, P. Jacobé de Naurois, V. Mogbil et J.-Y. Moyen,
<BR>Poster de vulgarisation pour les 20 ans du LIPN (Novembre 2006)
</P>
</P>
<P><I>[0] <B>Sémantique des phases, réseaux de preuve et
divers problèmes de décision en logique linéaire</I></B><BR>
<A class=download HREF="articles.html#thesisKey">[keywords]</A>
<A class=download HREF="http://tel.archives-ouvertes.fr/tel-00084344/fr/">[abstract]</A>
<A class=download HREF="http://tel.archives-ouvertes.fr/docs/00/08/43/44/PDF/these_mogbil.pdf">[full text]</A>
<A class=download HREF="articles.html#thesisBib">[bibtex]</A>
<A class=download HREF="articles.html#thesisToc">[table of contents]</A>
Virgile Mogbil, <BR>PhD Thesis from Université de la Méditerranée, supervisor <A HREF="http://iml.univ-mrs.fr/~lafont" target="_top">Pr. Y. Lafont</A>, January 2001.
</P>
</html>
!!!Contrats et projets :
*2010- : PICS "Logique linéaire et applications" (Projet International de Coopération Scientifique) ~France-Italie, Univ. Paris 13, Paris 7, ENS Lyon, Bologne, Turin, Rome,
*2010- : [[DIM-LSC|http://www.dimlsc.fr/]] [[COLLODI|http://www-lipn.univ-paris13.fr/~mazza/Collodi/]] (Domaine d'Intérêt Majeur "Logiciels et Systèmes Complexes" : Complexity and concurrency through ludics and differential linear logic), Univ. Paris 13 - LIPN, Univ. Paris Diderot - Paris 7 - PPS,
*2009- : ANR Blanc [[COMPLICE|http://www-lipn.univ-paris13.fr/complice/spip.php?article12]] (Complexité Implicite, Concurrence et Extraction), Univ. Paris 13 - LIPN, ENS Lyon - LIP, INPL Nancy - LORIA,
*2006- : GDR IM [[GEOCAL|http://iml.univ-mrs.fr/~regnier/gdr-im/]] (Groupement De Recherche, Informatique Mathématique, pôle ”Logique et complexité” : Géométrie du Calcul),
*2005-09 : ANR J. C. [[NO-CoST|http://www-lipn.univ-paris13.fr/nocost/]] (Nouveaux outils pour la complexité : sémantique et types),
*2004-08 : Projet [[TYPES|http://www.cs.chalmers.se/Cs/Research/Logic/Types/]], Coordination Action [[Information Society Technologies|http://cordis.europa.eu/fp7/ict/home_en.html]] (Union Européenne),
*2003-07 : Projet Interaction et Complexité (coopération bilatérale ~France-Italie CNRS/CNR).
*2003-06 : ACI NIM [[GEOCAL|http://iml.univ-mrs.fr/~ehrhard/geocal/]] (Action Concertée Incitative, Nouvelles Interfaces des Mathématiques : Géométrie du Calcul),
*2003-06 : ACI SI [[CRISS|http://www.pps.jussieu.fr/~amadio/Criss/criss.html]] (Action Concertée Incitative, Sécurité Informatique : Contrôle de Ressources et d'Interférence dans les Systèmes Synchrones),
!!!Administration :
*2009- : Membre du comité de programme du Workshop International "Develoments in Implicit Computational ~ComplExity" ([[DICE 2010|http://www.ens-lyon.fr/LIP/DICE2010/]]), March 27-28, 2010, satellite event of [[ETAPS 2010|http://www.etaps10.cs.ucy.ac.cy/]], Paphos, Cyprus.
*2009- : Responsable du site Univ. Paris 13 - LIPN (10 membres), projet ANR Blanc [[COMPLICE|http://www-lipn.univ-paris13.fr/complice/spip.php?article12]],
*2008- : Membre élu du conseil scientifique de l'université Paris 13,
*2004-08: Membre élu de la commission de spécialistes section 27 du CNU, université Paris 13,
*En 2008 : Membre du jury de thèse de V. Atassi (directeur P. Baillot),
*2005-08 : Organisateur du [[séminaire|http://lipn.fr/equipes/LCR/Seminaire/]] d’équipe ”Logique, Calcul et Raisonnement” du LIPN (scéances bimensuelles de Octobre/Novembre à Juin),
*En 2008 : Co-organisation de la [[réunion|http://www-lipn.univ-paris13.fr/~mogbil/gdr-im08]] commune de GEOCAL et LAC du GDR IM, 6-7 mars, Université Paris 13, LIPN, Villetaneuse (55 participants).
*En 2008 : Co-organisation du Workshop International ”Implicit Computationnal Complexity” ([[WICC 2008|http://www-lipn.univ-paris13.fr/~mogbil/wicc08]]) du projet ANR ~NO-CoST, 11-12-13 février, Université Paris 13, LIPN, Villetaneuse (40 participants dont 20 étrangers),
*En 2004 : Co-organisation du Workshop International "Implicit Complexity and Logic" ([[WICL 2006|http://www-lipn.univ-paris13.fr/~baillot/workshopGEOCAL/planGEOCAL/]]) dans le cadre de l’ACI NIM GEOCAL, 6-7 septembre, Université Paris 13, LIPN, Villetaneuse (30 participants, dont 8 étrangers),
*En 2004 : Participation à l’élaboration du dossier de demande d’ANR jeunes chercheurs [[NO-CoST|http://www-lipn.univ-paris13.fr/nocost/]], 150 KE,
*Rapports d’expert : pour des revues TCS'03, APAL'05, TOCL'06, JSL'07, TCS'08, pour des conférences internationales EACLS'03, TACAS'03, CSL'07, TLCA'09
!!!Liens :
*Groupe de travail [[2005-09|http://www-lipn.univ-paris13.fr/nocost/rubrique.php3?id_rubrique=7]] sur la //complexité calculatoire implicite// au LIPN
*[[Seminaire|http://www.pps.jussieu.fr/seminaire/index.html]] et [[groupes de travail|http://www.pps.jussieu.fr/gdts.html]] de PPS, [[groupe de travail|http://www.ens-lyon.fr/LIP/PLUME/GdTPlume/]] de Plume, séminaire de LIX et séminaire ~IML-LDP
*ANR Blanc [[CHOCO|http://choco.pps.jussieu.fr/]]
*[[Logic Related Conferences|http://www.informatik.hu-berlin.de/lics/logic-confs/index.html]] et [[LICS Newsletter|http://www2.informatik.hu-berlin.de/lics/newsletters/index.html]]
<<search>><<closeAll>><<permaview>> <<saveChanges>>
/*{{{*/
* 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;}
/* pour les sous-menus d'articles */
.download{ font-size: xx-small; text-transform: uppercase; font-variant: small-caps; }
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 0em 1em 1em; left:-1px; top:-1px;}
.headerForeground {position:absolute; padding:4.5em 0em 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:0em 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 .3em 0;}
#sidebarTabs .tabContents {width:15em; overflow:hidden;}
.wizard {padding:0.1em 1em 0em 2em;}
.wizard h1 {font-size:2em; font-weight:bold; background:none; padding:0em 0em 0em 0em; margin:0.4em 0em 0.2em 0em;}
.wizard h2 {font-size:1.2em; font-weight:bold; background:none; padding:0em 0em 0em 0em; margin:0.4em 0em 0.2em 0em;}
.wizardStep {padding:1em 1em 1em 1em;}
.wizard .button {margin:0.5em 0em 0em 0em; font-size:1.2em;}
.wizardFooter {padding:0.8em 0.4em 0.8em 0em;}
.wizardFooter .status {padding:0em 0.4em 0em 0.4em; margin-left:1em;}
.wizard .button {padding:0.1em 0.2em 0.1em 0.2em;}
#messageArea {position:fixed; top:2em; right:0em; margin:0.5em; padding:0.5em; z-index:2000; _position:absolute;}
.messageToolbar {display:block; text-align:right; padding:0.2em 0.2em 0.2em 0.2em;}
#messageArea a {text-decoration:underline;}
.tiddlerPopupButton {padding:0.2em 0.2em 0.2em 0.2em;}
.popupTiddler {position: absolute; z-index:300; padding:1em 1em 1em 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 0em;}
.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 0em 0em 0.5em;}
.tab {margin:0em 0em 0em 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 0em 14em;}
.toolbar {text-align:right; font-size:.9em;}
.tiddler {padding:1em 1em 0em 1em;}
.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:0em 0.25em; padding:0em 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 0em; font-size:.9em;}
.editorFooter .button {padding-top:0px; padding-bottom:0px;}
.fieldsetFix {border:0; padding:0; margin:1px 0px 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 0.3em 0.5em;}
#backstageToolbar {position:relative;}
#backstageArea a {font-weight:bold; margin-left:0.5em; padding:0.3em 0.5em 0.3em 0.5em;}
#backstageButton {display:none; position:absolute; z-index:175; top:0em; right:0em;}
#backstageButton a {padding:0.1em 0.4em 0.1em 0.4em; margin:0.1em 0.1em 0.1em 0.1em;}
#backstage {position:relative; width:100%; z-index:50;}
#backstagePanel {display:none; z-index:100; position:absolute; margin:0em 3em 0em 3em; padding:1em 1em 1em 1em;}
.backstagePanelFooter {padding-top:0.2em; float:right;}
.backstagePanelFooter a {padding:0.2em 0.4em 0.2em 0.4em;}
#backstageCloak {display:none; z-index:20; position:absolute; width:100%; height:100px;}
.whenBackstage {display:none;}
.backstageVisible .whenBackstage {display:block;}
/*}}}*/
|~ViewToolbar|closeTiddler closeOthers editTiddler|
|~EditToolbar|+saveTiddler -cancelTiddler deleteTiddler|
<!--{{{-->
<div class='toolbar' macro='toolbar [[ToolbarCommands::ViewToolbar]]'></div>
<div class='title' macro='view title'></div>
<div class='viewer' macro='view text wikified'></div>
<div class='tagClear'></div>
<!--}}}-->