From 4f420f5cf48d9db2669487d399a4939741544bcc Mon Sep 17 00:00:00 2001
From: gshen42 <gshen42@users.noreply.github.com>
Date: Fri, 13 Sep 2024 18:07:59 +0000
Subject: [PATCH] regenerate after: Update 2024fa.md

---
 index.html                    |   2 +-
 index.xml                     | 186 +++++++++++++-
 lsd-seminar/2024fa/index.html | 453 ++++++++++++++++++++++++++++++++++
 lsd-seminar/index.html        |  11 +-
 lsd-seminar/index.xml         |  11 +-
 sitemap.xml                   |  13 +-
 themes/academic               |   1 -
 7 files changed, 670 insertions(+), 7 deletions(-)
 create mode 100644 lsd-seminar/2024fa/index.html
 delete mode 160000 themes/academic

diff --git a/index.html b/index.html
index d04adf4..13039b6 100644
--- a/index.html
+++ b/index.html
@@ -76,7 +76,7 @@
   <meta property="og:description" content="">
   <meta property="og:locale" content="en-us">
   
-  <meta property="og:updated_time" content="2024-01-22T15:35:32-08:00">
+  <meta property="og:updated_time" content="2024-09-12T15:35:32-08:00">
   
 
   
diff --git a/index.xml b/index.xml
index ba59c77..3271d33 100644
--- a/index.xml
+++ b/index.xml
@@ -6,9 +6,193 @@
     <description>Recent content in Languages, Systems, and Data Lab @ UCSC on Languages, Systems, and Data Lab @ UCSC</description>
     <generator>Hugo -- gohugo.io</generator>
     <language>en-us</language>
-    <lastBuildDate>Mon, 22 Jan 2024 15:35:32 -0800</lastBuildDate>
+    <lastBuildDate>Thu, 12 Sep 2024 15:35:32 -0800</lastBuildDate>
     <atom:link href="/" rel="self" type="application/rss+xml" />
     
