BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//TYPO3/NONSGML News system (news)//EN
BEGIN:VEVENT
UID:news-24713@cs.staff.au.dk
DTSTAMP:20241129T125323Z
DTSTART:20241206T131500Z
DTEND:20241206T140000Z
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: 24713 - 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">Inaugural Lecture by Amin Timany on Formal and Foundational Study of Programs and Programming Languages</h1>
						
					</div>

					
						<!-- Top image -->
						
							

							<div class="news-event__hero-image" id="hero-image">
								<figure class="news-event__image">
									
									
											
													
	<picture>
		<source media="(max-width: 35.46em)" srcset="/fileadmin/_processed_/d/c/csm_Amin_jpg_ready_f80b6c403b.jpg, /fileadmin/_processed_/d/c/csm_Amin_jpg_ready_23dc55b504.jpg 1.5x">
		<img srcset="/fileadmin/_processed_/d/c/csm_Amin_jpg_ready_249576b73e.jpg 1.5x" itemprop="image" src="/fileadmin/_processed_/d/c/csm_Amin_jpg_ready_f0f79f844c.jpg" width="1370" height="1430" alt="" />
	</picture>

												
										

									<figcaption>
										
										
									</figcaption>
								</figure>
							</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">
														Fredag  6. december 2024,
													</span>
													<span class="u-avoid-wrap">
														&nbsp;kl. 14:15 -  15:00
													</span>
													<p class="news-event__info__item__ical-link"><a href="/da/news-events/nyheder/vis-nyhed/artikel/inaugural-lecture-by-amin-timany-on-formal-and-foundational-study-of-programs-and-programming-languages?tx_news_pi1%5Bformat%5D=ical&amp;type=9819&amp;cHash=cd88ffb127f224a3b696441f3011d154">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>InCuba Lille Auditorium (Building: 5510 - Room: 104), Åbogade 15, 8200 Aarhus N</p>
													</div>
												</div>
											
										

									<!-- Organizer detailed -->
									
											<!-- Organizer Simple -->
											
										

									<!-- Price -->
									
										<div class="news-event__info__item">
											<h3 class="news-event__info__item__header text--label-header">Pris</h3>
											<div class="news-event__info__item__content u-avoid-wrap">Free DKK</div>
										</div>
									

									<!-- Event link -->
									

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

						
							<!-- Media -->
							
								

	
	

	

	
		
				
				
					
				
			
	



							
						

						
							<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:marbok@cs.au.dk">
														<span itemprop="name">Maria Bokari</span>
													</a>
												
										</span>
									
								</span>

								

									<!-- Body text -->
									<p><strong>Title</strong></p>
<p>Formal and Foundational Study of Programs and Programming Languages</p>
<p><strong>Abstract</strong></p>
<p>In this talk, I will introduce the formal and foundational approach that I take in my research studying programs and programming languages. I will present how we use mathematical techniques and formal logic to express and prove properties of programs. This line of research falls under the intersection of mathematics, logic, and computer science. One of the important applications of this field of research is expressing and proving different aspects of correctness of programs which are crucial for the safety and security of the software systems that we use every day.</p>
								
							</div>
						
					</div>

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

			
				
				
			

			<!-- related things -->
			
		

	</div>
</div>