<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>ETAPS | Stefano Blando</title><link>https://stefano-blando.github.io/it/tags/etaps/</link><atom:link href="https://stefano-blando.github.io/it/tags/etaps/index.xml" rel="self" type="application/rss+xml"/><description>ETAPS</description><generator>HugoBlox Kit (https://hugoblox.com)</generator><language>it-IT</language><lastBuildDate>Tue, 14 Apr 2026 00:00:00 +0000</lastBuildDate><image><url>https://stefano-blando.github.io/media/icon_hu_8d0dee6c10a3c598.png</url><title>ETAPS</title><link>https://stefano-blando.github.io/it/tags/etaps/</link></image><item><title>Presentazione a MARS @ ETAPS 2026</title><link>https://stefano-blando.github.io/it/blog/mars-etaps-2026-presentation/</link><pubDate>Tue, 14 Apr 2026 00:00:00 +0000</pubDate><guid>https://stefano-blando.github.io/it/blog/mars-etaps-2026-presentation/</guid><description>&lt;p&gt;La scorsa settimana ho presentato il nostro paper, &lt;strong&gt;&amp;ldquo;Statistical model checking of the Island Model: an established economic agent-based model of endogenous growth&amp;rdquo;&lt;/strong&gt;, a &lt;strong&gt;MARS @ ETAPS 2026&lt;/strong&gt; a &lt;strong&gt;Torino&lt;/strong&gt;.&lt;/p&gt;
&lt;p&gt;Per me e stato un momento particolarmente importante: era la prima presentazione del mio primo paper di PhD, ed era anche la mia prima conferenza internazionale.&lt;/p&gt;
&lt;p&gt;Sono contento che la presentazione sia andata bene. Al di la del talk in se, ho apprezzato molto la possibilita di discutere il lavoro con professori e ricercatori del settore e di passare alcuni giorni in un contesto che ho trovato aperto, stimolante e molto piacevole.&lt;/p&gt;
&lt;p&gt;Il paper e co-firmato con &lt;strong&gt;Giorgio Fagiolo&lt;/strong&gt;, &lt;strong&gt;Daniele Giachini&lt;/strong&gt;, &lt;strong&gt;Andrea Vandin&lt;/strong&gt; ed &lt;strong&gt;Ernest Ivanaj&lt;/strong&gt;, e mostra come lo &lt;strong&gt;statistical model checking&lt;/strong&gt;, e in particolare &lt;strong&gt;MultiVeStA&lt;/strong&gt;, possa supportare un&amp;rsquo;analisi piu rigorosa dell&amp;rsquo;Island Model.&lt;/p&gt;
&lt;p&gt;📄 &lt;strong&gt;
&lt;/strong&gt;&lt;br&gt;
👉 &lt;strong&gt;
&lt;/strong&gt;&lt;br&gt;
📰 &lt;strong&gt;
&lt;/strong&gt;&lt;/p&gt;</description></item><item><title>Paper Accettato a MARS @ ETAPS 2026</title><link>https://stefano-blando.github.io/it/blog/mars-etaps-2026-acceptance/</link><pubDate>Fri, 20 Mar 2026 00:00:00 +0000</pubDate><guid>https://stefano-blando.github.io/it/blog/mars-etaps-2026-acceptance/</guid><description>&lt;p&gt;Il nostro paper, &lt;strong&gt;&amp;ldquo;Statistical model checking of the Island Model: an established economic agent-based model of endogenous growth&amp;rdquo;&lt;/strong&gt;, e stato accettato a &lt;strong&gt;MARS @ ETAPS 2026&lt;/strong&gt;.&lt;/p&gt;
&lt;p&gt;Il lavoro e co-firmato con &lt;strong&gt;Giorgio Fagiolo&lt;/strong&gt;, &lt;strong&gt;Daniele Giachini&lt;/strong&gt;, &lt;strong&gt;Andrea Vandin&lt;/strong&gt; ed &lt;strong&gt;Ernest Ivanaj&lt;/strong&gt;. Il paper mostra come &lt;strong&gt;statistical model checking&lt;/strong&gt; e &lt;strong&gt;MultiVeStA&lt;/strong&gt; possano essere usati per rendere l&amp;rsquo;analisi dell&amp;rsquo;Island Model piu rigorosa, piu automatizzata e piu riproducibile, preservando al tempo stesso la sostanza economica del framework originale.&lt;/p&gt;
&lt;p&gt;L&amp;rsquo;ho presentato a &lt;strong&gt;Torino, domenica 12 aprile 2026&lt;/strong&gt;.&lt;/p&gt;
&lt;p&gt;📄 &lt;strong&gt;
&lt;/strong&gt;&lt;br&gt;
👉 &lt;strong&gt;
&lt;/strong&gt;&lt;br&gt;
🎤 &lt;strong&gt;
&lt;/strong&gt;&lt;/p&gt;
&lt;p&gt;Per me, questo e uno degli esempi piu chiari della direzione che voglio dare al mio lavoro di dottorato: fornire basi statistiche piu forti ai modelli di simulazione complessi senza perderne l&amp;rsquo;interpretabilita.&lt;/p&gt;</description></item></channel></rss>