diff --git a/index.html b/index.html index d04adf4..13039b6 100644 --- a/index.html +++ b/index.html @@ -76,7 +76,7 @@ - + diff --git a/index.xml b/index.xml index ba59c77..3271d33 100644 --- a/index.xml +++ b/index.xml @@ -6,9 +6,193 @@ Recent content in Languages, Systems, and Data Lab @ UCSC on Languages, Systems, and Data Lab @ UCSC Hugo -- gohugo.io en-us - Mon, 22 Jan 2024 15:35:32 -0800 + Thu, 12 Sep 2024 15:35:32 -0800 + + Languages, Systems, and Data Seminar (Fall 2024) + http://lsd.ucsc.edu/lsd-seminar/2024fa/ + Thu, 12 Sep 2024 15:35:32 -0800 + + http://lsd.ucsc.edu/lsd-seminar/2024fa/ + + +<p><strong>Time</strong>: Fridays, noon - 1:05pm (PT) <br /> +<strong>Location</strong>: The Internet / The LSD Lab (Engineering 2, Room 398) <br /> +<strong>Organizers</strong>: Lindsey Kuper, Tyler Sorensen, Gan Shen, and Reese Levine <br /></p> + +<hr /> + +<p>The Languages, Systems, and Data Seminar meets weekly to discuss interesting topics in the areas of programming languages, systems, databases, formal methods, security, software engineering, verification, architecture, and beyond. Our goal is to encourage interactions and discussions between students, researchers, and faculty with interests in these areas. The seminar is open to everyone interested. Participating UCSC students should register for the 2-credit course CSE 280O (let the organizers know if you&rsquo;re an undergrad and need a permission code).</p> + +<p>For spring 2024, we will continue to host the LSD Seminar in a hybrid fashion. Anyone can attend on Zoom, and local folks can gather in person in the lab. Speakers can join either in person or on Zoom, whichever is convenient.</p> + +<p>Talks will be advertised on the <a href="https://groups.google.com/g/ucsc-lsd-seminar-announce/about" rel="noreferrer" target="_blank">ucsc-lsd-seminar-announce</a> (for anyone) and <a href="https://groups.google.com/a/ucsc.edu/g/lsd-group/about" rel="noreferrer" target="_blank">lsd-group</a> (for UCSC-affiliated people) mailing lists.</p> + +<table> +<thead> +<tr> +<th>Date</th> +<th>Speaker</th> +<th>Title</th> +</tr> +</thead> + +<tbody> +<tr> +<td><a href="#oct-4">Oct 4</a></td> +<td>Jinsheng Ba</td> +<td><em>TBD</em></td> +</tr> + +<tr> +<td><a href="#oct-11">Oct 11</a></td> +<td>Jonathan Castello</td> +<td><em>TBD</em></td> +</tr> + +<tr> +<td><a href="#oct-18">Oct 18</a></td> +<td>Bastian Köpcke</td> +<td><em>TBD</em></td> +</tr> + +<tr> +<td><a href="#oct-25">Oct 25</a></td> +<td>Haofan Zheng</td> +<td><em>TBD</em></td> +</tr> + +<tr> +<td><a href="#nov-1">Nov 1</a></td> +<td>Justin Rubin</td> +<td><em>TBD</em></td> +</tr> + +<tr> +<td><a href="#nov-8">Nov 8</a></td> +<td>Bhakti Shah</td> +<td><em>TBD</em></td> +</tr> + +<tr> +<td><a href="#nov-15">Nov 15</a></td> +<td>Federico Mora</td> +<td><em>TBD</em></td> +</tr> + +<tr> +<td><a href="#nov-22">Nov 22</a></td> +<td>Haining Tong</td> +<td><em>TBD</em></td> +</tr> + +<tr> +<td><a href="#dec-6">Dec 6</a></td> +<td>Yanan Guo</td> +<td><em>TBD</em></td> +</tr> +</tbody> +</table> + +<hr /> + +<h2 id="oct-4">Oct 4</h2> + +<p><strong>Speaker:</strong> Jinsheng Ba</p> + +<p><strong>Title:</strong> <em>TBD</em></p> + +<p><strong>Abstract:</strong> <em>TBD</em></p> + +<p><strong>Bio:</strong> <em>TBD</em></p> + +<h2 id="oct-11">Oct 11</h2> + +<p><strong>Speaker:</strong> Jonathan Castello</p> + +<p><strong>Title:</strong> <em>TBD</em></p> + +<p><strong>Abstract:</strong> <em>TBD</em></p> + +<p><strong>Bio:</strong> <em>TBD</em></p> + +<h2 id="oct-18">Oct 18</h2> + +<p><strong>Speaker:</strong> Bastian Köpcke</p> + +<p><strong>Title:</strong> <em>TBD</em></p> + +<p><strong>Abstract:</strong> <em>TBD</em></p> + +<p><strong>Bio:</strong> <em>TBD</em></p> + +<h2 id="oct-25">Oct 25</h2> + +<p><strong>Speaker:</strong> Haofan Zheng</p> + +<p><strong>Title:</strong> <em>TBD</em></p> + +<p><strong>Abstract:</strong> <em>TBD</em></p> + +<p><strong>Bio:</strong> <em>TBD</em></p> + +<h2 id="nov-1">Nov 1</h2> + +<p><strong>Speaker:</strong> Justin Rubin</p> + +<p><strong>Title:</strong> <em>TBD</em></p> + +<p><strong>Abstract:</strong> <em>TBD</em></p> + +<p><strong>Bio:</strong> <em>TBD</em></p> + +<h2 id="nov-8">Nov 8</h2> + +<p><strong>Speaker:</strong> Bhakti Shah</p> + +<p><strong>Title:</strong> <em>TBD</em></p> + +<p><strong>Abstract:</strong> <em>TBD</em></p> + +<p><strong>Bio:</strong> <em>TBD</em></p> + +<h2 id="nov-15">Nov 15</h2> + +<p><strong>Speaker:</strong> Federico Mora</p> + +<p><strong>Title:</strong> <em>TBD</em></p> + +<p><strong>Abstract:</strong> <em>TBD</em></p> + +<p><strong>Bio:</strong> <em>TBD</em></p> + +<h2 id="nov-22">Nov 22</h2> + +<p><strong>Speaker:</strong> Haining Tong</p> + +<p><strong>Title:</strong> <em>TBD</em></p> + +<p><strong>Abstract:</strong> <em>TBD</em></p> + +<p><strong>Bio:</strong> <em>TBD</em></p> + +<h2 id="dec-6">Dec 6</h2> + +<p><strong>Speaker:</strong> Yanan Guo</p> + +<p><strong>Title:</strong> <em>TBD</em></p> + +<p><strong>Abstract:</strong> <em>TBD</em></p> + +<p><strong>Bio:</strong> <em>TBD</em></p> + +<hr /> + +<p><a href="../">Archive</a></p> + + + Languages, Systems, and Data Seminar (Spring 2024) http://lsd.ucsc.edu/lsd-seminar/2024sp/ diff --git a/lsd-seminar/2024fa/index.html b/lsd-seminar/2024fa/index.html new file mode 100644 index 0000000..d80a172 --- /dev/null +++ b/lsd-seminar/2024fa/index.html @@ -0,0 +1,453 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Languages, Systems, and Data Seminar (Fall 2024) | Languages, Systems, and Data Lab @ UCSC + + + + + + + + +
+ + + + +
+

