
<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 6
            [url] => btceu/en/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 4
            [url] => btceu/de/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 139
            [url] => btceu/en/news/events/btc-talk-at-sc2-workshop.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 7
            [url] => btceu/zh/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 23
            [url] => btceu/en/news/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 87
            [url] => btceu/en/news/events/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 24
            [url] => btceu/en/company/about-us.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 24
            [url] => btceu/en/company/about-us.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 70
            [url] => btceu/en/products/overview.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 72
            [url] => btceu/en/products/btc-embeddedplatform/targetlink.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 93
            [url] => btceu/en/products/btc-embeddedtester/code-coverage.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 94
            [url] => btceu/en/products/btc-embeddedtester/iso-26262.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 116
            [url] => btceu/en/products/btc-embeddedtester/autosar.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 126
            [url] => btceu/en/products/btc-embeddedplatform/model-checking.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 111
            [url] => btceu/en/products/btc-embeddedplatform/automation.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 70
            [url] => btceu/en/products/overview.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 71
            [url] => btceu/en/products/btc-embeddedplatform/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 38
            [url] => btceu/en/products/btc-embeddedtester-base.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 89
            [url] => btceu/en/products/btc-embeddedtester/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 90
            [url] => btceu/en/products/btc-embeddedspecifier.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 91
            [url] => btceu/en/products/btc-embeddedvalidator.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 426
            [url] => btceu/en/products/btc-requirement-observers.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 96
            [url] => btceu/en/products/videos.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 24
            [url] => btceu/en/company/about-us.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 69
            [url] => btceu/en/company/management-team.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 78
            [url] => btceu/en/company/partner.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 79
            [url] => btceu/en/company/references.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 80
            [url] => btceu/en/company/research.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 85
            [url] => btceu/en/company/publications.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 81
            [url] => btceu/en/company/career/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 161
            [url] => btceu/en/blog/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 88
            [url] => btceu/en/contact.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 123
            [url] => btceu/en/company/imprint.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 483
            [url] => btceu/en/company/privacy-policy.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!doctype html>
<html class="no-js" lang="en">
<head>
	<meta http-equiv="x-ua-compatible" content="ie=edge">
	<meta name="viewport" content="width=device-width, initial-scale=1">
  <meta name="msvalidate.01" content="6763BED67F544101141488CD446B5F53">
	
<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 139
            [url] => https://www.btc-es.de/btceu/en/news/events/btc-talk-at-sc2-workshop.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 139
            [url] => /btceu/en/news/events/btc-talk-at-sc2-workshop.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->
