enncore.github.io/events.html at master · enncore/enncore.github.io · GitHub

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
<!DOCTYPE html>
<html lang="en-US"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">

<!-- Begin Jekyll SEO tag v2.4.0 -->
<title>News | EnnCore</title>
<meta name="generator" content="Jekyll v3.7.3">
<meta property="og:title" content="EnnCore: End-to-End Conceptual Guarding of Neural Architectures">
<meta property="og:locale" content="en_US">
<meta name="description" content="Security for all in an AI enabled society.">
<meta property="og:description" content="Security for all in an AI enabled society.">
<link rel="canonical" href="https://enncore.github.io/">
<meta property="og:url" content="https://enncore.github.io/">
<meta property="og:site_name" content="EnnCore">
<script type="application/ld+json">
{"name":"EnnCore","description":"Security for all in an AI enabled society.","@type":"WebSite","url":"https://enncore.github.io/","headline":"News","@context":"http://schema.org"}</script>
<!-- End Jekyll SEO tag -->

    <link rel="stylesheet" href="./files/style.css">
    <!--[if lt IE 9]>
    <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv.min.js"></script>
    <![endif]-->
  </head>
  <body>
    <div class="wrapper">
      <header>
        <h1 id="logo"><a href="https://enncore.github.io/"><img src="logo/logo-enncore.png" style="width: 13vw; min-width: 28px;" alt="logo" /></a></h1>


        <p style="font-size:18px;">End-to-End Conceptual Guarding of Neural Architectures</p>

         <p class="view" style="font-size:16px;">
	  <a href="https://enncore.github.io/news.html"><b>News</b></a><br>
          <a href="https://enncore.github.io/partners.html"><b>Partners</b></a><br>
	  <a href="https://enncore.github.io/positions.html"><b>Positions</b></a><br>
          <a href="https://enncore.github.io/publications.html"><b>Publications</b></a><br>
	  <a href="https://enncore.github.io/people.html"><b>People</b></a><br>
          <a href="https://enncore.github.io/applications.html"><b>Applications</b></a><br>
          <a href="https://enncore.github.io/benchmarks.html"><b>Index of Benchmarks</b></a><br>
	  <a href="https://enncore.github.io/events.html"><b>Events</b></a><br>
    <a href="https://enncore.github.io/awards.html"><b>Awards</b></a><br>
        </p>

	<!-- <p><a href="https://github.com/esbmc/esbmc/blob/master/src/COPYING"><img src="./files/License-MIT-yellow.svg" alt="License: MIT"></a></p> -->


      </header>
      <section class="events">

      <h2>Summer Schools</h2>
	      <ul>
		      <li>
			    Secure P2P energy trading: From theory to practice, 2022.
		      </li>
	      </ul>

      <h2>Workshops</h2>
	      <ul>
		      <li>
			     AFRiTS workshop, 2023.
		      </li>
		       <li>
			     EnnCore workshop, 2023.
		      </li>
		       <li>
			     SafeAI special session, 2022.
		      </li>
		       <li>
			     MathNLP: The 1st Workshop on Mathematical Language Processing, EMNLP 2022.
		      </li>
		       <li>
			     MathNLP: The 2nd Workshop on Mathematical Language Processing, LREC-COLING 2024.
		      </li>
	      </ul>

      <h2>Panels</h2>
	      <ul>
		      <li>
			     Smart Meters: the gateway to user-centric energy services - ISGT-Europe 2023.
		      </li>
		      <li>
			     EnnCore panel - CDTS 2023 forum.
		      </li>
		      <li>
			     How is Artificial Intelligence influencing Formal Methods? Challenges and opportunities - SBMF 2023.
		      </li>
	      </ul>

      <h2>Invited talks</h2>
	      <ul>
		      <li>
			     Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perpective, Idiap Research Institute, Switzerland, 2023.
		      </li>
		      <li>
			     A Tale of Two Oracles: Defining and Verifying when AI Systems are Safe, AFRiTS workshop at SBMF 2023.
		      </li>
		      <li>
			     Privacy-friendly P2P energy trading markets - RISE-Sweden, 2023.
		      </li>
		      <li>
			     P2P energy trading scenarios in Greater Manchester - invited expert, 2021.
		      </li>

	      </ul>

       <h2>Tutorials</h2>
	      <ul>
		      <li>
			    Marco Valentino and André Freitas. Reasoning with Natural Language Explanations. Accepted to EMNLP 2024.
		      </li>
		      <li>
			    Carvalho, DS., Zhang, Y., Freitas, A.: Formal Semantic Controls over Language Models. (Accepted to LREC-COLING 2024).
		      </li>

	      </ul>

      </section>
    </div>
    <script src="./files/scale.fix.js.download"></script>


</body></html>