Skip to content

Commit

Permalink
regenerate after: Update 2024fa.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@gshen42
gshen42 committed Sep 13, 2024
1 parent 5c7415d commit 4f420f5
Show file tree
Hide file tree
Showing 7 changed files with 670 additions and 7 deletions.
2 changes: 1 addition & 1 deletion index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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">



Expand Down
186 changes: 185 additions & 1 deletion index.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down
Loading

0 comments on commit 4f420f5

Please sign in to comment.