<meta charset="UTF-8">
<base href="https://www.btc-es.de">
<title>BTC talks at SC<sup>2</sup> workshop &middot; BTC ES</title>
<meta name="keywords" content="">
<meta name="description" content="September 24, 2016 BTC Embedded Systems will give two talks at the first international workshop on Satisfiability Checking and Symbolic Computation (FETOPEN-CSA) SC2 2016 in ...">
<meta name="robots" content="index, follow">
<meta name="copyright" content="BTC ES">
<meta http-equiv="last-modified" content="Fri, 16 Dec 2016 19:25:26 +0100">
<link rel="canonical" href="https://www.btc-es.de/en/news/events/btc-talk-at-sc2-workshop.html">

  <!-- <link href="https://fonts.googleapis.com/css?family=Raleway:400,400i,700,700i" rel="stylesheet"> -->
	<link rel="stylesheet" href="assets/cache/css/lessphp_2ff4c57d803a795739fb4376465994e5.css">
  <link rel="apple-touch-icon-precomposed" sizes="57x57" href="apple-touch-icon-57x57.png" />
  <link rel="apple-touch-icon-precomposed" sizes="114x114" href="apple-touch-icon-114x114.png" />
  <link rel="apple-touch-icon-precomposed" sizes="72x72" href="apple-touch-icon-72x72.png" />
  <link rel="apple-touch-icon-precomposed" sizes="144x144" href="apple-touch-icon-144x144.png" />
  <link rel="apple-touch-icon-precomposed" sizes="60x60" href="apple-touch-icon-60x60.png" />
  <link rel="apple-touch-icon-precomposed" sizes="120x120" href="apple-touch-icon-120x120.png" />
  <link rel="apple-touch-icon-precomposed" sizes="76x76" href="apple-touch-icon-76x76.png" />
  <link rel="apple-touch-icon-precomposed" sizes="152x152" href="apple-touch-icon-152x152.png" />
  <link rel="icon" type="image/png" href="favicon-196x196.png" sizes="196x196" />
  <link rel="icon" type="image/png" href="favicon-96x96.png" sizes="96x96" />
  <link rel="icon" type="image/png" href="favicon-32x32.png" sizes="32x32" />
  <link rel="icon" type="image/png" href="favicon-16x16.png" sizes="16x16" />
  <link rel="icon" type="image/png" href="favicon-128.png" sizes="128x128" />
  <meta name="application-name" content="BTC"/>
  <meta name="msapplication-TileColor" content="#FFFFFF" />
  <meta name="msapplication-TileImage" content="mstile-144x144.png" />
  <meta name="msapplication-square70x70logo" content="mstile-70x70.png" />
  <meta name="msapplication-square150x150logo" content="mstile-150x150.png" />
  <meta name="msapplication-wide310x150logo" content="mstile-310x150.png" />
  <meta name="msapplication-square310x310logo" content="mstile-310x310.png" />
</head>
<body class="line-numbers">
<!--[if lte IE 9]>
<p class="browserupgrade">You are using an <strong>outdated</strong> browser. Please <a href="http://browsehappy.com/">upgrade your browser</a> to improve your experience and security.</p>
<![endif]-->
  <symbol id="icon-zoom-in" viewBox="0 0 32 32"><path class="path1" d="M31.008 27.231l-7.58-6.447c-0.784-0.705-1.622-1.029-2.299-0.998 1.789-2.096 2.87-4.815 2.87-7.787 0-6.627-5.373-12-12-12s-12 5.373-12 12 5.373 12 12 12c2.972 0 5.691-1.081 7.787-2.87-0.031 0.677 0.293 1.515 0.998 2.299l6.447 7.58c1.104 1.226 2.907 1.33 4.007 0.23s0.997-2.903-0.23-4.007zM12 20c-4.418 0-8-3.582-8-8s3.582-8 8-8 8 3.582 8 8-3.582 8-8 8zM14 6h-4v4h-4v4h4v4h4v-4h4v-4h-4z"></path></symbol>
	
  <input type="checkbox" id="menutoggle">
	<header class="mainheader">
    <div class="menutoggle"><label for="menutoggle">&equiv;</label></div>
		<div class="sitelogo"><a href="https://www.btc-es.de/en/"><img src="assets/templates/btc/img/btc-logo.svg" width="250" height="55" alt="BTC Logo"></a></div>
    <div class="language-links"><ul><li class=""><a href="https://www.btc-es.de/de/" hreflang="de" title="deutsch">deutsch</a></li><li class="active"><a href="https://www.btc-es.de/en/news/events/btc-talk-at-sc2-workshop.html" hreflang="en" title="english">english</a></li><li class=""><a href="https://www.btc-es.de/zh/" hreflang="zh" title="中文">中文</a></li></ul></div>
	</header>
  <nav class="mainnav">
    
