BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//TYPO3/NONSGML News system (news)//EN
BEGIN:VEVENT
UID:news-25051@cs.au.dk
DTSTAMP:20250814T113147Z
DTSTART:20250825T070000Z
DTEND:20250830T153000Z
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 = "Show all content ";
			</script>

			
			

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

				<!-- News PID: 4980 - used for finding folder/page which contains the news / event -->
				<!-- News UID: 25051 - 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">CONFEST 2025</h1>
						
							<!-- Teaser -->
							<p class="text--intro" itemprop="description">The purpose of CONFEST 2025 is to bring together researchers, developers, and students in computer science, in order to advance the theory of concurrency, the study of stochastic and timed systems, and the application of formal methods to industrial systems. 
</p>
<p class="text--intro" itemprop="description">&nbsp;</p>
<p class="text--intro" itemprop="description">CONFEST 2025 is an umbrella, hosting the three main conferences CONCUR, FMICS and QEST+FORMATS, and a number of pre- and post-conference workshops. It will be held in Aarhus, Denmark on August 25-30, 2025. 
</p>
<p class="text--intro" itemprop="description">&nbsp;</p>
<p class="text--intro" itemprop="description">Venue: Conference Center at Aarhus University. The address is Fredrik Nielsens Vej 2-4, 8000 Aarhus C</p>
						
					</div>

					
						<!-- Top image -->
						
					

					<div class="news-event__content">

						<!-- Events info box -->
						
								

								<div class="news-event__info theme--dark" id="event-info">
									<h2 class="screenreader-only">Info about event</h2>

									
											<!-- Date range -->
											<div class="news-event__info__item news-event__info__item--time">
												<h3 class="news-event__info__item__header text--label-header">Time</h3>
												<div class="news-event__info__item__content">
													Monday <span class="u-avoid-wrap">25  <span class="au_news_events_month">August 2025,&nbsp;</span><span class="u-avoid-wrap">at 09:00</span></span> - 												Saturday <span class="u-avoid-wrap">30  <span class="au_news_events_month">August 2025,&nbsp;</span><span class="u-avoid-wrap">at 17:30</span></span>
													<p class="news-event__info__item__ical-link"><a href="/news-events/events/show-event/artikel/confest-2025?tx_news_pi1%5Bformat%5D=ical&amp;type=9819&amp;cHash=9df8364f442beb513bc741038a1bfb98">Add to calendar</a></p>
												</div>
											</div>
										

									<!-- Location detailed -->
									
											<!-- Location Simple -->
											
										

									<!-- Organizer detailed -->
									
											<div class="news-event__info__item">
												<h3 class="news-event__info__item__header text--label-header">Organizer</h3>
												<div class="news-event__info__item__content">
													Department of Computer Science, Aarhus University
												</div>
												
													<div class="news-event__info__item__link">
														<a href="/">Åbogade 34, 8200 Aarhus N, Denmark.</a>
													</div>
												
											</div>
										

									<!-- Price -->
									

									<!-- Event link -->
									
										<div class="news-event__info__item">
											<a href="https://conferences.au.dk/confest2025">Event website</a>
										</div>
									

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

						
							<!-- Media -->
							
								



							
						

						
					</div>

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

			
				
				
			

			<!-- related things -->
			
		

	</div>
</div>