1<!DOCTYPE html> 2<!--[if lt IE 7 ]> <html class="ie6"> <![endif]--> 3<!--[if IE 7 ]> <html class="ie7"> <![endif]--> 4<!--[if IE 8 ]> <html class="ie8"> <![endif]--> 5<!--[if IE 9 ]> <html class="ie9"> <![endif]--> 6<!--[if (gt IE 9)|!(IE)]><!--><html class=""><!--<![endif]--> 7<head> 8 <meta charset="utf-8"> 9 <meta http-equiv="X-UA-Compatible" content="IE=edge"> 10 <meta name="viewport" content="width=device-width, initial-scale=1"> 11 <meta name="description" content=""> 12 <meta name="author" content=""> 13 <title>DataMod 2023</title> 14 15 16 <!-- Library - Bootstrap v3.3.5 --> 17 <link rel="stylesheet" type="text/css" href="libraries/lib.css"> 18 <link rel="stylesheet" type="text/css" href="libraries/Stroke-Gap-Icon/stroke-gap-icon.css"> 19 20 <!-- Custom - Common CSS --> 21 <link rel="stylesheet" type="text/css" href="css/plugins.css"> 22 <link rel="stylesheet" type="text/css" href="css/navigation-menu.css"> 23 <link rel="stylesheet" type="text/css" href="libraries/lightslider-master/lightslider.css"> 24 25 <!-- Custom - Theme CSS --> 26 <link rel="stylesheet" type="text/css" href="style.css"> 27 <link rel="stylesheet" type="text/css" href="css/shortcode.css"> 28 <!--[if lt IE 9]> 29
29<script src="js/html5/respond.min.js"></script>
29 30 <![endif]--> 31 32</head> 33 34<body data-offset="200" data-spy="scroll" data-target=".ow-navigation"> 35 <!-- Loader --> 36 <div id="site-loader" class="load-complete"> 37 <div class="loader"> 38 <div class="loader-inner ball-clip-rotate"> 39 <div></div> 40 </div> 41 </div> 42 </div><!-- Loader /- --> 43 44 <!-- Header --> 45 <header class="header-main container-fluid no-padding"> 46 <!-- Top Header --> 47 <div class="top-header container-fluid no-padding"> 48 <!-- Container --> 49 <div class="container"> 50 <div class="row"> 51 <!-- Social --> 52 <div class="col-md-4 col-sm-4 col-xs-6 social"> 53 <ul> 54 <li><a title="Twitter" href="https://twitter.com/Data2ModelsBack" target="_blank"><i class="fa fa-twitter"></i></a></li> 55 <li><a title="Mail" href="mailto:[email protected]"><i class="fa fa-envelope"></i></a></li> 56 57 </ul> 58 </div> 59 <!-- Social /- --> 60 61 <!-- Register TO BE UN COMMENTED WHEN REGISTRATION WILL BE OPEN--> 62 <!--<div class="col-md-4 col-sm-4 col-xs-6 register"> 63 <a href="#" title="Register">Register</a> 64 </div>--> 65 <!-- Register /- --> 66 67 <!-- Logo Block --> 68 <div class="col-md-4 col-sm-4 col-xs-12 logo-block"> 69 <a href="index.html" title="Logo"> 70 <h3>DATAMOD 2023</h3> 71 </a> 72 </div> 73 <!-- Logo Block /- --> 74 </div> 75 </div><!-- Container /- --> 76 </div><!-- Top Header /- --> 77 78 <!-- Menu Block --> 79 <div class="menu-block container-fluid no-padding"> 80 <!-- Container --> 81 <div class="container"> 82 <div class="col-md-10 col-md-offset-1 col-sm-12"> 83 <!-- Navigation --> 84 <nav class="navbar ow-navigation"> 85 <div class="navbar-header"> 86 <button aria-controls="navbar" aria-expanded="false" data-target="#navbar" data-toggle="collapse" class="navbar-toggle collapsed" type="button"> 87 <span class="sr-only">Toggle navigation</span> 88 <span class="icon-bar"></span> 89 <span class="icon-bar"></span> 90 <span class="icon-bar"></span> 91 </button> 92 </div> 93 <div class="navbar-collapse collapse" id="navbar"> 94 <ul class="nav navbar-nav menubar"> 95 <li class="active"><a title="Home" href="index.html">Home</a></li> 96 <li><a title="About" href="#about">About</a></li> 97 <li><a title="Important Dates" href="#importantDates">Important Dates</a></li> 98 <li><a title="Submission" href="#submission">Submission</a></li> 99 <li><a title="Keynote" href="#keynote">Keynotes</a></li> 100 <li><a title="Program" href="#program">Program</a></li> 101 <li><a title="Organization" href="#organization">Organization</a></li> 102 </ul> 103 </div> 104 </nav><!-- Navigation /- --> 105 </div> 106 </div><!-- Container /- --> 107 </div><!-- Menu Block /- --> 108 </header><!-- Header /- --> 109 110 111 112 <!-- TITLE Section --> 113 <div class="container-fluid no-padding howwecan-section" style="background-image: url(images/landscape2.jpg);background-size: cover;"> 114 <div class="section-padding"></div> 115 <div class="container"> 116 <div class="row"> 117 118 <div class="col-md-4 col-sm-6 col-xs-12"> 119 120 </div> 121 <div class="col-md-8 col-sm-6 col-xs-12"> 122 <div class="howwecan-right"> 123 <div class="section-header"> 124 <p class="pre">11th International Symposium</h2> 125 <p class="title">DATAMOD 2023</h3> 126 <p class="subtitle">FROM DATA TO MODELS AND BACK</p> 127 128 <p class="satellite">A satellite event of the </p> 129 <p class="satellite" style="margin-bottom: 3em;"><a href="https://sefm-conference.github.io/2023/" target="_blank">21st International Conference of Software Engineering and Formal Methods - SEFM 2023</a></p> 130 131 <!--<p class="satellite">The proceedings of DataMod 2023 are available at </p> 132 <p class="satellite" style="margin-bottom: 3em;"><a href="https://link.springer.com/book/10.1007/978-3-031-87217-4" target="_blank">https://link.springer.com/book/10.1007/978-3-031-87217-4</a></p> 133 <p class="satellite">The Symposium participants have free access to the proceedings until 31 May 2025</p> --> 134 </p> 135 </div> 136 137 <div class="section-subheader"> 138 <div class="iconsInfo"> 139 <i class="fa fa-calendar"></i> 140 <p class="infos"> 141 <strong>DATE</strong> 142 <span>6-7 November</span> 143 </p> 144 </div> 145 <div class="iconsInfo"> 146 <i class="fa fa-map-marker"></i> 147 <p class="infos"> 148 <strong>LOCATION</strong> 149 <span>Eindhoven</span> 150 </p> 151 </div> 152 <p class="satellite" style=" 153 font-weight: 700; 154 color: white; 155 border: 2px solid #af1b71; 156 padding: 1em; 157 border-radius: 20px; 158 background-color: #af1b71;">The Symposium participants have free access to the proceedings until 31 May 2025 (see below)</p> 159 </div> 160 </div>
161 </div> 162 </div> 163 </div> 164 <div class="section-padding"></div> 165 </div><!-- TITLE Section /- --> 166 167 <!-- About Section --> 168 <div id="about" class="container-fluid no-padding introduction-section"> 169 <div class="row"> 170 <div class="col-sm-8 col-sm-offset-2 mb-100 text-center" style="padding: 3em;"> 171 <h1 class="title" style="margin-bottom: 0">PROCEEDINGS</h1> 172 <p> The proceedings of DataMod 2023 are now available at <a href="https://link.springer.com/book/10.1007/978-3-031-87217-4" target="_blank">https://link.springer.com/book/10.1007/978-3-031-87217-4</a> 173 </p> 174 </div> 175 <div class="col-sm-8 col-sm-offset-2 mb-100 text-center" style="padding: 3em;"> 176 <h1 class="title">About Datamod</h1> 177 <p class="title-lead mt-20 text-justify"> 178 DataMod aims at bringing together practitioners and researchers from academia, industry and 179 research institutions interested in the combined application of computational modelling methods 180 with data-driven techniques from the areas of knowledge management, data mining and machine 181 learning. Modelling methodologies of interest include automata, agents, Petri nets, process 182 algebras and rewriting systems. Application domains include social systems, ecology, biology, 183 medicine, smart cities, governance, security, education, software engineering, and any other 184 field that deals with complex systems and large amounts of data. Papers can present research 185 results in any of the themes of interest for the symposium as well as application experiences, 186 tools and promising preliminary ideas. Papers dealing with synergistic approaches that integrate 187 modelling and knowledge management/discovery or that exploit knowledge management/discovery to 188 develop/syntesise system models are especially welcome. </p> 189 </div> 190 </div> 191 192 <div class="container"> 193 <div class="row" style="border-bottom: none;"> 194 <div class="col-sm-8 col-sm-offset-2 mb-100 text-center"> 195 <h1 class="title">Topics of interest</h1> 196 </div> 197 <div class="col-md-6"> 198 <div class="col-md-12"> 199 <h3 class="sub-title-0 mb-20"> 200 <span class="topics"> 201 Modelling and analysis methodologies include 202 </span> 203 </h3> 204 </div> 205 <div class="col-md-6"> 206 <ul class="block-topic"> 207 <li> Agent-based Methodologies</li> 208 <li> Automata-based Methodologies</li> 209 <li> Big Data Analytics</li> 210 <li> Cellular Automata</li> 211 <li> Classification</li> 212 <li> Clustering, Segmentation and Profiling</li> 213 <li> Conformance Analysis</li> 214 <li>Constraint Programming</li> 215 <li>Data Mining</li> 216 <li>Differential Equations</li> 217 <li>Game Theory</li> 218 </ul> 219 </div> 220 <div class="col-md-6"> 221 <ul class="block-topic"> 222 <li>Machine Learning</li> 223 <li>Membrane Systems</li> 224 <li>Network Theory and Analysis</li> 225 <li> Ontologies</li> 226 <li>Optimisation Modelling</li> 227 <li>Petri Nets</li> 228 <li>Process Calculi</li> 229 <li>Process Mining</li> 230 <li> Rewriting Systems</li> 231 <li>Spatio-temporal Data Analysis/Mining</li> 232 <li>Statistical Model Checking</li> 233 <li>Text Mining</li> 234 <li>Topological Data Analysis</li> 235 </ul> 236 </div> 237 </div> 238 <div class="col-md-6"> 239 <div class="col-md-12"> 240 <h3 class="sub-title-0 mb-20"> 241 <span class="topics">Application domains include:</span> 242 </h3> 243 </div> 244 <div class="col-md-6"> 245 <ul class="block-topic"> 246 <li>Biology</li> 247 <li>Brain Data and Simulation</li> 248 <li>Business Process Management</li> 249 <li>Climate Change</li> 250 <li>Cybersecurity</li> 251 <li>Ecology</li> 252 <li>Education</li> 253 <li>Environmental Risk Assessment and Management</li> 254 <li>Enterprise Architectures</li> 255 <li>Epidemiology</li> 256 <li>Genetics and Genomics</li> 257 <li>Governance</li> 258 <li>HCI and Human Behaviour</li> 259 </ul> 260 </div> 261 <div class="col-md-6"> 262 <ul class="block-topic"> 263 <li>Open Source Software Development and Communities</li> 264 <li>Pharmacology</li> 265 <li>Resilience Engineering</li> 266 <li>Safety and Security Risk Assessment</li> 267 <li>Social Good</li> 268 <li>Social Software Engineering</li> 269 <li>Social Systems</li> 270 <li>Sustainable Development</li> 271 <li>Threat modelling and analysis</li> 272 <li>Urban Ecology</li> 273 <li>Smart Cities and Smart Lands</li> 274 </ul>
275 </div> 276 </div> 277 </div> 278 <div class="row"> 279 <div class="col-md-12 mt-50"> 280 <div class="col-md-12"> 281 <h3 class="sub-title-0 mb-20"> 282 <span class="topics">Synergistic approaches include:</span></h3> 283 </div> 284 <div class="col-md-6"> 285 <ol class="block-topic"> 286 <li>Use of modelling methods and notations in a knowledge management/discovery 287 context 288 </li> 289 </ol> 290 </div> 291 <div class="col-md-6"> 292 <ol class="block-topic" start="2"> 293 <li>Development and use of common modelling and knowledge management/discovery 294 frameworks to 295 explore and understand complex systems from the application domains of interest 296 </li> 297 </ol> 298 </div> 299 </div> 300 </div> 301 </div> 302 </div><!-- About Section /- --> 303 304 <!-- Importand Dates Section --> 305 <div id="importantDates" class="container-fluid no-padding introduction-section"> 306 <div class="row"> 307 <div class="col-sm-8 col-sm-offset-2 mb-100 text-center"> 308 <h1 class="title">Important Dates </h1> 309 </div> 310 <div class="col-sm-8 col-sm-offset-2 mb-100 text-center"> 311 <i id="calendar" class="fa fa-calendar"></i> 312 <p id="date">6-7 November</p> 313 </div> 314 315 316 <div class="col-sm-8 col-sm-offset-2 mb-100 text-center" style="border-bottom: 0;"> 317 <div class="text-center dates"> 318 <h3 class=""><span class="gradient-text">RESEARCH PAPERS â SHORT AND FULL<p></p></span></h3> 319 <ul style="list-style: none; padding: 0;"> 320 <li class="block-important-dates ">Abstract submission deadline (optional): <strong style="margin-left:1em">8 September 2023 (EXTENDED)</strong></li> 321 <li class="block-important-dates ">Paper submission deadline: <strong style="margin-left:1em">15 September 2023 (EXTENDED)</strong></li> 322 <li class="block-important-dates ">Acceptance notification: <strong>9 October 2023 (DELAYED)</strong></li> 323 <li class="block-important-dates ">Camera ready due: <strong>19 October 2023</strong></li> 324 </ul> 325 </div> 326 <div class="text-center dates"> 327 <h3 class=""><span class="gradient-text">PRESENTATION REPORT<p></p></span></h3> 328 <ul style="list-style: none; padding: 0;"> 329 <li class="block-important-dates ">Submission via email to: 330 <a style="color: #AF1B71;" href="mailto:[email protected]">[email protected]</a></strong></li> 331 <li class="block-important-dates ">Presentation report deadline: <strong>5 October 2023 (EXTEDED)</strong></li> 332 <li class="block-important-dates ">Acceptance notification: <strong>9 October 2023 (DELAYED)</strong></li> 333 </ul> 334 </div> 335 336 </div> 337 338 </div> 339 </div> 340 </div> 341 </div> <!-- Importand Dates Section --> 342 343 344 <!-- Submission Section --> 345 <div id="submission" class="container-fluid no-padding introduction-section"> 346 <div class="row"> 347 <div class="col-sm-8 col-sm-offset-2 mb-100 text-center"> 348 <h1 class="title">Paper Submission And Publication</h1> 349 </div> 350 351 352 <div class="row" style="border-bottom: 0;"> 353 <div class="col-sm-8 col-sm-offset-2 " style="padding: 3em;"> 354 <div class="block-faq mb-50"> 355 <h3 class="sub-title-0 mb-20"> 356 <span class="topics">FORMS</span> 357 </h3> 358 <p>Papers can take one of the following three forms: </p> 359 <li>Regular (research, tool or position) paper, up to 16 pages (excluding references)</li> 360 <li>Short (research, tool or position) paper, up to 8 pages (excluding references)</li> 361 <li>Presentation report, up to 4 pages </li> 362 <p class="mt-20"> 363 Presentation reports concern recent or ongoing work on relevant topics and ideas, for timely 364 discussion and feedback at the workshop. There is no restriction as for previous/future 365 publication of the contents of a presentation. Typically, a presentation is based on a paper 366 which recently appeared (or which is going to appear) in the proceedings of another 367 recognised conference, or which has not yet been submitted. Presentation reports will 368 receive a lightweight review to establish their relevance for DataMod (see the Call for 369 Presentation Reports). 370 </p> 371 </div> 372 <div class="block-faq mb-50">
373 <h3 class="sub-title-0 mb-20"> 374 <span class="topics">SUBMISSION </span> 375 </h3> 376 <p>All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere.</p> 377 <p>Authors are invited to submit their contributions (regular and short paper) via <a href="https://easychair.org/conferences/?conf=datamod2023" target="_blank">Easychair</a></p> 378 <p>Authors are invited to submit their presentation report via e-mail at <a href="mailto:[email protected]">[email protected]</a></p> 379 380 381 <p class="mt-30"> 382 Papers must be formatted according to the <a href="http://www.springer.com/lncs" class="but icon-doc" target="_blank">guidelines for Springer LNCS papers</a>, 383 without modifications of margins and other space-saving measures. 384 385 Authors should therefore consult <a href="http://www.springer.com/comp/lncs/authors.html" class="but icon-doc" target="_blank"> Springer's authors' instructions</a> and use their 386 proceedings templates, either for 387 <a href="https://resource-cms.springernature.com/springer-cms/rest/v1/content/19238648/data/v6" class="but icon-doc" target="_blank">LaTeX</a> 388 or for <a href="https://resource-cms.springernature.com/springer-cms/rest/v1/content/19238706/data/v2" class="but icon-doc" target="_blank"> Word</a>, 389 for the preparation of their papers. 390 391 Springerâs proceedings LaTeX templates are also available in <a href="https://www.overleaf.com/latex/templates/springer-lecture-notes-in-computer-science/kzwwpvhwnvfj#.WsdHOy5uZpg" target="_blank"> Overleaf</a>. 392 393 Springer encourages authors to include their <a href="https://orcid.org/" class="but icon-doc" target="_blank">ORCIDs</a> 394 in their papers. 395 </p> 396 397 <p class="mt-30"> 398 Each paper will be reviewed by three Program Committee members. Notification and reviews 399 will be communicated via email through the Easychair platform. 400 </p> 401 402 </div> 403 <div class="block-faq mb-50"> 404 <h3 class="sub-title-0 mb-20"> 405 <span class="topics">PUBLICATION </span> 406 </h3> 407 <p>Accepted papers will be included in the Symposium programme and will appear in the symposium 408 pre-proceedings. Pre-proceedings will be available online before the Symposium. Condition 409 for inclusion in the pre-proceedings is that at least one of the co-authors has registered 410 for the Symposium. 411 412 Revised versions of accepted papers will be published after the Symposium in a LNCS 413 volume published by Springer. 414 Condition for inclusion in the post-proceedings is that at least one of the co-authors has 415 presented the paper at the Symposium. 416 </p> 417 </div> 418 419 <!-- <div class="block-faq mb-50"> 420 <h3 class="sub-title-0 mb-20"> 421 <span class="topics">POST-PROCEEDINGS </span> 422 </h3> 423 <p>The post proceedings of DataMod 2021 will be published with LNCS, Springer. 424 Please read the information below carefully and make sure you submit the following information to us by 21 April 2022. 425 </p> 426 <p> Authors should consult <a href="ftp://ftp.springernature.com/cs-proceeding/svproc/guidelines/Springer_Guidelines_for_Authors_of_Proceedings.pdf" 427 target="_blank">Springerâs authorsâ guidelines </a>and use their 428 proceedings templates, either for LaTeX or for Word, for the preparation of their papers. 429 Springer encourages authors to include their <a href="https://www.springer.com/gp/authors-editors/orcid?wt_mc=Other.Other.1.AUT642.ORCID+proceedings+pilot+2017&utm_medium=other&utm_source=other&utm_content=8232017&utm_campaign=1_barz01_orcid+proceedings+
429pilot+2017" 430 target="_blank">ORCIDs</a> in their papers. In addition, 431 the corresponding author of each paper, acting on behalf of all of the authors of that paper, 432 must complete and sign a <a href="pdf/Consent_to_Publish_DataMod2021.pdf" 433 target="_blank">Consent-to-Publish form</a>. 434 The corresponding author signing the copyright form should match the corresponding 435 author marked on the paper. Once the files have been sent to Springer, changes relating to 436 the authorship of the papers cannot be made. 437 </p> 438 <p> 439 If you are interested in Open Access or Open Choice, please refer to Springer's webpage 440 (https://www.springer.com/gp/computer-science/lncs/open-access-publishing-in-computer-proceedings). 441 The address for the invoice and the CC-BY Consent-to-Publish form would need to be sent at the same 442 time as the files for the publication. 443 </p> 444 <p>Please prepare: 445 <li>PDF for the camera ready version</li> 446 <li>Sources (e.g., tex files including all figures and .bib if required OR word files)</li> 447 <li>Copyright form (see attached - please print, sign and attach a scanned file)</li> 448 </p> 449 <p>Follow the following steps: 450 <li>Please submit your PDF camera ready version to the Easychair conference submission 451 (replacing the file that is already there) by 21 April 2022.</li> 452 <li>Please send the PDF camera ready + SOURCES + Copyright form as a unique ZIP file 453 (paperNo_firstname_lastname_DataMod2021.zip) to <a href="mailto:[email protected]">[email protected]</a> by 21 April 2022.</li> 454 <li>If you want to opt for Open Access or Open Choice (as described above) please 455 include the address for the invoice and the CC-BY Consent-to-Publish form.</li> 456 </p> 457 </div> --> 458 459 <div class="col-sm-8 col-sm-offset-2 text-center mt-50" style="margin-top: 6em;"> 460 <h3 class="sub-title-0"> 461 <span class="topics">Didnât find what your are looking for ?</span> 462 </h3> 463 <p> <a style="color: #AF1B71;" href="mailto:[email protected]">[email protected]</a> 464 </p> 465 </div> 466 </div> 467 </div> 468 </div> 469 </div> <!-- Submission Section --> 470 471 472 <!-- KEYNOTE Section --> 473 <div id="keynote" class="container-fluid no-padding introduction-section"> 474 475 <div class="row"> 476 <div class="col-sm-8 col-sm-offset-2 mb-100 text-center"> 477 <h1 class="title">Keynote Speakers</h1> 478 </div> 479 480 <div class="col-sm-8 col-sm-offset-2 mb-100 text-center"> 481 <div class="row" style="border-bottom: none; padding-bottom: 0;"> 482 <div class="col-sm-2"> 483 <img class="" src="images/carmenBratosin.jpeg"> 484 </div> 485 <div class="col-sm-8" style="text-align: left;"> 486 <h3 style="font-size: 150%;"> 487 <span class="">Carmen Bratosin</span> 488<!-- <a href="https://www.santannapisa.it/en/andrea-vandin" target="_blank"><i class="fa fa-globe mt-20" style="margin-left: 1em;"></i></a> 489 --> </h3> 490 <p>TNO - Netherlands Organization for Applied Scientific Research, The Netherlands.</p> 491 <p><span class="" style="font-size: 110%;padding-top: 2%;font-weight: 900;">BIO:</span> Carmen Bratosin is a project manager at TNO-ESI (esi.nl), a leading applied research institution specializing in system design and engineering within the high-tech equipment sector in the Netherlands. With more than 15 years of expertise, Carmen has adeptly utilized her knowledge to create and put into practice novel methodologies that bridge the realms of modeling and artificial intelligence. Her extensive professional journey has encompassed collaborations with renowned companies such as ASML, Canon Production Printing, and Philips.</p> 492 493 </div>
494 </div> 495 <div class="row" style="text-align: left;"> 496 <p><span class="" style="font-size: 110%;padding-top: 2%;font-weight: 900;">TITLE:</span> Formal Methods and Domain Models in the Age of Large Language Models: An Industrial Perspective</p> 497 <p><span class="" style="font-size: 110%;padding-top: 2%;font-weight: 900;">ABSTRACT:</span> The public introduction of Large Language Models (LLMs) through the release of ChatGPT sparked inquiries regarding its implications within the engineering domain. This presentation explores insights assembled from collaborative research conducted between TNO-ESI and the Dutch high-tech industry, emphasizing the pivotal role of domain models in tandem with data science and AI techniques. 498 499 500 Drawing from tangible examples, we posit that (domain) models, firmly rooted in precise syntax and semantics, serve as indispensable cornerstones for the success of the application of AI in industry. While AI models significantly contribute to opening the door to new applications, enhancing engineering processes, and increasing efficiency, they cannot entirely replace the fundamental role domain models play. This keynote explores the dynamic interplay between these components, shedding light on their nuanced relationships within engineering. 501 </p> 502 503 </div> 504 </div> 505 506 507 <div class="col-sm-8 col-sm-offset-2 mb-100 text-center"> 508 <div class="row" style="border-bottom: none; padding-bottom: 0;"> 509 <div class="col-sm-2"> 510 <img class="" src="images/NataliaSiderova.jpg"> 511 </div> 512 <div class="col-sm-8" style="text-align: left;"> 513 <h3 style="font-size: 150%;"> 514 <span class="">Natalia Sidorova</span> 515<!-- <a href="" target="_blank"><i class="fa fa-globe mt-20" style="margin-left: 1em;"></i></a> 516 --> </h3> 517 <p> Eindhoven University of Technology, The Netherlands.</p> 518 <p><span class="" style="font-size: 110%;padding-top: 2%;font-weight: 900;">BIO:</span> 519 Natalia Sidorova is a member of Eindhoven Artificial Intelligence Systems Institute 520 and of the Process analytics group of Eindhoven University of Technology. 521 Her research interests include algorithms and techniques for process analytics using 522 data-driven approaches. Dr Sidorova has published more than 100 papers in the leading 523 journals and conferences in her field and has served on the programme committees of the 524 major conferences. 525 In her professional journey, Natalia maintains a strong collaboration with industry partners, 526 applying her knowledge and skills to the practical development of process mining and conformance 527 checking techniques for real-world applications. 528 </p> 529 </div> 530 </div> 531 <div class="row" style="text-align: left;"> 532 <p><span class="" style="font-size: 110%;padding-top: 2%;font-weight: 900;">TITLE:</span> Navigating the Complexity: From data to models of weakly-structured processes</p> 533 <p><span class="" style="font-size: 110%;padding-top: 2%;font-weight: 900;">ABSTRACT:</span> 534 The complexity of real-life processes poses a significant challenge in process analytics. 535 These processes involve intricate interactions, multiple actors and resources, and a blend 536 of structured and unstructured sub-processes. 537 In this keynote, we focus on the task of mining models of weakly-structured processes using data 538 generated during the process execution and on performing conformance checking using a decompositional approach. 539 We also address the inherent challenges associated with the nature of process execution data, 540 which often combines structured elements with unstructured text. Our objective is to extract meaningful 541 events from unstructured text data, leveraging domain knowledge and tailoring techniques to 542 weakly-structured processes. 543 The methods will be illustrated through case studies from the healthcare industry, shedding light 544 on the real-world applications of our research.</p> 545 </div> 546 </div> 547 548 549 </div> 550 551 552 553 </div><!-- KEYNOTE Section /- --> 554 555 556 <!-- Schedule Section --> 557 <div id="program" class="container-fluid no-padding introduction-section"> 558 559 <div class="row" style="border-bottom:none;"> 560 <div class="col-sm-8 col-sm-offset-2 mb-100 text-center"> 561 <h1 class="title" style="margin-bottom: 0.5em;">Symposium Schedule</h1> 562 <p style="letter-spacing: 2px;color: #777;font-family: 'Josefin Sans', sans-serif;">- CET TIME -</p> 563 <p style="letter-spacing: 2px;color: #777;font-family: 'Josefin Sans', sans-serif;">DataMod will take place in the building <a href="https://www.google.nl/maps/place/MetaForum/@51.4459907,5.485752,15z/data=!4m6!3m5!1s0x47c6d8e04bc52af9:0x20fe44840cbbb233!8m2!3d51.4468853!4d5.4874
563078!16s%2Fg%2F11fx_4c8td?entry=ttu" target="_blank">Metaforum on the campus of the TU/e</a>. <br> For further detail please visit the <a href="https://sefm-conference.github.io/2023/workshops/" target="_blank">SEFM webpage</a></p> 564 </div> 565 </div> 566 567 568 569 <div class="section-padding"></div> 570 <div class="container"> 571 <div class="schedule-block"> 572 <div class="col-md-11"> 573 <ul class="nav nav-tabs" role="tablist"> 574 <li role="presentation" class="active"> 575 <a href="#schedule_1" aria-controls="schedule_1" role="tab" data-toggle="tab"> 576 <h3>Monday</h3> 577 <span>06-Nov-2023</span> 578 </a> 579 </li> 580 <li role="presentation"> 581 <a href="#schedule_2" aria-controls="schedule_2" role="tab" data-toggle="tab"> 582 <h3>Tuesday</h3> 583 <span>07-Nov-2023</span> 584 </a> 585 </li> 586 587 </ul> 588 <div class="tab-content"> 589 <!--MONDAY--> 590 <div role="tabpanel" class="tab-pane fade in active" id="schedule_1"> 591 <div class="panel-group schedule-accordion" id="accordion" role="tablist" aria-multiselectable="true"> 592 <div class="panel panel-default intro"> 593 <div class="row" style="margin-top:0;"> 594 <div class="col-sm-2">08:45 - 09:00</div> 595 <div class="col-sm-10" style="text-align:left;"> 596 <h5 style="font-weight: 800; margin-top:0.2em; color: white; background-color: #003844;">OPENING (joined with <a href="https://opencert.github.io/" style="color: white;" target="_blank">OpenCERT</a>)</h5> 597 <h6 style="color: #89847f; font-weight: 400;">SESSION CHAIR: TBA </h6> 598 </div> 599 </div> 600 601 <div class="row" style="margin-top:2em;"> 602 <div class="col-sm-2">09:00 - 10:00</div> 603 <div class="col-sm-10" style="text-align: left;"> 604 <h5 style="font-weight: 800; margin-top:0.2em; color: white; background-color: #003844;">KEYNOTE</h5> 605 <p style="font-weight: 600; margin:1em 0 0 0">Carmen Bratosin</p> 606 <div class="affiliation"> TNO - Netherlands Organization for Applied Scientific Research</div> 607 608 <p style="font-weight:600;">Formal Methods and Domain Models in the Age of Large Language Models: An Industrial Perspective</p> 609 <h6 style="margin-top: 0.5em; margin-bottom: 1em;color: #89847f; font-weight: 400;">SESSION CHAIR: TBA </h6> 610 611 </div> 612 </div> 613 614 <div class="row" style="margin-top: 2em;"> 615 <div class="col-sm-2">10:00 - 10:30</div> 616 <div class="col-sm-10" style="text-align: left;"> 617 <h5 style="margin-top:0.2em;font-weight: 800;color: #003844;"> 618 <span aria-hidden="true" class="fa fa-coffee"></span> Coffee break</h5> 619 </div> 620 </div> 621 622 <div class="row" style="margin-top: 2em;"> 623 <div class="col-sm-2">10:30 - 11:30</div> 624 <div class="col-sm-10" style="text-align: left;"> 625 <h5 style="font-weight: 800;margin-top:0.2em; color: white; background-color: #003844;">SESSION 1: Domain-specific Modelling and Analysis</h5> 626 <h6 style="margin-top: 0.5em;color: #89847f; font-weight: 400;">SESSION CHAIR: TBA</h6> 627 628 <div class="row" style="margin-top: 1em;"> 629 <div class="col-sm-1" style="width: 4%;"> 630 <span aria-hidden="true" class="fa fa-circle solo"></span> 631 </div> 632 <div class="col-sm-10"> 633 <!--<a href="pdf/" target="_blank" >--> 634 <p style="margin-bottom: 5px; font-weight:600;"> Integrated Data Representation and Formal Analysis for Human and In Silico Experimentation in Cognitive Psychology</p> 635 <!--</a>--> 636 <div class="author" style="margin-bottom:18px;">Antonio Cerone and Graham Pluck</div> 637 </div> 638 </div> 639 <div class="row" style="margin-top: 0.5em;"> 640 <div class="col-sm-1" style="width: 4%;"> 641 <span aria-hidden="true" class="fa fa-circle solo"></span> 642 </div> 643 <div class="col-sm-10"> 644 <!--<a href="pdf/" target="_blank" >--> 645 <p style="margin-bottom: 5px; font-weight:600;"> 646 Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court 647 <a href="pdf/Datamod23_Sharma.pdf" target="_blank" > 648 <span aria-hidden="true" class="fa fa-file-pdf-o" title="Full Paper" style="color:red"></span> 649 </a> 650 </p> 651 <!--</a>--> 652 <div class="author" style="margin-bottom:18px;">Susmoy Das and Arpit Sharma (Online)</div> 653 </div> 654 </div> 655 </div> 656 </div> 657 658 <div class="row" style="margin-top: 2em;"> 659 <div class="col-sm-2">11:30 - 12:30</div> 660 <div class="col-sm-10" style="text-align: left;"> 661 <h5 style="font-weight: 800;margin-top:0.2em">
662 <a href="https://opencert.github.io/programme-2023.html" target="_blank" style="color: #af1b71;"> 663 OpenCERT Online Session: Learning Experience </a> 664 </h5> 665 666 667 </div> 668 </div> 669 670 <div class="row" style="margin-top: 2em;"> 671 <div class="col-sm-2">12:30 - 14:00</div> 672 <div class="col-sm-10" style="text-align: left;"> 673 <h5 style="margin-top:0.2em;font-weight: 800;color: #003844;"> 674 <span aria-hidden="true" class="fa fa-cutlery"></span> Lunch break</h5> 675 </div> 676 </div> 677 678 <div class="row" style="margin-top: 2em;"> 679 <div class="col-sm-2">14:00 - 15:00</div> 680 <div class="col-sm-10" style="text-align: left;"> 681 <h5 style="font-weight: 800;margin-top:0.2em"> 682 <a href="https://opencert.github.io/keynotes-2023.html" target="_blank" style="color: #af1b71;"> 683 OpenCERT Keynote </a> 684 </h5> 685 686 687 </div> 688 </div> 689 690 <div class="row" style="margin-top: 2em;"> 691 <div class="col-sm-2">15:00 - 15:30</div> 692 <div class="col-sm-10" style="text-align: left;"> 693 <h5 style="font-weight: 800;margin-top:0.2em; color: white; background-color: #003844;">SESSION 2: Natural Language Processing</h5> 694 <h6 style="margin-top: 0.5em;color: #89847f; font-weight: 400;">SESSION CHAIR: TBA</h6> 695 696 <div class="row" style="margin-top: 1em;"> 697 <div class="col-sm-1" style="width: 4%;"> 698 <span aria-hidden="true" class="fa fa-circle solo"></span> 699 </div> 700 <div class="col-sm-10"> 701 <!--<a href="pdf/" target="_blank" >--> 702 <p style="margin-bottom: 5px; font-weight:600;"> 703 Evaluating Large Language Models and Prompt Variants on the Task of Detecting Cease and Desist Violations in German Online Product Descriptions 704 <a href="pdf/datamod_Lambert.pdf" target="_blank" > 705 <span aria-hidden="true" class="fa fa-file-pdf-o" title="Full Paper" style="color:red"></span> 706 </a> 707 </p> 708 <!--</a>--> 709 <div class="author" style="margin-bottom:18px;">Marian Lambert, Nico Döring, Thomas Schuster and Norbert Schmitz</div> 710 </div> 711 </div> 712 713 </div> 714 </div> 715 716 <div class="row" style="margin-top: 2em;"> 717 <div class="col-sm-2">15:30 - 16:00</div> 718 <div class="col-sm-10" style="text-align: left;"> 719 <h5 style="margin-top:0.2em;font-weight: 800;color: #003844;"> 720 <span aria-hidden="true" class="fa fa-coffee"></span> Coffee break</h5> 721 </div> 722 </div> 723 724 <div class="row" style="margin-top: 2em;"> 725 <div class="col-sm-2">16:00 - 17:00</div> 726 <div class="col-sm-10" style="text-align: left;"> 727 <h5 style="font-weight: 800;margin-top:0.2em; color: white; background-color: #003844;">SESSION 3: System Biology</h5> 728 <h6 style="margin-top: 0.5em;color: #89847f; font-weight: 400;">SESSION CHAIR: TBA</h6> 729 730 <div class="row" style="margin-top: 1em;"> 731 <div class="col-sm-1" style="width: 4%;"> 732 <span aria-hidden="true" class="fa fa-circle solo"></span> 733 </div> 734 <div class="col-sm-10"> 735 <!--<a href="pdf/" target="_blank" >--> 736 <p style="margin-bottom: 5px; font-weight:600;"> Attractor and slicing analysis of a T cell differentiation model based on Reaction Systems 737 <a href="pdf/Datamod23_Falaschi.pdf" target="_blank" > 738 <span aria-hidden="true" class="fa fa-file-pdf-o" title="Full Paper" style="color:red"></span> 739 </a> 740 </p> 741 <!--</a>--> 742 <div class="author" style="margin-bottom:18px;">Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori and Paolo Milazzo 743 </div> 744 </div> 745 </div> 746 <div class="row" style="margin-top: 0.5em;"> 747 <div class="col-sm-1" style="width: 4%;"> 748 <span aria-hidden="true" class="fa fa-circle solo"></span> 749 </div> 750 <div class="col-sm-10"> 751 752 <p style="margin-bottom: 5px; font-weight:600;"> Towards a Shapley value propagation method for Boolean networks 753 <a href="pdf/Datamod_Report_PhamMilazzo.pdf" target="_blank" > 754 <span aria-hidden="true" class="fa fa-file-pdf-o" title="Full Paper" style="color:red"></span> 755 </a> 756 </p> 757 758 <div class="author" style="margin-bottom:18px;">Giang Pham and Paolo Milazzo</div> 759 </div> 760 </div> 761 </div> 762 </div> 763 764 765 </div> 766 </div> 767 </div> 768 769 770 <!--TUESDAY--> 771 <div role="tabpanel" class="tab-pane fade in" id="schedule_2"> 772 <div class="panel-group schedule-accordion" id="accordion" role="tablist" aria-multiselectable="true"> 773 <div class="panel panel-default intro"> 774 775 <div class="row" style="margin-top:2em;"> 776 <div class="col-sm-2">09:00 - 10:00</div> 777 <div class="col-sm-10" style="text-align: left;"> 778 <h5 style="font-weight: 800; margin-top:0.2em; color: white; background-color: #003844;">KEYNOTE</h5> 779 <p style="font-weight: 600; margin:1em 0 0 0">Natalia Sidorova</p> 780 <div class="affiliation"> Eindhoven University of Technology, The Netherlands.</div> 781 782 <p style="font-weight:600;">Navigating the Complexity: From data to models of weakly-structured processes</p> 783 <h6 style="margin-top: 0.5em; margin-bottom: 1em;color: #89847f; font-weight: 400;">SESSION CHAIR: TBA </h6> 784 785 </div> 786 </div> 787 788 <div class="row" style="margin-top: 2em;"> 789 <div class="col-sm-2">10:00 - 10:30</div> 790 <div class="col-sm-10" style="text-align: left;"> 791 <h5 style="margin-top:0.2em;font-weight: 800;color: #003844;"> 792 <span aria-hidden="true" class="fa fa-coffee"></span> Coffee break</h5> 793 </div> 794 </div> 795 796 <div class="row" style="margin-top: 2em;"> 797 <div class="col-sm-2">10:30 - 11:00</div> 798 <div class="col-sm-10" style="text-align: left;"> 799 <h5 style="font-weight: 800;margin-top:0.2em; color: white; background-color: #003844;">SESSION 4: Social Network Analysis</h5> 800 <h6 style="margin-top: 0.5em;color: #89847f; font-weight: 400;">SESSION CHAIR: TBA</h6> 801 802 <div class="row" style="margin-top: 1em;"> 803 <div class="col-sm-1" style="width: 4%;"> 804 <span aria-hidden="true" class="fa fa-circle solo"></span> 805 </div> 806 <div class="col-sm-10"> 807 <!--<a href="pdf/" target="_blank" >--> 808 <p style="margin-bottom: 5px; font-weight:600;"> 809 Extracting cyber threat intelligence from social media with case studies in Twitter and Reddit 810 <a href="pdf/Datamod23_Czekster.pdf" target="_blank" > 811 <span aria-hidden="true" class="fa fa-file-pdf-o" title="Full Paper" style="color:red"></span> 812 </a> 813 </p> 814 <!--</a>--> 815 <div class="author" style="margin-bottom:18px;"> Dainora Jakstaite and Ricardo M. Czekster</div> 816 </div> 817 </div> 818 819 </div> 820 </div> 821 822 <div class="row" style="margin-top: 2em;"> 823 <div class="col-sm-2">11:00 - 12:00</div> 824 <div class="col-sm-10" style="text-align: left;"> 825 <h5 style="font-weight: 800;margin-top:0.2em; color: white; background-color: #003844;">SESSION 5: Formal Methods in Healthcare</h5> 826 <h6 style="margin-top: 0.5em;color: #89847f; font-weight: 400;">SESSION CHAIR: TBA</h6> 827 828 <div class="row" style="margin-top: 1em;"> 829 <div class="col-sm-1" style="width: 4%;"> 830 <span aria-hidden="true" class="fa fa-circle solo"></span> 831 </div> 832 <div class="col-sm-10"> 833 <!--<a href="pdf/" target="_blank" >--> 834 <p style="margin-bottom: 5px; font-weight:600;"> Towards a Flexible Approach for Understanding 835 and Comparing Traces 836 <a href="pdf/DataMod2023-Paper7-JKFB.pdf" target="_blank" > 837 <span aria-hidden="true" class="fa fa-file-pdf-o" title="Full Paper" style="color:red"></span> 838 </a> 839 </p> 840 <!--</a>--> 841 <div class="author" style="margin-bottom:18px;">Juliana Küster Filipe Bowles 842 </div> 843 </div> 844 </div> 845 <div class="row" style="margin-top: 0.5em;"> 846 <div class="col-sm-1" style="width: 4%;"> 847 <span aria-hidden="true" class="fa fa-circle solo"></span> 848 </div> 849 <div class="col-sm-10"> 850 <!--<a href="pdf/" target="_blank" >--> 851 <p style="margin-bottom: 5px; font-weight:600;">Modelling and Verification of a Health Cloud Management Protocol 852 <a href="pdf/Datamod23_Cuci.pdf" target="_blank" > 853 <span aria-hidden="true" class="fa fa-file-pdf-o" title="Full Paper" style="color:red"></span> 854 </a> 855 </p> 856 <!--</a>--> 857 <div class="author" style="margin-bottom:18px;">Almo Cuci, Umar Ozeer and Gwen Salaun</div> 858 </div> 859 </div> 860 </div> 861 </div> 862 863 864 <div class="row" style="margin-top: 2em;"> 865 <div class="col-sm-2">12:00 - 12:30</div> 866 <div class="col-sm-10" style="text-align: left;"> 867 <h5 style="font-weight: 800;margin-top:0.2em; color: white; background-color: #003844;">DISCUSSION AND CLOSING</h5> 868 869 870 </div> 871 </div> 872 873 874 <div class="row" style="margin-top: 2em;"> 875 <div class="col-sm-2">12:30 - 14:00</div> 876 <div class="col-sm-10" style="text-align: left;"> 877 <h5 style="margin-top:0.2em;font-weight: 800;color: #003844;"> 878 <span aria-hidden="true" class="fa fa-cutlery"></span> Lunch break</h5> 879 </div> 880 </div> 881 882 <div class="row" style="margin-top: 2em;"> 883 <div class="col-sm-2">14:00 - 15:00</div> 884 <div class="col-sm-10" style="text-align: left;"> 885 <h5 style="font-weight: 800;margin-top:0.2em"> 886 <a href="https://cifma.github.io/keynote-2023.html" target="_blank" style="color: #af1b71;"> 887 CIFMA Keynote </a> 888 </h5> 889 890 891 </div> 892 </div> 893 894 895 896 897 898 899 900 </div> 901 </div> 902 </div> 903 </div> 904 905 906 </div> 907 </div> 908 </div> 909 910 <div class="section-padding"></div> 911 912 </div> 913 914 <div id="organization" class="container-fluid no-padding introduction-section"> 915 916 <div class="row"> 917 <div class="col-sm-8 col-sm-offset-2 mb-100 text-center"> 918 <h1 class="title">Organization</h1> 919 </div> 920 921 <div class="row brd-bottom pb-50"> 922 <div class="col-md-4 col-md-offset-2" style="padding: 3em;"> 923 <div><h3 class="sub-title-0 mt-20 mb-20">
924 <span class="topics"> 925 PROGRAM CO-CHAIRS 926 </span> 927 </h3> 928 <ul> 929 930 <li>Giovanna Broccia, ISTI-CNR, Italy</li> 931 <li>Antonio Cerone, Nazarbayev University, Kazakhstan</li> 932 </ul> 933 </div> 934 935 <div><h3 class="sub-title-0 mt-20 mb-20"> 936 <span class="topics"> 937 ORGANIZING COMMITEE 938 </span> 939 </h3> 940 <ul> 941 942 <li>Giovanna Broccia, ISTI-CNR, Italy</li> 943 <li>Antonio Cerone, Nazarbayev University, Kazakhstan</li> 944 <li>Paolo Milazzo, University of Pisa, Italy</li> 945 </ul> 946 </div> 947 948 <div><h3 class="sub-title-0 mt-20 mb-20"> 949 <span class="topics"> 950 STEERING COMMITEE 951 </span> 952 </h3> 953 <ul> 954 <li>Oana Andrei, University of Glasgow, UK</li> 955 <li>Antonio Cerone, Nazarbayev University, Kazakhstan</li> 956 <li>Vashti Galpin, University of Edinburgh, UK</li> 957 <li>Riccardo Guidotti, University of Pisa, Italy</li> 958 <li>Marijn Janssen, Delft University of Technology, the Netherlands</li> 959 <li>Stan Matwin, University of Ottawa, Canada</li> 960 <li>Paolo Milazzo, University of Pisa, Italy</li> 961 <li>Anna Monreale, University of Pisa, Italy</li> 962 </ul> 963 </div> 964 </div> 965 <div class="col-md-4" style="padding: 3em;"> 966 <div><h3 class="sub-title-0 mt-20 mb-20"> 967 <span class="topics"> 968 PROGRAM COMMITEE 969 </span> 970 </h3> 971 972 <ul> 973 <li>Oana Andrei, University of Glasgow, UK</li> 974 <li>Juliana Bowles, University of St Andrews, UK</li> 975 <li>Giovanna Broccia, ISTI-CNR, Italy (Co-Chair)</li> 976 <!--<li>Marco Caminati, University of Lancaster, UK</li>--> 977 <li>Antonio Cerone, Nazarbayev University, Kazakhstan (Co-Chair)</li> 978 <li>Ricardo M. Czekster, Aston University, UK</li> 979 <li>Flavio Ferrarotti, SCCH, Austria</li> 980 <li>Vashti Galpin, University of Edinburgh, UK</li> 981 <li>Riccardo Guidotti, University of Pisa, Italy</li> 982 <li>Lars Kotthoff, University of Wyoming, USA</li> 983 <li>Livia Lestingi, Politecnico di Milano, Italy</li> 984 <li>Sotiris Moschoyiannis, University of Surrey, UK</li> 985 <li>Paolo Milazzo, University of Pisa, Italy </li> 986 <li>Anna Monreale, University of Pisa, Italy</li> 987 <li>Reshma Munbodh, Brown University, USA</li> 988 <li>Mirco Nanni, ISTI-CNR, Italy</li> 989 <li>Lucia Nasti, GSSI, Italy</li> 990 <li>Michela Quadrini, Università di Camerino, Italy</li> 991 <li>Paolo Zuliani, Università di Roma "La Sapienza", Italy</li> 992 993 994 </ul> 995 996 </div> 997 </div> 998 </div> 999 1000 1001 </div> 1002 </div> 1003 1004 1005 1006 1007 1008 1009 1010 <!-- Footer Main --> 1011 <footer class="footer-main container-fluid" style="padding: 0;"> 1012 <!-- Container --> 1013 1014 1015 <!-- Container --> 1016 <div class="container"> 1017 <div class="footer-menu"> 1018 <!-- Copyrights --> 1019 <div class="copyrights ow-pull-left"> 1020 <p>© 2021 Website by Giovanna Broccia</p> 1021 </div><!-- Copyrights /- --> 1022 <!-- Navigation --> 1023 <nav class="navbar ow-navigation ow-pull-right"> 1024 <div class="navbar-header"> 1025 <button aria-controls="navbar" aria-expanded="false" data-target="#navbar2" data-toggle="collapse" class="navbar-toggle collapsed" type="button"> 1026 <span class="sr-only">Toggle navigation</span> 1027 <span class="icon-bar"></span> 1028 <span class="icon-bar"></span> 1029 <span class="icon-bar"></span> 1030 </button> 1031 </div> 1032 <div class="navbar-collapse collapse" id="navbar2"> 1033 <ul class="nav navbar-nav"> 1034 <li><a title="Home" href="#">Home</a></li> 1035 <li><a title="About" href="#about">About</a></li> 1036 <li><a title="Important Dates" href="#importantDates">Important Dates</a></li> 1037 <li><a title="Submissions" href="#submission">Submissions</a></li> 1038 <li><a title="Keynotes" href="#keynote">Keynotes</a></li> 1039 <li><a title="Program" href="#program">Program</a></li> 1040 <li><a title="Organization" href="#organization">Organization</a></li> 1041 </ul> 1042 </div> 1043 </nav><!-- Navigation /- --> 1044 </div><!-- Footer Menu /- --> 1045 </div><!-- Container /- --> 1046 </footer><!-- Footer Main /- --> 1047 1048 <!-- JQuery v1.11.3 --> 1049
1049<script src="js/jquery.min.js"></script>
1049 1050 1051 <!-- Library - Js --> 1052
1052<script src="libraries/lib.js"></script>
1052<!-- Bootstrap JS File v3.3.5 --> 1053
1053<script src="libraries/jquery.countdown.min.js"></script>
1053 1054 1055
1055<script src="libraries/lightslider-master/lightslider.js"></script>
1055 1056 <!-- Library - Google Map API --> 1057
1057<script src="https://maps.googleapis.com/maps/api/js?key=AIzaSyCn3Z6i1AYolP3Y2SGis5qhbhRwmxxo1wU"></script>
1057 1058
1058<script src="js/functions.js"></script>
1058 1059</body> 1060</html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.