<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 20
            [url] => /btceu/en/products/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 24
            [url] => /btceu/en/company/about-us.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 56
            [url] => /btceu/en/sidebar/sales.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 70
            [url] => /btceu/en/products/overview.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 82
            [url] => /btceu/en/support/technical-support.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 384
            [url] => /btceu/en/news/news/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 558
            [url] => /btceu/en/sidebar/sales-contact-north-america.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 21
            [url] => /btceu/en/services.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 68
            [url] => /btceu/en/sidebar/management-team.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 69
            [url] => /btceu/en/company/management-team.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 71
            [url] => /btceu/en/products/btc-embeddedplatform/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 83
            [url] => /btceu/en/support/evaluations.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 87
            [url] => /btceu/en/news/events/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 22
            [url] => /btceu/en/company/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 38
            [url] => /btceu/en/products/btc-embeddedtester-base.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 73
            [url] => /btceu/en/sidebar/targetlink.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 78
            [url] => /btceu/en/company/partner.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 84
            [url] => /btceu/en/support/downloads.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 459
            [url] => /btceu/en/sidebar/videos.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 23
            [url] => /btceu/en/news/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 79
            [url] => /btceu/en/company/references.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 89
            [url] => /btceu/en/products/btc-embeddedtester/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 100
            [url] => /btceu/en/sidebar/news.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 302
            [url] => /btceu/en/sidebar/newsletter-subscription.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 80
            [url] => /btceu/en/company/research.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 90
            [url] => /btceu/en/products/btc-embeddedspecifier.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 117
            [url] => /btceu/en/sidebar/btc-embeddedtester-base.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 25
            [url] => /btceu/en/support/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 85
            [url] => /btceu/en/company/publications.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 91
            [url] => /btceu/en/products/btc-embeddedvalidator.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 118
            [url] => /btceu/en/sidebar/btc-embeddedtester.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 426
            [url] => /btceu/en/products/btc-requirement-observers.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 81
            [url] => /btceu/en/company/career/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 88
            [url] => /btceu/en/contact.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 119
            [url] => /btceu/en/sidebar/btc-embeddedspecifier.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 120
            [url] => /btceu/en/sidebar/btc-embeddedvalidator.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 122
            [url] => /btceu/en/sidebar/about-us.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 161
            [url] => /btceu/en/blog/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 740
            [url] => /btceu/en/products/scenario-based-testing.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 96
            [url] => /btceu/en/products/videos.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 124
            [url] => /btceu/en/sidebar/references.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 125
            [url] => /btceu/en/sidebar/research.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 472
            [url] => /btceu/en/sidebar/automation.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 127
            [url] => /btceu/en/sidebar/btc-embeddedplatform.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 128
            [url] => /btceu/en/sidebar/products-use-cases.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 129
            [url] => /btceu/en/sidebar/btc-requirement-observers.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 130
            [url] => /btceu/en/sidebar/iso-26262.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 131
            [url] => /btceu/en/sidebar/model-checking.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 132
            [url] => /btceu/en/sidebar/code-coverage.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 133
            [url] => /btceu/en/sidebar/autosar.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 134
            [url] => /btceu/en/sidebar/support-contact.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 482
            [url] => /btceu/en/sidebar/evaluations.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->