+    <item>
+      <title>Languages, Systems, and Data Seminar (Fall 2024)</title>
+      <link>http://lsd.ucsc.edu/lsd-seminar/2024fa/</link>
+      <pubDate>Thu, 12 Sep 2024 15:35:32 -0800</pubDate>
+      
+      <guid>http://lsd.ucsc.edu/lsd-seminar/2024fa/</guid>
+      <description>
+
+&lt;p&gt;&lt;strong&gt;Time&lt;/strong&gt;: Fridays, noon - 1:05pm (PT) &lt;br /&gt;
+&lt;strong&gt;Location&lt;/strong&gt;: The Internet / The LSD Lab (Engineering 2, Room 398) &lt;br /&gt;
+&lt;strong&gt;Organizers&lt;/strong&gt;: Lindsey Kuper, Tyler Sorensen, Gan Shen, and Reese Levine &lt;br /&gt;&lt;/p&gt;
+
+&lt;hr /&gt;
+
+&lt;p&gt;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&amp;rsquo;re an undergrad and need a permission code).&lt;/p&gt;
+
+&lt;p&gt;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.&lt;/p&gt;
+
+&lt;p&gt;Talks will be advertised on the &lt;a href=&#34;https://groups.google.com/g/ucsc-lsd-seminar-announce/about&#34; rel=&#34;noreferrer&#34; target=&#34;_blank&#34;&gt;ucsc-lsd-seminar-announce&lt;/a&gt; (for anyone) and &lt;a href=&#34;https://groups.google.com/a/ucsc.edu/g/lsd-group/about&#34; rel=&#34;noreferrer&#34; target=&#34;_blank&#34;&gt;lsd-group&lt;/a&gt; (for UCSC-affiliated people) mailing lists.&lt;/p&gt;
+
+&lt;table&gt;
+&lt;thead&gt;
+&lt;tr&gt;
+&lt;th&gt;Date&lt;/th&gt;
+&lt;th&gt;Speaker&lt;/th&gt;
+&lt;th&gt;Title&lt;/th&gt;
+&lt;/tr&gt;
+&lt;/thead&gt;
+
+&lt;tbody&gt;
+&lt;tr&gt;
+&lt;td&gt;&lt;a href=&#34;#oct-4&#34;&gt;Oct 4&lt;/a&gt;&lt;/td&gt;
+&lt;td&gt;Jinsheng Ba&lt;/td&gt;
+&lt;td&gt;&lt;em&gt;TBD&lt;/em&gt;&lt;/td&gt;
+&lt;/tr&gt;
+
+&lt;tr&gt;
+&lt;td&gt;&lt;a href=&#34;#oct-11&#34;&gt;Oct 11&lt;/a&gt;&lt;/td&gt;
+&lt;td&gt;Jonathan Castello&lt;/td&gt;
+&lt;td&gt;&lt;em&gt;TBD&lt;/em&gt;&lt;/td&gt;
+&lt;/tr&gt;
+
+&lt;tr&gt;
+&lt;td&gt;&lt;a href=&#34;#oct-18&#34;&gt;Oct 18&lt;/a&gt;&lt;/td&gt;
+&lt;td&gt;Bastian Köpcke&lt;/td&gt;
+&lt;td&gt;&lt;em&gt;TBD&lt;/em&gt;&lt;/td&gt;
+&lt;/tr&gt;
+
+&lt;tr&gt;
+&lt;td&gt;&lt;a href=&#34;#oct-25&#34;&gt;Oct 25&lt;/a&gt;&lt;/td&gt;
+&lt;td&gt;Haofan Zheng&lt;/td&gt;
+&lt;td&gt;&lt;em&gt;TBD&lt;/em&gt;&lt;/td&gt;
+&lt;/tr&gt;
+
+&lt;tr&gt;
+&lt;td&gt;&lt;a href=&#34;#nov-1&#34;&gt;Nov 1&lt;/a&gt;&lt;/td&gt;
+&lt;td&gt;Justin Rubin&lt;/td&gt;
+&lt;td&gt;&lt;em&gt;TBD&lt;/em&gt;&lt;/td&gt;
+&lt;/tr&gt;
+
+&lt;tr&gt;
+&lt;td&gt;&lt;a href=&#34;#nov-8&#34;&gt;Nov 8&lt;/a&gt;&lt;/td&gt;
+&lt;td&gt;Bhakti Shah&lt;/td&gt;
+&lt;td&gt;&lt;em&gt;TBD&lt;/em&gt;&lt;/td&gt;
+&lt;/tr&gt;
+
+&lt;tr&gt;
+&lt;td&gt;&lt;a href=&#34;#nov-15&#34;&gt;Nov 15&lt;/a&gt;&lt;/td&gt;
+&lt;td&gt;Federico Mora&lt;/td&gt;
+&lt;td&gt;&lt;em&gt;TBD&lt;/em&gt;&lt;/td&gt;
+&lt;/tr&gt;
+
+&lt;tr&gt;
+&lt;td&gt;&lt;a href=&#34;#nov-22&#34;&gt;Nov 22&lt;/a&gt;&lt;/td&gt;
+&lt;td&gt;Haining Tong&lt;/td&gt;
+&lt;td&gt;&lt;em&gt;TBD&lt;/em&gt;&lt;/td&gt;
+&lt;/tr&gt;
+
+&lt;tr&gt;
+&lt;td&gt;&lt;a href=&#34;#dec-6&#34;&gt;Dec 6&lt;/a&gt;&lt;/td&gt;
+&lt;td&gt;Yanan Guo&lt;/td&gt;
+&lt;td&gt;&lt;em&gt;TBD&lt;/em&gt;&lt;/td&gt;
+&lt;/tr&gt;
+&lt;/tbody&gt;
+&lt;/table&gt;
+
+&lt;hr /&gt;
+
+&lt;h2 id=&#34;oct-4&#34;&gt;Oct 4&lt;/h2&gt;
+
+&lt;p&gt;&lt;strong&gt;Speaker:&lt;/strong&gt; Jinsheng Ba&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Title:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Abstract:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Bio:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;h2 id=&#34;oct-11&#34;&gt;Oct 11&lt;/h2&gt;
+
+&lt;p&gt;&lt;strong&gt;Speaker:&lt;/strong&gt; Jonathan Castello&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Title:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Abstract:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Bio:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;h2 id=&#34;oct-18&#34;&gt;Oct 18&lt;/h2&gt;
+
+&lt;p&gt;&lt;strong&gt;Speaker:&lt;/strong&gt; Bastian Köpcke&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Title:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Abstract:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Bio:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;h2 id=&#34;oct-25&#34;&gt;Oct 25&lt;/h2&gt;
+
+&lt;p&gt;&lt;strong&gt;Speaker:&lt;/strong&gt; Haofan Zheng&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Title:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Abstract:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Bio:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;h2 id=&#34;nov-1&#34;&gt;Nov 1&lt;/h2&gt;
+
+&lt;p&gt;&lt;strong&gt;Speaker:&lt;/strong&gt; Justin Rubin&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Title:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Abstract:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Bio:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;h2 id=&#34;nov-8&#34;&gt;Nov 8&lt;/h2&gt;
+
+&lt;p&gt;&lt;strong&gt;Speaker:&lt;/strong&gt; Bhakti Shah&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Title:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Abstract:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Bio:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;h2 id=&#34;nov-15&#34;&gt;Nov 15&lt;/h2&gt;
+
+&lt;p&gt;&lt;strong&gt;Speaker:&lt;/strong&gt; Federico Mora&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Title:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Abstract:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Bio:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;h2 id=&#34;nov-22&#34;&gt;Nov 22&lt;/h2&gt;
+
+&lt;p&gt;&lt;strong&gt;Speaker:&lt;/strong&gt; Haining Tong&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Title:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Abstract:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Bio:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;h2 id=&#34;dec-6&#34;&gt;Dec 6&lt;/h2&gt;
+
+&lt;p&gt;&lt;strong&gt;Speaker:&lt;/strong&gt; Yanan Guo&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Title:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Abstract:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;p&gt;&lt;strong&gt;Bio:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+
+&lt;hr /&gt;
+
+&lt;p&gt;&lt;a href=&#34;../&#34;&gt;Archive&lt;/a&gt;&lt;/p&gt;
+</description>
+    </item>
+    
     <item>
       <title>Languages, Systems, and Data Seminar (Spring 2024)</title>
       <link>http://lsd.ucsc.edu/lsd-seminar/2024sp/</link>
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 @@
+<!DOCTYPE html>
+<html lang="en-us">
+<head>
+
+  <meta charset="utf-8">
+  <meta name="viewport" content="width=device-width, initial-scale=1">
+  <meta http-equiv="X-UA-Compatible" content="IE=edge">
+  <meta name="theme" content="hugo-academic">
+  <meta name="generator" content="Hugo 0.49.2" />
+  <meta name="author" content="Languages, Systems, and Data Lab">
+
+  
+  
+  
+  
+    
+      
+    
+  
+  <meta name="description" content="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.">
+
+  <link rel="shortcut icon" href="../../img/favicon.ico" />
+  
+  <link rel="alternate" hreflang="en-us" href="http://lsd.ucsc.edu/lsd-seminar/2024fa/">
+
+  
+
+
+  
+
+  
+  
+  <meta name="theme-color" content="#003c6c">
+  
+  
+  
+  
+    
+  
+  
+    
+    
+      
+        <link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/styles/github.min.css">
+      
+    
+  
+  <link rel="stylesheet" href="../../css/bootstrap.min.css">
+  
+  <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.min.css" integrity="sha512-SfTiTlX6kk+qitfevl/7LibUOeJWlt9rbyDn92a1DqWOw9vWG2MFoays0sgObmWazO5BQPiFucnnEAjpAB+/Sw==" crossorigin="anonymous">
+  
+  
+  
+  
+  <link rel="stylesheet" href="//fonts.googleapis.com/css?family=Roboto:400,700%7cEB&#43;Garamond:400,700%7cRoboto&#43;Mono">
+  
+  <link rel="stylesheet" href="../../styles.css">
+  
+
+  
+  
+  
+
+  
+  <link rel="alternate" href="http://lsd.ucsc.edu/index.xml" type="application/rss+xml" title="Languages, Systems, and Data Lab @ UCSC">
+  <link rel="feed" href="http://lsd.ucsc.edu/index.xml" type="application/rss+xml" title="Languages, Systems, and Data Lab @ UCSC">
+  
+
+  <link rel="manifest" href="../../site.webmanifest">
+  <link rel="icon" type="image/png" href="../../img/dusk-asterisk.png">
+  
+
+  <link rel="canonical" href="http://lsd.ucsc.edu">
+
+  <meta property="twitter:card" content="summary_large_image">
+  <meta property="og:site_name" content="Languages, Systems, and Data Lab @ UCSC">
+  <meta property="og:url" content="http://lsd.ucsc.edu/lsd-seminar/2024fa/">
+  <meta property="og:title" content="Languages, Systems, and Data Seminar (Fall 2024) | Languages, Systems, and Data Lab @ UCSC">
+  <meta property="og:description" content="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.">
+  <meta property="og:locale" content="en-us">
+  
+  <meta property="article:published_time" content="2024-09-12T15:35:32-08:00">
+  
+  <meta property="article:modified_time" content="2024-09-12T15:35:32-08:00">
+  
+
+  
+
+  
+
+  
+  <title> Languages, Systems, and Data Seminar (Fall 2024) | Languages, Systems, and Data Lab @ UCSC </title>
+  
+
+</head>
+<body id="top" data-spy="scroll" data-target="#toc" data-offset="71" >
+
+<nav class="navbar navbar-default navbar-fixed-top" id="navbar-main">
+  <div class="container">
+
+    
+    <div class="navbar-header">
+      
+      <button type="button" class="navbar-toggle collapsed" data-toggle="collapse"
+              data-target=".navbar-collapse" aria-expanded="false">
+        <span class="sr-only">Toggle navigation</span>
+        <span class="icon-bar"></span>
+        <span class="icon-bar"></span>
+        <span class="icon-bar"></span>
+      </button>
+      
+      <a class="navbar-brand" href="../../">Languages, Systems, and Data Lab @ UCSC</a>
+    </div>
+
+    
+    <div class="collapse navbar-collapse">
+
+      
+      
+      <ul class="nav navbar-nav navbar-right">
+        
+
+        
+        
+        
+        
+        
+          
+        
+
+        <li class="nav-item">
+          <a href="../../#about">
+            
+            <span>Home</span>
+            
+          </a>
+        </li>
+
+        
+        
+
+        
+        
+        
+        
+        
+          
+        
+
+        <li class="nav-item">
+          <a href="../../lsd-seminar/2024fa/">
+            
+            <span>LSD Seminar</span>
+            
+          </a>
+        </li>
+
+        
+        
+
+        
+        
+        
+        
+        
+          
+        
+
+        <li class="nav-item">
+          <a href="../../#faculty">
+            
+            <span>People</span>
+            
+          </a>
+        </li>
+
+        
+        
+      
+
+      
+      </ul>
+
+    </div>
+  </div>
+</nav>
+
+
+<article class="article" itemscope itemtype="http://schema.org/Article">
+
+  
+
+
+  <div class="article-container">
+    <h1 itemprop="name">Languages, Systems, and Data Seminar (Fall 2024)</h1>
+
+
+    <div class="article-style" itemprop="articleBody">
+      
+
+<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>
+
+    </div>
+
+    
+
+
+    
+    
+
+    
+
+    
+
+
+  </div>
+</article>
+
+<footer class="site-footer">
+  <div class="container">
+    <p class="powered-by">
+
+
+
+
+      <span class="pull-right" aria-hidden="true">
+        <a href="#" id="back_to_top">
+          <span class="button_icon">
+            <i class="fa fa-chevron-up fa-2x"></i>
+          </span>
+        </a>
+      </span>
+
+    </p>
+    
+    <p>
+      Based on the
+      <a href="https://sourcethemes.com/academic/" target="_blank" rel="noopener">Academic theme</a> for
+      <a href="https://gohugo.io" target="_blank" rel="noopener">Hugo</a>
+      &middot;
+      Source on <a href=https://github.com/lsd-ucsc/lsd-ucsc.github.io>GitHub</a>
+    </p>
+    
+  </div>
+</footer>
+
+    
+
+    
+    
+
+    
+
+    
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.2.1/jquery.min.js" integrity="sha512-3P8rXCuGJdNZOnUx/03c1jOTnMn3rP63nBip5gOP2qmUh5YAdVAvFZ1E+QLZZbC1rtMrQb+mah3AfYW11RUrWA==" crossorigin="anonymous"></script>
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/twitter-bootstrap/3.3.7/js/bootstrap.min.js" integrity="sha512-iztkobsvnjKfAtTNdHkGVjAYTrrtlC7mGp/54c40wowO7LhURYl3gVzzcEqGl/qKXQltJ2HwMrdLcNUdo+N/RQ==" crossorigin="anonymous"></script>
+    
+    
+    <script src="../../js/hugo-academic.js"></script>
+    
+
+    
+    
+      
+      
+      <script src="//cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/highlight.min.js" integrity="sha256-/BfiIkHlHoVihZdc6TFuj7MmJ0TWcWsMXkeDFwhi0zw=" crossorigin="anonymous"></script>
+      
+
+      
+
+      
+
+      <script>hljs.initHighlightingOnLoad();</script>
+    
+
+    
+    
+
+  </body>
+</html>
+
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 @@
   <meta property="og:description" content="">
   <meta property="og:locale" content="en-us">
   
