Changes for page Mirko Viroli
From version 41.1
edited by Andrea Omicini
on 17/07/2023 23:42
on 17/07/2023 23:42
Change comment:
There is no comment for this version
To version 44.1
edited by Andrea Omicini
on 17/07/2023 23:44
on 17/07/2023 23:44
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
Details
- Page properties
-
- Title
-
... ... @@ -1,0 +1,1 @@ 1 +Mirko Viroli - Content
-
... ... @@ -1,6 +1,4 @@ 1 -= Mirko Viroli = 2 - 3 -{{include reference="Classes.Environment" excludeFirstHeading="true"/}}{{include reference="Environment" excludeFirstHeading="true"/}}{{velocity}} 1 +{{velocity}} 4 4 (% id="main-view" style='float:left;width:75%;' %)((( 5 5 (% style='background:WhiteSmoke;padding:15px;margin-bottom:10px' %)((( 6 6 #if( $services.localization.currentLocale=="it" ) ... ... @@ -39,15 +39,15 @@ 39 39 * **Main interests**: 40 40 ** Topics: computational models and languages, and their relationship with software design, infrastructures and system analysis 41 41 ** Application contexts: pervasive computing, self-organisation, coordination, and object-orientation 42 -** Current focus: [[AGGREGATE COMPUTING>>http://apice.unibo.it/xwiki/bin/view/Themes/AggregateComputing]] (check the page for details).40 +** Current focus: AGGREGATE COMPUTING 43 43 * **Systems**: 44 -** [[ALCHEMIST>> http://www.apice.unibo.it/xwiki/bin/view/Alchemist/]]: a chemical-oriented simulator for natural and artificial situated systems, there including pervasive computing applications with emergent properties42 +** [[ALCHEMIST>>Alchemist.WebHome]]: a chemical-oriented simulator for natural and artificial situated systems, there including pervasive computing applications with emergent properties 45 45 * **Projects**: 46 46 ** Current: Compositionality, Interaction, Negoziation, Autonomicity for the future ICT society, PRIN 2010-2011, Role: UNIBO member 47 -** Past: [[SAPERE>>SAPERE]], Self-aware Pervasive Service Ecosystems (FP7 STREP), 2010-2013, Role: UNIBO team leader, WP leader 48 -** Past: [[EOS>>Project s.EOS]], [[EOS-DUE>>Projects.EOS-DUE]]45 +** Past: [[SAPERE>>SAPERE.WebHome]], Self-aware Pervasive Service Ecosystems (FP7 STREP), 2010-2013, Role: UNIBO team leader, WP leader 46 +** Past: [[EOS>>Project.EOS]], [[EOS-DUE>>Project.EOS-DUE]] 49 49 * **Publications** 50 -** [[Publication Log>> ${userSpace}.Publications.PerSort||queryString='from=$firstYearPub&to=$lastYearPub']], [[Journal Papers>>${userSpace}.Publications.PerSort||queryString="sort=article"]], [[Publications page with additional info>>MirkoViroli.Publications]], [[Myself@DBLP>>http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Viroli:Mirko.html]], [[All publications (as PDF)>>http://apice.unibo.it/xwiki/bin/download/MirkoViroli/Publications/aMV-CV-papers.pdf]]48 +** [[Publication Log>>MirkoViroli.Publications.PerSort||queryString='from=$firstYearPub&to=$lastYearPub']], [[Journal Papers>>${userSpace}.Publications.PerSort||queryString="sort=article"]], [[Publications page with additional info>>MirkoViroli.Publications]], [[Myself@DBLP>>http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Viroli:Mirko.html]], [[All publications (as PDF)>>attach:Publications/aMV-CV-papers.pdf]] 51 51 * **Organization of Events/Publications** 52 52 ** I edited the following special issues: [[KER 26(1)>>Publication.IntroKer25Years]], [[SCP 76(1)>>Publication.PrefaceScp76]], [[ENTCS 194(4)>>Publication.IntroENTCS194]], [[ENTCS 175(2)>>Publication.IntroENTCS175]], [[SCP 66(3)>>Publication.PrefaceScp66]], [[JOT 6(2)>>Publication.IntroJOT6]], [[ENTCS 154(1)>>Publication.IntroENTCS154]], [[JOT 3(11)>>Publication.IntroJOT3]], [[AAECC 16(2-3)>>Publication.OverviewAaecc16]] 53 53 ** I chaired the following events: [[WOA 2010>>http://www.informatik.uni-trier.de/~ley/db/conf/woa/woa2010.html]], [[ACM SAC 2009>>http://www.informatik.uni-trier.de/~ley/db/conf/sac/sac2009.html]], [[ACM SAC 2008>>http://www.informatik.uni-trier.de/~ley/db/conf/sac/sac2008.html]], [[FINCO 2005>>http://www.informatik.uni-trier.de/~ley/db/journals/entcs/entcs141.html#GoldinV05]], plus several tracks at ACM SAC since 2004.