NOUVELLES INTERFACES DES MATHEMATIQUES

Description

• fiche - matière potentielle : identité du projet


• cours - matière potentielle : sur les thèmes majeurs

Action Concertée Incitative NOUVELLES INTERFACES DES MATHEMATIQUES I - FICHE D'IDENTITÉ DU PROJET Nom du Projet : (maximum 20 caractères) GÉOCAL Titre du Projet : (maximum 3 lignes) Géométrie du calcul. Type du Projet 1 : Petit Projet Gros Projet X Durée du projet 2 : Description courte du Projet : (une demi-page maximum) Le but de ce projet est de favoriser la communication entre des équipes de mathématiciens (logiciens et topologues algébristes) et d'informaticiens, partageant des intérêts convergents dans le domaine de l'étude théorique du calcul. On espère promouvoir ainsi de nouvelles interfaces entre logique et topologie d'une part, et théorie de la concurrence, de la complexite algorithmique et de la programmation logique de l'autre. Coordinateur du projet : Nom Prénom Laboratoire (sigle éventuel et nom complet) Ehrhard Thomas IML, Institut de Mathématiques de Luminy Organisme de rattachement financier pour le présent projet : CNRS 1 Cocher la case correspondante au type du projet soumis. 2 La durée d'un projet ne peut excéder 36 mois. Des demandes de projets d'une durée plus courte devront être particu- lièrement argumentées.

• théorie de la récursivité


• langage de programmation


• langage de programmation pour le calcul quantique


• théorie de la complexité algorithmique

Sujets

• Selinger
• Université de Brighton

Informations

• Publié par: profil-urra-2012
• Nombre de lectures: 36

Extrait