-  <meta property="og:updated_time" content="2024-01-22T15:35:32-08:00">
+  <meta property="og:updated_time" content="2024-09-12T15:35:32-08:00">
   
 
   
@@ -186,6 +186,15 @@ <h1>LSD Seminar Archive</h1>
         
           
 
+<div class="pub-list-item" itemscope itemprop="blogPost" itemtype="http://schema.org/BlogPosting">
+  <i class="fa fa-newspaper-o pub-icon" aria-hidden="true"></i>
+  <a href="http://lsd.ucsc.edu/lsd-seminar/2024fa/" itemprop="url"><span itemprop="headline">Languages, Systems, and Data Seminar (Fall 2024)</span></a>
+</div>
+
+      
+        
+          
+
 <div class="pub-list-item" itemscope itemprop="blogPost" itemtype="http://schema.org/BlogPosting">
   <i class="fa fa-newspaper-o pub-icon" aria-hidden="true"></i>
   <a href="http://lsd.ucsc.edu/lsd-seminar/2024sp/" itemprop="url"><span itemprop="headline">Languages, Systems, and Data Seminar (Spring 2024)</span></a>
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 @@
     <description>Recent content in LSD Seminar Archive on Languages, Systems, and Data Lab @ UCSC</description>
     <generator>Hugo -- gohugo.io</generator>
     <language>en-us</language>
