BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//TYPO3/NONSGML News system (news)//EN
BEGIN:VEVENT
UID:news-22643@cs.au.dk
DTSTAMP:20210817T075558Z
DTSTART:20170111T140000Z
DTEND:20170111T150000Z
END:VEVENT
END:VCALENDAR




<div class="news news-single">
	<div class="article" itemscope="itemscope" itemtype="http://schema.org/Article">
		
	
			<script type="text/javascript">
				const showAllContentLangToken = "Vis alt indhold ";
			</script>

			
			

			<article class="typo3-delphinus delphinus-gutters">

				<!-- News PID: 4980 - used for finding folder/page which contains the news / event -->
				<!-- News UID: 22643 - the ID of the current news / event-->

				<div class="news-event">
					<div class="news-event__header">
						<!-- Categories -->
						
							<span class="text--stamp">
<!-- categories -->
<span class="news-list-category">
	
		
	
		
	
		
	
		
	
		
	
</span>

</span>
						

						<!-- Title -->
						<h1 itemprop="headline">Talk by Dexter Kozen on probabilistic NetKAT</h1>
						
					</div>

					

					<div class="news-event__content">

						<!-- Events info box -->
						
								

								<div class="news-event__info theme--dark" id="event-info">
									<h2 class="screenreader-only">Oplysninger om arrangementet</h2>

									
											<!--- Same date -->
											<div class="news-event__info__item news-event__info__item--time">
												<h3 class="news-event__info__item__header text--label-header">Tidspunkt</h3>
												<div class="news-event__info__item__content">
													<span class="u-avoid-wrap">
														Onsdag 11. januar 2017,
													</span>
													<span class="u-avoid-wrap">
														&nbsp;kl. 15:00 -  16:00
													</span>
													<p class="news-event__info__item__ical-link"><a href="/da/news-events/arrangementer/vis-event/artikel/talk-by-dexter-kozen-on-probabilistic-netkat?tx_news_pi1%5Bformat%5D=ical&amp;type=9819&amp;cHash=9df8364f442beb513bc741038a1bfb98">Tilføj til kalender</a></p>
												</div>
											</div>
										

									<!-- Location detailed -->
									
											<!-- Location Simple -->
											
												<div class="news-event__info__item">
													<h3 class="news-event__info__item__header text--label-header">Sted</h3>
													<div class="news-event__info__item__content">
														<p>Nygaard-395</p>
													</div>
												</div>
											
										

									<!-- Organizer detailed -->
									
											<!-- Organizer Simple -->
											
												<div class="news-event__info__item">
													<h3 class="news-event__info__item__header text--label-header">Arrangør</h3>
													<div class="news-event__info__item__content">
														Lars Birkedal
													</div>
												</div>
											
										

									<!-- Price -->
									

									<!-- Event link -->
									

									<!-- Registration -->
									
								</div>
							

						
							<!-- Media -->
							
								

	
	

	

	
		
					
		
		

		<figure class="news-event__image image" id="first-side-image">
			
					
	
			
                    
                    
                        
                    

					<a href="/fileadmin/_processed_/2/8/csm_Dexterkozen_e269e0e553.jpg" title="Dexter Kozen, Professor, Cornell University" class="lightbox" rel="lightbox[myImageSet]">
                        <img itemprop="image" src="/fileadmin/news_import/Dexterkozen.jpg" width="419" height="566" alt="" />
                    </a>
                    <figcaption>
                        
                            <span class="news-event__image__caption">
                                Dexter Kozen, Professor, Cornell University
                            </span>
                         
                         
                   </figcaption>
				
		


			

			

			

			
		</figure>
 	
			
	



							
						

						
							<div class="news-event__content__text">
								<span class="text--byline" id="byline">
									

									<!-- Author -->
									
										<span itemprop="author" itemscope="itemscope" itemtype="http://schema.org/Person">
											
													Af
												

											
													<a href="mailto:sofia@cs.au.dk">
														<span itemprop="name">Sofia Rasmussen</span>
													</a>
												
										</span>
									
								</span>

								

									<!-- Body text -->
									<h2>Cantor Meets Scott: Semantic Foundations for Probabilistic Networks</h2>
<p><strong> Speaker: </strong> Dexter Kozen, Professor at Cornell University
</p>
<p><strong>Abstract:</strong> NetKAT is a language/logic for specifying, programming, and reasoning about packet-switching networks. ProbNetKAT is a probabilistic extension of NetKAT with a compositional denotational semantics based on Markov kernels. The language is expressive enough to generate continuous distributions, which raises the question of how to compute effectively in the language. In this talk I will describe a new domain-theoretic characterization of the semantics, which provides the foundation needed to build a practical implementation. The new semantics allows the behavior of an arbitrary ProbNetKAT program to be approximated to arbitrary precision with distributions of finite support. There is a prototype implementation, which can be used to solve a variety of problems, including the calculation of the expected congestion induced by different routing schemes and reasoning probabilistically about reachability. (joint work with Steffen Smolka, Nate Foster, Praveen Kumar, and Alexandra Silva)</p>
								
							</div>
						
					</div>

					
						<!-- Content elements -->
						
					
				</div>
			</article>

			
				
				
			

			<!-- related things -->
			
		

	</div>
</div>