diff --git a/src/seminar/2017sp.erb b/src/seminar/2017sp.erb
index 2bff122a..32cd88c5 100644
--- a/src/seminar/2017sp.erb
+++ b/src/seminar/2017sp.erb
@@ -31,9 +31,18 @@ schedule:
         Washington, and obtained her Ph.D. from the University of Pennsylvania. 
         She is a recipient of the NSF CAREER award and a Google PhD Fellowship.
   - when:  March 9; Time TBD
-    what:  Title TBD
+    what:  Software Synthesis for Networks
     who:   Hossein Hojjat
     where: Location TBD
+    details: 
+      abstract: |
+        Software synthesis is a powerful technique that can dramatically increase the productivity of programmers by automating the construction of complex programs. 
+        One area where synthesis seems particularly promising is in computer networks. 
+        Although Software-Defined Networking (SDN) makes it possible to build rich applications in software, programmers today are forced to deal with numerous low-level details such as encoding high-level policies using low-level hardware primitives, processing asynchronous events and dealing with unexpected failures.
+        This talk will present highlights from our recent works using synthesis to generate correct-by-construction network programs. In the first part of the talk, I will describe an approach for generating configuration updates that are guaranteed to preserve specified invariants. In the second part of the talk, I will present an extension that supports finer-grained updates triggered by data-plane events. In the last part of the talk, I will describe a repair technique that uses Horn clause models to repair buggy network configurations.
+        (Joint work with Nate Foster (Cornell University), Pavol Cerny (University of Colorado at Boulder), Jedidiah McClurg (University of Colorado at Boulder), Philipp Ruemmer (Uppsala University))
+      bio: |
+        Hossein Hojjat is an assistant professor in the Computer Science department at the Rochester Institute of Technology (RIT). Before joining RIT, he was a postdoctoral researcher at Cornell University. He earned a PhD in Computer Science from EPFL in 2013. His research interests center on program synthesis and computer-aided verification.
   - when:  April 6; Time TBD
     what:  Title TBD
     who:   Amol Deshpande