<ul><li class="first navlevel1"><a href="https://www.btc-es.de/en/products/" title="Products" >Products</a><ul><li class="first navlevel2"><a href="https://www.btc-es.de/en/products/overview.html" title="Overview" >Overview</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/products/btc-embeddedplatform/" title="BTC EmbeddedPlatform" >BTC EmbeddedPlatform</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/products/btc-embeddedtester-base.html" title="BTC EmbeddedTester BASE" >BTC EmbeddedTester BASE</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/products/btc-embeddedtester/" title="BTC EmbeddedTester" >BTC EmbeddedTester</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/products/btc-embeddedspecifier.html" title="BTC EmbeddedSpecifier" >BTC EmbeddedSpecifier</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/products/btc-embeddedvalidator.html" title="BTC EmbeddedValidator" >BTC EmbeddedValidator</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/products/btc-requirement-observers.html" title="BTC Requirement Observers" >BTC Requirement Observers</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/products/scenario-based-testing.html" title="ADAS/AD: Scenario-based Testing" >ADAS/AD: Scenario-based Testing</a></li>
<li class="last navlevel2"><a href="https://www.btc-es.de/en/products/videos.html" title="Videos" >Videos</a></li>
</ul></li>
<li class="navlevel1"><a href="https://www.btc-es.de/en/services.html" title="Services" >Services</a></li>
<li class="navlevel1"><a href="https://www.btc-es.de/en/company/" title="Company" >Company</a><ul><li class="first navlevel2"><a href="https://www.btc-es.de/en/company/about-us.html" title="About Us" >About Us</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/company/management-team.html" title="Management Team" >Management Team</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/company/partner.html" title="Partners" >Partners</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/company/references.html" title="References" >References</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/company/research.html" title="Research" >Research</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/company/publications.html" title="Publications" >Publications</a></li>
<li class="last navlevel2"><a href="https://www.btc-es.de/en/company/career/" title="Career" >Career</a></li>
</ul></li>
<li class="navlevel1 active"><a href="https://www.btc-es.de/en/news/" title="News" >News</a><ul><li class="first navlevel2"><a href="https://www.btc-es.de/en/news/news/" title="News" >News</a></li>
<li class="last navlevel2 active"><a href="https://www.btc-es.de/en/news/events/" title="Events" >Events</a></li>
</ul></li>
<li class="navlevel1"><a href="https://www.btc-es.de/en/support/" title="Support" >Support</a><ul><li class="first navlevel2"><a href="https://www.btc-es.de/en/support/technical-support.html" title="Technical Support" >Technical Support</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/support/evaluations.html" title="Evaluations" >Evaluations</a></li>
<li class="last navlevel2"><a href="https://www.btc-es.de/en/support/downloads.html" title="Downloads" >Downloads</a></li>
</ul></li>
<li class="navlevel1"><a href="https://www.btc-es.de/en/contact.html" title="Contact" >Contact</a></li>
<li class="last navlevel1"><a href="https://www.btc-es.de/en/blog/" title="Blog" >Blog</a></li>
</ul>
  </nav>
<main>
  
  <article class="maincontent">
    <div class="breadcrumbs">
<!-- 6 -->

<!-- Array
(
    [0] => 139
    [1] => 87
    [2] => 23
)
 -->
<a href="https://www.btc-es.de/en/news/" class="breadcrumbs-crumb">News</a><span class="breadbrumbs-separator">&raquo;</span><a href="https://www.btc-es.de/en/news/events/" class="breadcrumbs-crumb">Events</a><span class="breadbrumbs-separator">&raquo;</span><span class="breadcrumbs-crumb">BTC talks at SC<sup>2</sup> workshop</span></div>
    <div class="newsitem-meta">Published on July 21, 2016.</div>
    <h1>BTC talks at SC<sup>2</sup> workshop</h1>
    <p><strong>September 24, 2016</strong></p>
<p>BTC Embedded Systems will give two talks at the first international workshop on Satisfiability Checking and Symbolic Computation (FETOPEN-CSA) SC<sup>2</sup> 2016 in Timisoara, Romania. The talks will be "Accurate dead code detection in embedded C Code by arithmetic constraint solving" and the second one "Satisfaction Meets Practice and Confidence".</p>
    
  </article>
    <aside class="mainaside">
  <section class="asidesection">
  
    <h3>Newsletter Subscription</h3>
    
    <script id="n2g_script" type="text/plain" data-type="text/javascript" data-name="nl2g">
  !function(e,t,n,c,r,a,i){e.Newsletter2GoTrackingObject=r,e[r]=e[r]||function(){(e[r].q=e[r].q||[]).push(arguments)},e[r].l=1*new Date,a=t.createElement(n),i=t.getElementsByTagName(n)[0],a.async=1,a.src=c,i.parentNode.insertBefore(a,i)}(window,document,"script","//static.newsletter2go.com/utils.js","n2g");
  n2g('create', '92pxgllz-ch0pug9j-nry');
  var config = {
    "container": {
      "type": "div",
      "class": "fpnl-outer",
      "style": ""
    },
    "input": {
      "class": "fpnl-input",
      "style": ""
    },
    "button": {
      "type": "button",
      "class": "fpnl-button",
      "id": "",
      "style": ""
    },
    "row": {
      "type": "div",
      "class": "",
      "style": ""
    },
    "columnLeft": {
      "type": "div",
      "class": "",
      "style": ""
    },
    "columnRight": {
      "type": "div",
      "class": "",
      "style": ""
    },
    "label": {
      "type": "label",
      "class": "fpnl-label",
      "style": ""
    },
    "message": {
      "type": "p",
      "class": "fpnl-message",
      "id": "",
      "style": ""
    }
  }
  n2g('subscribe:createForm',config);