Languages, Systems, and Data Seminar (Fall 2024)

+ + +
+ + +

Time: Fridays, noon - 1:05pm (PT)
+Location: The Internet / The LSD Lab (Engineering 2, Room 398)
+Organizers: Lindsey Kuper, Tyler Sorensen, Gan Shen, and Reese Levine

+ +
+ +

The Languages, Systems, and Data Seminar meets weekly to discuss interesting topics in the areas of programming languages, systems, databases, formal methods, security, software engineering, verification, architecture, and beyond. Our goal is to encourage interactions and discussions between students, researchers, and faculty with interests in these areas. The seminar is open to everyone interested. Participating UCSC students should register for the 2-credit course CSE 280O (let the organizers know if you’re an undergrad and need a permission code).

+ +

For spring 2024, we will continue to host the LSD Seminar in a hybrid fashion. Anyone can attend on Zoom, and local folks can gather in person in the lab. Speakers can join either in person or on Zoom, whichever is convenient.

+ +

Talks will be advertised on the ucsc-lsd-seminar-announce (for anyone) and lsd-group (for UCSC-affiliated people) mailing lists.

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
DateSpeakerTitle
Oct 4Jinsheng BaTBD
Oct 11Jonathan CastelloTBD
Oct 18Bastian KöpckeTBD
Oct 25Haofan ZhengTBD
Nov 1Justin RubinTBD
Nov 8Bhakti ShahTBD
Nov 15Federico MoraTBD
Nov 22Haining TongTBD
Dec 6Yanan GuoTBD
+ +
+ +

