-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathindex.html
135 lines (112 loc) · 4 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
<!DOCTYPE html>
<html>
<head>
<title>Dan's webpage</title>
<style type="text/css">
@font-face{
font-family: plexMono;
src: url(IBMPlexMono-Regular.otf);
font-weight: normal;
font-display: swap;
}
@font-face{
font-family: plexMono;
src: url(IBMPlexMono-Bold.otf);
font-weight: bold;
font-display: swap;
}
@font-face{
font-family: plexMono;
src: url(IBMPlexMono-Italic.otf);
font-weight: normal;
font-style: italic;
font-display: swap;
}
@font-face{
font-family: plexMono;
src: url(IBMPlexMono-BoldItalic.otf);
font-weight: bold;
font-style: italic;
font-display: swap;
}
body{
margin:50px auto;
max-width:650px;
line-height:1.4;
font-size:14px;
background:#282828;
color:#ebdbb2;
padding:0 10px;
font-family: plexMono;
}
h1,h2,h3{
line-height:0.7
}
img{
border:3px solid #ebdbb2;
}
a,a:active,a:visited{
color:#458588;
text-decoration:none;
font-weight: bold;
}
</style>
<link rel="icon" href="data:image/svg+xml,<svg xmlns=%22http://www.w3.org/2000/svg%22 viewBox=%220 0 100 100%22><text y=%22.9em%22 font-size=%2290%22>💤</text></svg>">
</head>
<body>
<h2>Dan's webpage</h2>
<div>
<img src="fomenkobanner.webp" width="100%" height="auto" vertical-align="middle" title="Анато́лий Фоме́нко - Topological Zoo">
</div>
<br>
<div>
Hi! I'm Daniele, a <i>Mathematics and Computer Science researcher</i> from Italy.<br>Currently I'm working for <a href="https://20squares.xyz" target="_blank">20[ ]</a>, <a href="http://cybercat-institute.github.io" target="_blank">CyberCat Institute</a> and <a href="https://carma.org/" target="_blank">CARMA</a>.<br>
You can also find me on: <a href="https://github.com/dpl0a" target="_blank">[github]</a> <a href="https://arxiv.org/a/palombi_d_1" target="_blank">[arXiv]</a> <a href="https://orcid.org/0000-0002-8107-5439" target="_blank">[ORCiD]</a>.<br>
My email address is <b>[name]++[surname]++[@protonmail.com]</b>.
</div>
<br><br>
<div>
<h2>[papers]</h2>
<div>
<b>> <i>The Essence of Petri Net Gluings</i></b><br>
<i>w/ Fabrizio Genovese & Fosco Loregian</i> — <a href="https://arxiv.org/abs/1909.03518" target="_blank">[arXiv:1909.03518]</a><br>
<i>Conditionally accepted at <a href="http://tac.mta.ca/tac/" target="_blank">TAC</a></i>
</div>
<br>
<div>
<b>> <i>Classifying topoi in synthetic guarded domain theory</i></b><br>
<i>w/ Jonathan Sterling</i> — <a href="https://arxiv.org/abs/2210.04636" target="_blank">[arXiv:2210.04636]</a><br>
<i><a href="https://www.cs.cornell.edu/mfps-2022/" target="_blank">MFPS2022</a></i>
</div>
<br>
<div>
<b>> <i>Escrows are optics</i></b><br>
<i>w/ Fabrizio Genovese & Fosco Loregian</i> — <a href="https://arxiv.org/abs/2105.10028" target="_blank">[arXiv:2105.10028]</a><br>
<i><a href="http://thejft.com/" target="_blank">JFT</a></i>
</div>
<br>
<div>
<b>> <i>A Categorical Semantics for Bounded Petri Nets</i></b><br>
<i>w/ Fabrizio Genovese & Fosco Loregian</i> — <a href="https://arxiv.org/abs/2101.09100" target="_blank">[arXiv:2101.09100]</a><br>
<i><a href="https://www.cl.cam.ac.uk/events/act2021/" target="_blank">ACT2021</a></i>
</div>
<br>
<div>
<b>> <i>A Categorical Semantics for Hierarchical Petri Nets</i></b><br>
<i>w/ Fabrizio Genovese, Jelle Herold & Fosco Loregian</i> — <a href="https://arxiv.org/abs/2102.00096" target="_blank">[arXiv:2102.00096]</a><br>
<i><a href="https://sites.google.com/view/gcm2021/" target="blank">GCM2021</a></i>
</div>
<br>
<div>
<b>> <i>Nets with Mana: A Framework for Chemical Reaction Modelling</i></b><br>
<i>w/ Fabrizio Genovese & Fosco Loregian</i> — <a href="https://arxiv.org/abs/2101.06234" target="_blank">[arXiv:2101.06234]</a><br>
<i><a href="https://icgt2021.di.unipi.it/" target="_blank">ICGT2021</a></i>
</div>
</div>
<br><br>
<div>
<h2>[misc]</h2>
I volunteer for <a href="https://progetto-itaca.github.io" target="_blank">Progetto ItaCa</a>.
</div>
</body>
</html>