</script>
<small>Your email address will be submitted to the privacy-certified newsletter software Newsletter2Go for technical distribution. For further information go to our <a href="/en/company/link-to-privacy-policy.html">privacy policy</a>.</small>
  
</section><section class="asidesection">
  <a href="https://www.btc-es.de/en/company/about-us.html">
    <h3>About Us</h3>
    
      <picture>
        <source srcset="assets/cache/images/sidebar/btc-es-272x150-687.png 1x, assets/cache/images/sidebar/btc-es-544x300-8ee.png 2x" media="(min-width: 50em)">
        <source srcset="assets/cache/images/sidebar/btc-es-350x193-d7c.png 1x, assets/cache/images/sidebar/btc-es-700x386-4b0.png 2x" media="(min-width: 40em)">
        <source srcset="assets/cache/images/sidebar/btc-es-302x166-2fc.png 1x, assets/cache/images/sidebar/btc-es-604x332-c87.png 2x" media="(min-width: 30em)">
        <source srcset="assets/cache/images/sidebar/btc-es-222x122-bff.png 1x, assets/cache/images/sidebar/btc-es-444x244-523.png 2x" media="(min-width: 0em)">
        <img src="assets/cache/images/sidebar/btc-es-272x150-687.png" alt="About Us">
      </picture>
    
    <p><a href="https://www.btc-es.de/en/company/about-us.html">Read more about our history and motivation.</a></p>
  </a>
</section><section class="asidesection">
  <a href="https://www.btc-es.de/en/products/overview.html">
    <h3>Products & Use Cases</h3>
    
      <picture>
        <source srcset="assets/cache/images/sidebar/overview-272x150-4ad.png 1x, assets/cache/images/sidebar/overview-544x300-b23.png 2x" media="(min-width: 50em)">
        <source srcset="assets/cache/images/sidebar/overview-350x193-0ce.png 1x, assets/cache/images/sidebar/overview-700x386-71e.png 2x" media="(min-width: 40em)">
        <source srcset="assets/cache/images/sidebar/overview-302x166-69b.png 1x, assets/cache/images/sidebar/overview-604x332-378.png 2x" media="(min-width: 30em)">
        <source srcset="assets/cache/images/sidebar/overview-222x122-f88.png 1x, assets/cache/images/sidebar/overview-444x244-ca8.png 2x" media="(min-width: 0em)">
        <img src="assets/cache/images/sidebar/overview-272x150-4ad.png" alt="Products & Use Cases">
      </picture>
    
    <p>Get an overview about our products and the supported use cases.</p>
  </a>
</section>
</aside>
</main>
<footer class="mainfooter">
  <section class="footercolumn">
  <strong>Popular Topics</strong>
  <ul><li><a href="https://www.btc-es.de/en/products/btc-embeddedplatform/targetlink.html">TargetLink</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedtester/code-coverage.html">Code Coverage</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedtester/iso-26262.html">ISO 26262</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedtester/autosar.html">AUTOSAR</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedplatform/model-checking.html">Model Checking</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedplatform/automation.html">Automation</a></li></ul>