Oct 4

+ +

Speaker: Jinsheng Ba

+ +

Title: TBD

+ +

Abstract: TBD

+ +

Bio: TBD

+ +

Oct 11

+ +

Speaker: Jonathan Castello

+ +

Title: TBD

+ +

Abstract: TBD

+ +

Bio: TBD

+ +

Oct 18

+ +

Speaker: Bastian Köpcke

+ +

Title: TBD

+ +

Abstract: TBD

+ +

Bio: TBD

+ +

Oct 25

+ +

Speaker: Haofan Zheng

+ +

Title: TBD

+ +

Abstract: TBD

+ +

Bio: TBD

+ +

Nov 1

+ +

Speaker: Justin Rubin

+ +

Title: TBD

+ +

Abstract: TBD

+ +

Bio: TBD

+ +

Nov 8

+ +

Speaker: Bhakti Shah

+ +

Title: TBD

+ +

Abstract: TBD

+ +

Bio: TBD

+ +

Nov 15

+ +

Speaker: Federico Mora

+ +

Title: TBD

+ +

Abstract: TBD

+ +

Bio: TBD

+ +

Nov 22

+ +

Speaker: Haining Tong

+ +

Title: TBD

+ +

Abstract: TBD

+ +

Bio: TBD

+ +

Dec 6

+ +

Speaker: Yanan Guo

+ +

Title: TBD

+ +

Abstract: TBD

+ +

Bio: TBD

+ +
+ +

Archive

+ +
+ + + + + + + + + + + + +
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/lsd-seminar/index.html b/lsd-seminar/index.html index 8c69b45..38ef3c7 100644 --- a/lsd-seminar/index.html +++ b/lsd-seminar/index.html @@ -68,7 +68,7 @@ - + @@ -186,6 +186,15 @@

LSD Seminar Archive

+ + + + + +
diff --git a/lsd-seminar/index.xml b/lsd-seminar/index.xml index 7e892ff..4b5b29e 100644 --- a/lsd-seminar/index.xml +++ b/lsd-seminar/index.xml @@ -6,11 +6,20 @@ Recent content in LSD Seminar Archive on Languages, Systems, and Data Lab @ UCSC Hugo -- gohugo.io en-us - Mon, 22 Jan 2024 15:35:32 -0800 + Thu, 12 Sep 2024 15:35:32 -0800 + + Languages, Systems, and Data Seminar (Fall 2024) + http://lsd.ucsc.edu/lsd-seminar/2024fa/ + Thu, 12 Sep 2024 15:35:32 -0800 + + http://lsd.ucsc.edu/lsd-seminar/2024fa/ + Time: Fridays, noon - 1:05pm (PT) Location: The Internet / The LSD Lab (Engineering 2, Room 398) Organizers: Lindsey Kuper, Tyler Sorensen, Gan Shen, and Reese Levine The Languages, Systems, and Data Seminar meets weekly to discuss interesting topics in the areas of programming languages, systems, databases, formal methods, security, software engineering, verification, architecture, and beyond. Our goal is to encourage interactions and discussions between students, researchers, and faculty with interests in these areas. + + Languages, Systems, and Data Seminar (Spring 2024) http://lsd.ucsc.edu/lsd-seminar/2024sp/ diff --git a/sitemap.xml b/sitemap.xml index f3a20ea..b9fdd87 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -3,6 +3,15 @@ + + + http://lsd.ucsc.edu/lsd-seminar/2024fa/ + 2024-09-12T15:35:32-08:00 + + + + + http://lsd.ucsc.edu/lsd-seminar/2024sp/ @@ -114,7 +123,7 @@ http://lsd.ucsc.edu/lsd-seminar/ - 2024-01-22T15:35:32-08:00 + 2024-09-12T15:35:32-08:00 @@ -123,7 +132,7 @@ http://lsd.ucsc.edu/ - 2024-01-22T15:35:32-08:00 + 2024-09-12T15:35:32-08:00 0 diff --git a/themes/academic b/themes/academic deleted file mode 160000 index 8d596ff..0000000 --- a/themes/academic +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 8d596ffed2d080010c561679cf4e9b4da1554781