Virgile Mogbil - Pages académiques

<!--{{{-->
<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>&nbsp;
<span class='siteSubtitle' refresh='content' tiddler='SiteSubtitle'></span>
</div>
<div class='headerForeground'>
<span class='siteTitle' refresh='content' tiddler='SiteTitle'></span>&nbsp;
<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]]

<<importTiddlers>>

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

Tél. :  +33 1 49 40 36 84 / Fax : +33 1 48 26 07 12
Email : prenom.nom [At} lipn.univ-paris13.fr
!!!Informations récentes :
*''[[Postes|http://www-lipn.univ-paris13.fr/%7Ecf/Postes/index.html]]'' de maîtres de conférences et professeurs en informatique (section CNU 27) au LIPN.
*Workshop on Logic and Computational Complexity ([[LCC 2010|http://web.comlab.ox.ac.uk/people/stephan.kreutzer/lcc10/]]), 10th July 2010, satellite event of [[FLoC 2010|http://www.floc-conference.org/]], Edinburgh, UK.
*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. ''[[EPTCS Prooceedings|http://arxiv.org/html/1005.0653]] available''. 
*[[Sujets|http://www-lipn.univ-paris13.fr/LCR/Stages/]] de stage Master 2 Recherche 2009-10 dans l'équipe LCR.
*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 2009 : [[27/01|http://www-lipn.univ-paris13.fr/complice/spip.php?article14]] au LIPN, [[8/06|http://www-lipn.univ-paris13.fr/complice/spip.php?article20]] à l’ENS Lyon, [[23/10|http://www-lipn.univ-paris13.fr/complice/spip.php?article28]] au LORIA. Réunion 2010 : [[26/05|http://www-lipn.univ-paris13.fr/complice/spip.php?article38]] au LIPN, 5ème réunion à l’ENS Lyon prévue la semaine du 15/10.
*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

[[Accueil]]

(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, 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 ~MI2R/Info et projets M1.

[[Accueil]]
[[Publications & WIP]]
[[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>&nbsp;
<span class='siteSubtitle' refresh='content' tiddler='SiteSubtitle'></span>
</div>
<div class='headerForeground'>
<span class='siteTitle' refresh='content' tiddler='SiteTitle'></span>&nbsp;
<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>
<!--}}}-->

!!!Articles in international refereed journals
<html>
<P><I><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><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&eacute; and Virgile Mogbil, 
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>

<I><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, Journal <A HREF=" http://www.sciencedirect.com/science/journal/03043975" target="_top">Theoretical Computer Science</A>, 266 (1-2) pp. 987-996, 2001. 

</html>
!!!Proceedings of international communications with selection committee
<html>

<p><I><b>Rewriting Systems for Reachability in Vector Addition Systems with Pairs</I></b><br>
<A class=download HREF="http://hal.archives-ouvertes.fr/hal-00483235/en">[abstract]</A>
<A class=download HREF="http://hal.archives-ouvertes.fr/docs/00/49/20/37/PDF/vasp-preprintLIPN.pdf">[preprint2010]</A>
Paulin Jacobé de Naurois and Virgile Mogbil, 
<A HREF="http://www.springerlink.com/content/?mode=boolean&k=au%3a(mogbil)&sortorder=asc" target="_top">Lecture Notes in Computer Science 6227</A>, pp. 133-145, proceedings of the 4th International Workshop on Reachability Problems (<a href="http://www.csc.liv.ac.uk/~rp2010/">RP'10</a>) MFCS & CSL satellite, August 28-29, 2010, Brno, Czech Republic.
</p>

<P><I><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>
<A class=download HREF="http://dblp.uni-trier.de/rec/bibtex/conf/esop/BaillotGM10">[bibtex]</A> 
Patrick Baillot, Marco Gaboardi and Virgile Mogbil, 
<A HREF="http://www.springerlink.com/content/?mode=boolean&k=au%3a(mogbil)&sortorder=asc" target="_top">Lecture Notes in Computer Science 6012</A>, pp. 104-124, 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><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 6324, 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><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><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&eacute; de Naurois and Virgile Mogbil, 
<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><B>Uniform Circuits, &amp; 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, 
<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><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&eacute; and Virgile Mogbil, 
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><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, 
<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><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, <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.
</html>
!!!Work in progress (WIP) / Submitted or Unpublished work
<html>

<p>WIP: <b><em>Decidability of VASP Reachability from Karp&Miller Graphs</em></b> with P. Jacobé de Naurois (2010)
</p>

<p>WIP: <b><em>Typing for a Parallel and Non-deterministic Lambda-calculus</em></b> (2010)
</p>

<p>WIP: <b><em>Efficient Parallel Lamdba-calculi</em></b> with M. Gaboardi and S. Ronchi della Rocha (2010)
</p>

<!--
<p>WIP: <b><em>A Light Logic for Logarithmic Space </em></b> with M. Gaboardi (2010)
</p>
-->

<!--
<p>WIP: <b><em>Refined LTL and Temporal Linear Logic</em></b> (2008-09)
</p>
-->

<p><b><em>Concurrent Processes as Wireless Proof Nets</em></b><br>
<A class=download HREF="http://hal.archives-ouvertes.fr/hal-00462484/en/">[abstract]</A>
<A class=download HREF="http://hal.archives-ouvertes.fr/docs/00/46/24/84/PDF/wpn_preprintLIPN10.pdf">[preprint2010]</A>
Emmanuel Beffara and Virgile Mogbil (23p., Feb. 2010, WIP 2009-10) 
</p>

<p><b><em>Parallel and Non-deterministic Linear Logic</em></b> (manuscript 30p. Sept. 2009, WIP 2009-10)
</p>

<p><b><em>A Complete Calculus of Surfaces</em></b> with C. Fouquer&eacute; and G. Pulcini (28p., 2008-09)
</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&eacute; and Virgile Mogbil (15p., Oct. 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&eacute; (March 2006)
</P>-->

<P><B><I>From Proof-nets to Modules : a Focalization Story</I></B> (August 2005)
</P>

<p><b><em>Modules and Logic Programming</em></b><br>
<a class=download HREF="http://hal.archives-ouvertes.fr/hal-00003217/en/">[abstract]</a>
<a class=download HREF="http://fr.arxiv.org/abs/cs.LO/0411029">[preprint2004]</a> 
Christophe Fouquer&eacute; and Virgile Mogbil (25p., 2004)
</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&eacute;seaux de preuves en Logique Lin&eacute;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&eacute; de Naurois et V. Mogbil, 
Poster de vulgarisation pour l'évaluation 2004-08 du LIPN (Janvier 2008)
</P>

<P><I>Complexit&eacute; implicite : des m&eacute;thodes logiques et s&eacute;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&eacute; de Naurois, V. Mogbil et J.-Y. Moyen, 
Poster de vulgarisation pour les 20 ans du LIPN (Novembre 2006)
</P>

</P>
<P><I><B>S&eacute;mantique des phases, r&eacute;seaux de preuve et 
divers probl&egrave;mes de d&eacute;cision en logique lin&eacute;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&eacute; de la M&eacute;diterran&eacute;e, supervisor <A HREF="http://iml.univ-mrs.fr/~lafont" target="_top">Pr. Y. Lafont</A>, January 2001.
</P>

</html>

!!!Membre de sociétés savantes et associations :
*[[EATCS|http://www.eatcs.org/]] European Association for Theoretical Computer Science,
*[[SPECIF|http://www.specif.org/]] Société des Personnels Enseignants et Chercheurs en Informatique de France
!!!Contrats et projets :
*2010- : PICS "Logique linéaire et applications" (Projet International de Coopération Scientifique) ~France-Italie, Univ. Paris 13, Univ. Paris 7, ENS Lyon, Univ. Bologne, Univ. Turin, Univ. 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 :
*En 2010 : 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>>

 Pages académiques

Virgile Mogbil

http://lipn.fr/~mogbil

/*{{{*/
* 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>
<!--}}}-->