</section><section class="footercolumn">
  <strong>Products</strong>
  <ul><li><a href="https://www.btc-es.de/en/products/overview.html">Overview</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedplatform/">BTC EmbeddedPlatform</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedtester-base.html">BTC EmbeddedTester BASE</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedtester/">BTC EmbeddedTester</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedspecifier.html">BTC EmbeddedSpecifier</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedvalidator.html">BTC EmbeddedValidator</a></li><li><a href="https://www.btc-es.de/en/products/btc-requirement-observers.html">BTC Requirement Observers</a></li><li><a href="https://www.btc-es.de/en/products/videos.html">Videos</a></li></ul>
</section><section class="footercolumn">
  <strong>Company</strong>
  <ul><li><a href="https://www.btc-es.de/en/company/about-us.html">About Us</a></li><li><a href="https://www.btc-es.de/en/company/management-team.html">Management Team</a></li><li><a href="https://www.btc-es.de/en/company/partner.html">Partners</a></li><li><a href="https://www.btc-es.de/en/company/references.html">References</a></li><li><a href="https://www.btc-es.de/en/company/research.html">Research</a></li><li><a href="https://www.btc-es.de/en/company/publications.html">Publications</a></li><li><a href="https://www.btc-es.de/en/company/career/">Career</a></li><li><a href="https://www.btc-es.de/en/blog/">Blog</a></li></ul>
</section><section class="footercolumn">
  
  <ul><li><a href="https://www.btc-es.de/en/contact.html">Contact</a></li><li><a href="https://www.btc-es.de/en/company/imprint.html">Imprint</a></li><li><a href="https://www.btc-es.de/en/company/privacy-policy.html">Privacy Policy</a></li><li class="footer-icons">
	<a href="https://de.linkedin.com/company/btc-embedded-systems-ag" target="_blank"><svg class="icon icon-linkedin"><use xlink:href="#icon-linkedin"></use></svg></a>
	<a href="https://www.xing.com/companies/btcembeddedsystemsag" target="_blank"><svg class="icon icon-xing"><use xlink:href="#icon-xing"></use></svg></a>
	<a href="https://www.youtube.com/channel/UCTTXgzR2IeJsOFa8QabSDOQ" target="_blank"><svg class="icon icon-youtube"><use xlink:href="#icon-youtube"></use></svg></a>
</li></ul>
</section>
  <section class="footercolumn wide">
    <p>&copy; 2021. BTC-ES. All rights reserved.</p>
  </section>
</footer>