particu-AIML,ctionlaCtoenjetcepr?senrexc?dert?eoirIncitativpart,emationNOUVELLESenINTERFdeAcCESLaDESd'unMAOnTHEMAeTIQUESetIla-deFICHECoD'IDENTIT?LabDUmPRdeOJETnancierNom:ducorrespPprorjetodemandesjetcourte:rgumen(maximum?re20decinartreact?rologiees)th?orieG?OCAL,TitrealgorithmiqueduprograProdejetdu:Nom(maximum(sigle3etliEhrhardgdenes)yG?om?triehemenduourcalcul.proT1yplaetedueProsoumis.jetd'un1p:mois."Pproetit"dur?eProtjett"Gros"calcul.ProespjetpromouvXainsiDur?enouvdullesproterfacesjetn2logique:topDescriptiond'unecourteetdudeProconcurrencejetde:complexite(uneetdemi-plaagmelogiquemaximum)l'autre.Leordinateurbutprode:cePr?nomprooratoirejet?vesttueldenofacomplet)vThomasoriserInstitutlMath?matiquesaLumincommOrganismeunicationrattacenttrpeledest?quipjetesCNRSdeComath?maticiensher(logicienscaseetondantopauologuesypalg?bristes)duetjetd'informaticiens,2partageandur?etprodesneineutt?r?ts36conDesvdeergenjetstsedansplusledevrondomaine?tredeli?remenl'?tudeath?oriquet?es.duNordEquipqueesellierouarall?lismelabdeoratoirescationpartenadeid'Informatiquerproesd?lisation(nomSpcompletautanetLab?vduenLabtuellemenPt)sigle)CALLIGRAMME3etInstitutMondeLabMath?matiquesetde3Lumindey(INRIA)(IML)oratoirePreuvl'Informatiquees,PProgrammes,(LIP)Syst?mesoratoire(deParisPS)(LIPNLabLORIA,oratoirejetd'InformatiqueInstitutFMath?matiquesondamenMotalede(LIF)tpINRIA-Sophia,(I3M)prooratoirejet?cicationMIMOSAV?riUnit?(LSV)deIns?rerrecthercligneshen?cessaire.FUTURSsonAstctiont?resseCe.o'isomorphismens?mancequ'ellesrtrimestrest?euneIncitativaecNOUVELLESui,INTERFseAinformaticiensCESacquis.DESourMANouvTHEMAtreTIQUESeBt-probl?mDESCRIPTIONd'DUplPRPPSOJETfran?aisB1aarObonjectifser,etduconytextere:ertineOnceprdans?7ciseraa,paren.paarticulier,concurrenlesdeverru?ous:scientiquespassage?compared?p?asser,heursl'?tattredetl'artsurainsiconfronquet,lesccupprpresqueojetsoluecjetoncurrvrerentstousyncsimilairann?ees4cl'?quiponnusdesdansquellelejetcdesontextequenationald'inet80-90international,logiqueencquencourt)pwarticuliernomcbieneuxtiqueauxquelsColesdeux?vquipnformatiquees?dur?cemmenprli?esojetr?seaux.plogiquearticiperent.desCetipro,jet?estricprincipalemenujtymotivde?eparbl'apparitilesonmaticiensr?cenquitetaledepnouvenellespformesetd'ineloppteractionstendetreuilogiquecemath?matidesqueloin,etd'informatiquejectith?orique,termequeccasionl'onscivauraoudraitDafat?cvecoriserl'IMLetled?vs'adresseraelopp://iml.univ-mrer.trimestreLesdliensbrancenettresimath?matiqueslaetd'uninformatiqueCIth?oriqueinsont?innompr?brables,?rioecollabtsiltestedoncPel'INRIAssendetielCurry-Hdeetcommenceduitrd?vpartspr?ciserqu'appliqu?sdee,quelleslogiquemath?matiquesre,et,de,quellinesedansinformatiquepropre.nousquevtaleoulonstreparlerdesici.etDu?c?t?tiinformatique,qonsurs'inet?resset??conl'informatiqued?vqueoutilsl'onnalyappdeelleratiquenefondamendestaletdomaine;langagesonend?signeSiainsisituationceurd'ttecellepartie10denotablel'informatique'?quipth?oriqm?uecquisviseil?faitconstruireiensdesaoutilstalesbsintra(informatiqueilogiquetstpdistendus.ourplan?tudierilleslieulangagesquededesprogmoramtmation,ind?petextr?me-d?vtueuse.elesloppcessusertdeeaucoupnouvalorseauxestmgnoomais,d?lesd?tailledesituationcalcult.eterdedesmacduhines.l'organisationUn?colepseraoinsetun?tiquenoseylieueuxerimplaortanossible,tderelevaandestdecl'CIRMinformatiquedefondamen.taleun,oirestli2002l'?tudedescriptiondeorganis?l'algorithmiquedeparall?ll'IMLe,cesdeshesprotomath?matiquescolesl'informatiquer?seautetanciennes,deestspsyst?mesncer?partispro(th?Amesqueellesl'onterfacesregroupmath?matiquesedanssousdomainel'anglicismeC'estacsonpcdeurrencetense).orationCetteleprobl?matiqueann?esdicile,(notammenmaisentr?sl'?quipendephasedeaarisvetecRol'actualit?autourteclhnologique,deaoprardisquiuneproimpdeortancebreuxprimordialeeloppaumencoursaussidesth?oriquesdix(programmationderni?respreuvann?es.s?manDud?notationnelle,c?t?lin?desimath?matiqueCAML,s,qil.s'agit.)plesourdiscipll'essenontielprogress?(aleurvoieecOndevunotablesl'iexcefondamenps'int(enionsautre)quel'?tudenoussyst?mesments,tion-plusneronstendestemapsquesutile),auxdeuestionsdeuxs?curit?brancleshesDquisonon?tlacommenc?a?tinsead?veloppeloppdeserabstraitsauad?butsedulangagesvprogrammationingti?mes?mansid?nota?cleon:lle,th?tiqueoriejeuxde?tendanlaaurleur?d'applicationcursivit?desetdeth?usorieplusdehes.lal'ond?monstrlaationa.oLhe?sd'ilpr?oaccupationsans,delacesexceptiondeuxldisciplinese?taienquitlangassezdesproherccdehesdeuxd?sords,leed?butdepuisqu'ilques'agissaitldeenmath?matiserm(ath?veecinformaticiensdessurmotivth?mesationsnousfondationnellest?ressenqu'ilicin'estfondamenpasetn?cessairemath?matique)d'?vsonounquereuici)Ordeuxleactivit?sscijusqu'alorstique,(?yptouteudepr?s)enserviergesladetationtouteconceptsth?orisationoutils:dernescalculonetd?vd?monstration.?sCesendammendeuxseraitdomainesmenonfructPconnexemple,ucalculsunprod?voeloppenemenaujourd'htbstupd'?anth?oriciens,tquegr?cesujet?encorel'informatique,iparr?exelogiciens,mplecomme:lepluslalath?orie?vderapidemenla?coler?cursivit?hivaconclusivdonn?L'unnaissanceob?fslaproth?orieestde?lad'unecomplexit?d'hivalgorithmiquique,l'odedesliliens?tr?sbilanprofondsenendestreCprogrammeslle-cietdoncd?monstrationsduransonl'hivt2006.anspparusmesure(isomorphismepdeonCurry-heraHolawhroniseravrd)l'unquionth?matiquestqueouvorganiseerthaquetoauutsuruncampuscLuminhamp4d'applicationsL'?colede?lapublicth?orievdehttplas.fr/d?monstrationp?lal'infor-dumatique.2002Siparceseinlogiqueteractionseent

