-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmisc.html
89 lines (74 loc) · 3.1 KB
/
misc.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
<!DOCTYPE html>
<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="generator" content="Hugo 0.142.0">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>Home Page of Van-Giang Trinh</title>
<link rel="stylesheet" href="./files/style.css">
<link rel="stylesheet" href="./files/syntax.css">
</head>
<body link="#0000ff" vlink="#0000ff">
<div class="container">
<p></p>
<nav>
<a href="index.html">Home</a>
<a href="publication.html">Publications</a>
<a href="talk.html">Talks</a>
<a href="teaching.html">Teaching</a>
<a href="misc.html">Misc.</a>
</nav>
<p>
</p>
<header>
<div id="headerbox">
<div id="headerbox1">
<img src="./files/PetriNets2025.jpg" align="CENTER" max-height="100">
</div>
<div id="headerbox2">
<strong>Van-Giang Trinh</strong> <br>
Lifeware team, Inria Saclay <br>
Bâtiment Alan Turing, Campus de l'École Polytechnique <br>
1 rue Honoré d'Estienne d'Orves 91120 Palaiseau, France
</div>
<div id="headerbox3">
E-mail: <a href="mailto:van-giang.trinh@inria.fr">van-giang.trinh@inria.fr</a> <br>
Website: <a href="https://giang-trinh.github.io/">https://giang-trinh.github.io/</a> <br>
<a href="https://github.com/giang-trinh" style="vertical-align:top;">
<img src="./files/favicon.svg" style="width:1em;margin-right:.5em;">https://github.com/giang-trinh
</a><br>
<a href="https://orcid.org/0000-0001-6581-998X" style="vertical-align:top;">
<img src="./files/orcid_16x16.png" style="width:1em;margin-right:.5em;">https://orcid.org/0000-0001-6581-998X
</a>
</div>
<div id="headerbox4">
<img src="./files/trappist.svg" align="CENTER" max-height="100">
</div>
</div>
<p>
</p>
<div id="headerline">
</div>
</header>
<main>
<div class="row mb-2">
<div class="col-lg-4">
<h2 class="page-subtitle">Miscellaneous</h2>
<h3 class="page-subtitle">Useful links</h3>
<ul style="list-style-type: circle;">
<li><a class="link" href="https://www.informatik.uni-hamburg.de/TGI/PetriNets/index.php">Petri Nets World</a></li>
<li><a class="link" href="https://logicprogramming.org/">Association for Logic Programming</a></li>
<li><a class="link" href="https://aarinc.org/">Association for Automated Reasoning</a></li>
<li><a class="link" href="https://www.a4cp.org/">Association for Constraint Programming</a></li>
<li><a class="link" href="https://kr.org/">Principles of Knowledge Representation and Reasoning, Incorporated (KR Inc.)</a></li>
<li><a class="link" href="https://www.bioss-cnrs.fr/">GT Bioss</a></li>
<li><a class="link" href="http://www.colomoto.org/">CoLoMoTo (Consortium for Logical Models and Tools)</a></li>
<li><a class="link" href="https://www.iscb.org/">International Society for Computational Biology (ISCB)</a></li>
</ul>
</div>
</div>
</main>
<footer>
<small>Last modified on February 3, 2025.</small>
</footer>
</div>
</body></html>