<svg xmlns="http://www.w3.org/2000/svg" style="display:none">
  <symbol id="icon-xing" viewBox="0 0 32 32">
    <path d="M29 0h-26c-1.65 0-3 1.35-3 3v26c0 1.65 1.35 3 3 3h26c1.65 0 3-1.35 3-3v-26c0-1.65-1.35-3-3-3zM9.769 20.813h-3.456c-0.206 0-0.362-0.094-0.45-0.238-0.094-0.15-0.094-0.337 0-0.531l3.675-6.488c0.006-0.006 0.006-0.012 0-0.019l-2.338-4.050c-0.094-0.194-0.112-0.381-0.019-0.531 0.088-0.144 0.263-0.219 0.475-0.219h3.462c0.531 0 0.794 0.344 0.963 0.65 0 0 2.363 4.125 2.381 4.15-0.137 0.25-3.737 6.606-3.737 6.606-0.188 0.325-0.438 0.669-0.956 0.669zM26.137 4.756l-7.662 13.55c-0.006 0.006-0.006 0.019 0 0.025l4.881 8.913c0.094 0.194 0.1 0.387 0.006 0.538-0.087 0.144-0.25 0.219-0.462 0.219h-3.456c-0.531 0-0.794-0.35-0.969-0.656 0 0-4.906-9-4.919-9.025 0.244-0.431 7.7-13.656 7.7-13.656 0.188-0.331 0.413-0.656 0.925-0.656h3.506c0.206 0 0.375 0.081 0.462 0.219 0.087 0.144 0.087 0.338-0.012 0.531z"></path>
  </symbol>
  <symbol id="icon-linkedin" viewBox="0 0 32 32">
    <path d="M29 0h-26c-1.65 0-3 1.35-3 3v26c0 1.65 1.35 3 3 3h26c1.65 0 3-1.35 3-3v-26c0-1.65-1.35-3-3-3zM12 26h-4v-14h4v14zM10 10c-1.106 0-2-0.894-2-2s0.894-2 2-2c1.106 0 2 0.894 2 2s-0.894 2-2 2zM26 26h-4v-8c0-1.106-0.894-2-2-2s-2 0.894-2 2v8h-4v-14h4v2.481c0.825-1.131 2.087-2.481 3.5-2.481 2.488 0 4.5 2.238 4.5 5v9z"></path>
  </symbol>
  <symbol id="icon-youtube" viewBox="0 0 32 32">
    <path d="M31.681 9.6c0 0-0.313-2.206-1.275-3.175-1.219-1.275-2.581-1.281-3.206-1.356-4.475-0.325-11.194-0.325-11.194-0.325h-0.012c0 0-6.719 0-11.194 0.325-0.625 0.075-1.987 0.081-3.206 1.356-0.963 0.969-1.269 3.175-1.269 3.175s-0.319 2.588-0.319 5.181v2.425c0 2.587 0.319 5.181 0.319 5.181s0.313 2.206 1.269 3.175c1.219 1.275 2.819 1.231 3.531 1.369 2.563 0.244 10.881 0.319 10.881 0.319s6.725-0.012 11.2-0.331c0.625-0.075 1.988-0.081 3.206-1.356 0.962-0.969 1.275-3.175 1.275-3.175s0.319-2.587 0.319-5.181v-2.425c-0.006-2.588-0.325-5.181-0.325-5.181zM12.694 20.15v-8.994l8.644 4.513-8.644 4.481z"></path>
  </symbol>
</svg>

<script src="assets/js/jquery-1.12.4.min.js"></script>
<script src="assets/js/jquery.devrama.slider.min-0.9.4.js"></script>
<script src="assets/js/main.js"></script>
<!-- <link href="assets/js/cookiebar/cookiebar-grey.min.css" rel="stylesheet"> -->
<!-- <script src="assets/js/cookiebar/cookiebar.min.js?noGeoIp=1"></script> -->
<!-- <script src="assets/js/cookiebar/cookiebar.min.js?tracking=1&thirdparty=1&noGeoIp=1"></script> -->

<script type="text/plain" data-type="text/javascript" data-name="googleAnalytics">
var gaProperty='UA-78098623-1';var disableStr='ga-disable-'+gaProperty;if(document.cookie.indexOf(disableStr+'=true')>-1){window[disableStr]=!0}
function gaOptout(){document.cookie=disableStr+'=true; expires=Thu, 31 Dec 2099 23:59:59 UTC; path=/';window[disableStr]=!0;alert('Tracking of Google Analytics was deactivated in your browser.')}
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)})(window,document,'script','https://www.google-analytics.com/analytics.js','ga');ga('create', 'UA-78098623-1', 'auto');ga('set', 'anonymizeIp', true);ga('send', 'pageview');
</script>

<link rel="stylesheet" href="assets/js/klaro/klaro.min.css">
<script defer src="assets/js/klaro/klaro-config.js"></script>
<script defer src="assets/js/klaro/klaro.js"></script>

<script>
  let code = document.querySelector('pre[class|="language"] > code');
  // console.log(code);
  if (code !== null) {
    var css = document.createElement('link');
    css.rel = 'stylesheet';
    css.href = 'assets/js/prism/prism.css';
    document.head.appendChild(css);
    var script = document.createElement('script');
    script.src = 'assets/js/prism/prism.js';
    document.head.appendChild(script);
  }
</script>

</body>
</html>