treplaostdolacs?t?etconjonctiondevraitlpropLIFoserbplustieurslecours:surerlesoirth?mesgmadesjeursautredutproypjet,Ellemaisnoniqpenourralin?aire?galemen?rateurstpr?ci?treetcompl?t?explorerparunbcolloaqued?lesplusLessprem?cienalis?.ElleApr?sscettecationbr?versions,ed?monstrationineuvestrol'interductiononous(auallonsconstruiremain(detenand'?tendretobtenrelevjeuerlesundescertaincompnomdebrepromouvdeerth?mesu-apparte-anancorresptun?breuxchacunecompl?tudedestiondeuximpdisciplinesdynamiqueenuned?gageane,tesleyps(conlienstexistanplusieurstappara?treennnetretlesetplaoinduits?sedetationvuelainformatiquecompteetetlogique.tiB2dualit?lin?aire).Descriptionapparuedudeprenotjetues:da-calcul(5prem?tren10n'estpages)unEntrorteenautrt?te.es,nsernalogueontlaissenprv?nouscis?sjet.leteractioncCommeareuact?r?liminationepainnovantCurryducalculsprdesojet,ceslaevaleurdepdonartlatcdaoobteniropC?rl'inationLIPN.etactivesl'ipropntde?ret?tr??crituredudialoguespretojetunpeouraussile?champpd'applicstructurellationsetcponcneern?.ouS?manunetiqueetL'unduplidescdomainesusuelso?disjonctionlesdeuxliensultiplicativenetrerenouvth?oriededeinland?monstrationdeetdeinformatiqueelleth?oriqcuedessonom?trietquiappa-trusdesler?vpluslat?td?notationnellesttceluipremierdedelaes?mpatnmotiqueadesmolangagesvdeinnie)programmation.fonctCelaconr?sultepdelaml'isomorphismedesdetiels.Curryr-mHqueoetwunardmaisquiopestenauvd?parthineslatconstatation,lin?aireinaspterneo?(nonlad'unlogique,lad'uneparall?lecorrespenondancelienenlestrecessusleoulonscyclece-calculsouhaitonsd'l'iunetrepartLIP(quileestunl'unloindesalgorithmiqueformalismescin),troaduitsedanswles?tenduann?escomplexi30Enpd?lesourtd?nironlaernotionainsideeaucalculabilit?)hercetouvladelogiqueectsinexplorer.tuitionnisteterpr?tationsdedel'autre.LacescorrespPondancer?sultatsestletr?sth?meforteretraidenIMLtieettterpr?tationsypsonesElledest3?meoin-termessuretpreuvformprogrammesules,tde?liminationdecoupures)-termesptionetossiblespreuvpreuves,contsen-r?ductionetett.?limimonationjeux,desr?cecoupures.ludique,Letd'?tudianesdonneolymorphes).statutauxun-calcullogique?tanr?glestesen-tractionsuiteaaiblissemenapparuquicommeermettenundeoutilpatr?sutiliserecaced'utiliserenfoisihnformatique,oth?se)pfaitouruned?nir-etdesimpl?menotercteurscertains;langagesetdeapparaissenprogrammationendvimtseadditivfonctionnels.a(LISPel?enth?orie?tanlatenletropremiersaexemple),tetconceptaussircommeauunproutil(nouvprepr?senourplusspa?cierueformellemend?monstrations),tg?l'aspdeecactiontrendopalg?briquemen?rationneldedesr?ductionlangagesr?seaux,deapolutirnn?os?mangrammqueaetimettanonla(commenautplancsenshaquel'alg?breiPerspnctivessla-ossibilit?tructionr?cemmendoitdesedescompd?lesorter),lunlogiquelienautr?syprofondd'espacesenectorielstredimensionlogiqueeetdeinformatiqueion?taitin?airesdutinm?meacoupermis?tabli.leLabs?mantiquepard?notationnelopledi?renquiLesviseiers??sultatsinusterpr?teronletsd?rivprogrammesuncomme-termedespas?l?menpurtsformeldeacertainssensespaces?rationnelassos,crappi?sa?ecleursmact?ypvironnemeneset(classiquemer?ductionndet,Certainscesectsespacescalculssonbtetusdesd?terminisme,ensempr?senceblesapartielldeementositionordonn?s,)maistdetrevnouvunelleasecincalculsterpr?tationsprodequenaturevtr?sedi?rendansteprosNousoicinoirtnapparuesenr?cemmenIML,t)etest.ainsiondevvenrauep?pluspart(sectionenComplexit?ti?reetunedesbrancohepuresdelelarth?oriedidemladed?monstration,-Hoquiardl'utilise?t?etauxla?d?vt?elopporn?.eparticulier,pmoourd?notationnelsinondanterpr?ter?lessyst?mespreuvtes.d?couvL'utilisationtsettl'approfondissemen,tnouvdedomainecetterecconnexionheprogrammes/preuv?t?esert,onttnom?t?asptr?srestenactifs?enExiste-t-ilFinrancefaisandansl'?conomieleslaann?esstratication70-90utilis?e,nsetmole?resteneut-ont,desm?medesid?notationnell'excitation?ienitialedevraita?n?ciein?vitablemendetteuncpPPS,euetbaiJeuxss?.ludique.Nousind?taillonsinterci-dessoussequelquestsous-th?mesos?es.desceosenvunastepsujet.tLogiquevuelin?aire.laLadeslogiqueeslin?airedestienrepla?anseslaorigines(d'une-r?duction,analysedesdeparladescris?desmanptiqueend?notationnelleuneduesysunet?metre-preuvFou(ltreoprogrammegiqsonuevironnemeninLtuitionn