-    <lastBuildDate>Mon, 22 Jan 2024 15:35:32 -0800</lastBuildDate>
+    <lastBuildDate>Thu, 12 Sep 2024 15:35:32 -0800</lastBuildDate>
     
 	<atom:link href="http://lsd.ucsc.edu/lsd-seminar/index.xml" rel="self" type="application/rss+xml" />
     
     
+    <item>
+      <title>Languages, Systems, and Data Seminar (Fall 2024)</title>
+      <link>http://lsd.ucsc.edu/lsd-seminar/2024fa/</link>
+      <pubDate>Thu, 12 Sep 2024 15:35:32 -0800</pubDate>
+      
+      <guid>http://lsd.ucsc.edu/lsd-seminar/2024fa/</guid>
+      <description>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.</description>
+    </item>
+    
     <item>
       <title>Languages, Systems, and Data Seminar (Spring 2024)</title>
       <link>http://lsd.ucsc.edu/lsd-seminar/2024sp/</link>
diff --git a/sitemap.xml b/sitemap.xml
index f3a20ea..b9fdd87 100644
--- a/sitemap.xml
+++ b/sitemap.xml
@@ -3,6 +3,15 @@
   
     
     
+    <url>
+    
+      <loc>http://lsd.ucsc.edu/lsd-seminar/2024fa/</loc>
+      <lastmod>2024-09-12T15:35:32-08:00</lastmod>
+    </url>
+    
+  
+    
+    
     <url>
     
       <loc>http://lsd.ucsc.edu/lsd-seminar/2024sp/</loc>
@@ -114,7 +123,7 @@
     <url>
     
       <loc>http://lsd.ucsc.edu/lsd-seminar/</loc>
-      <lastmod>2024-01-22T15:35:32-08:00</lastmod>
+      <lastmod>2024-09-12T15:35:32-08:00</lastmod>
     </url>
     
   
@@ -123,7 +132,7 @@
     <url>
     
       <loc>http://lsd.ucsc.edu/</loc>
-      <lastmod>2024-01-22T15:35:32-08:00</lastmod>
+      <lastmod>2024-09-12T15:35:32-08:00</lastmod>
       <priority>0</priority>
     </url>
     
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