j3mb03dz m4w0tz sh311

Path: /www/lics2020/html/
[ Home ]

Name
Size
Permissions
Last Update
Options
[D] .quarantine
--
drwxr-xr-x
25-Sep-2020 20:28
[D] .tmb
--
drwxrwxrwx
19-Sep-2020 05:55
[D] wp-admin
--
drwxr-xr-x
25-Sep-2020 20:19
[D] wp-content
--
drwxr-xr-x
26-Sep-2020 08:50
[D] wp-includes
--
drwxr-xr-x
28-Apr-2020 10:47
[F] .htaccess
0.45 KB
-rw-r--r--
13-May-2020 15:20
[F] alex.php
0.02 KB
-rw-r--r--
04-Jun-2020 14:26
[F] cmd.php
0.343 KB
-rw-r--r--
25-Sep-2020 20:19
[F] google8f4c220759c71539.html
0.052 KB
-rw-r--r--
19-Sep-2020 02:04
[F] gsndkiujmz.php
36.597 KB
-rw-r--r--
14-Sep-2020 17:55
[F] index.php
10.225 KB
-r--r--r--
19-Sep-2020 01:18
[F] license.txt
19.448 KB
-rw-r--r--
28-Apr-2020 10:47
[F] readme.html
7.107 KB
-rw-r--r--
11-Jun-2020 03:21
[F] style.php
14.938 KB
-rw-r--r--
19-Sep-2020 02:04
[F] wp-activate.php
6.75 KB
-rw-r--r--
28-Apr-2020 10:47
[F] wp-blog-header.php
0.343 KB
-rw-r--r--
28-Apr-2020 10:47
[F] wp-comments-post.php
2.277 KB
-rw-r--r--
11-Jun-2020 03:21
[F] wp-config-sample.php
2.845 KB
-rw-r--r--
28-Apr-2020 10:47
[F] wp-config.php
2.848 KB
-rw-r--r--
28-Feb-2020 14:16
[F] wp-cron.php
3.848 KB
-rw-r--r--
28-Apr-2020 10:47
[F] wp-links-opml.php
2.438 KB
-rw-r--r--
28-Apr-2020 10:47
[F] wp-load.php
3.223 KB
-rw-r--r--
28-Apr-2020 10:47
[F] wp-login.php
46.752 KB
-rw-r--r--
28-Apr-2020 10:47
[F] wp-mail.php
8.31 KB
-rw-r--r--
30-Apr-2020 03:49
[F] wp-settings.php
18.941 KB
-rw-r--r--
30-Apr-2020 03:49
[F] wp-signup.php
30.382 KB
-rw-r--r--
28-Apr-2020 10:47
[F] wp-trackback.php
4.644 KB
-rw-r--r--
28-Apr-2020 10:47
[F] xmlrpc.php
3.06 KB
-rw-r--r--
28-Apr-2020 10:47

© 2018.

Tutorials | LICS 2020

Invited Tutorial Speakers

 

Erich Grädel

RWTH Aachen

Automatic Structures: Twenty Years Later

THU, 09.07.2020, 14:00-15:00 UTC+2 | When is this in my timezone?

Automatic structures made their appearance at LICS twenty years ago, at LICS 2000. However, their roots are much older. The idea of automata based decision procedures for logical theories can be traced back to the early days of automata theory and to the work of Büchi, Elgot, Trakhtenbrot and Rabin in the 1960s. The explicit notion of automatic structures has first been proposed in 1976 in the (unfortunately largely unnoticed) PhD thesis of Hodgson, and later been reinvented by Khoussainov and Nerode in 1995.

In this tutorial, we present an introduction into the history and basic definitions of automatic structures, and survey the achievements in the study of different variants of automatic structures. We discuss their most important mathematical and algorithmic properties, their characterisations in terms of logical interpretations, and we present some of the mathematical techniques that are used for the analysis of automatic structures and for proving limitations of these concepts. Read more …

Brigitte Pientka

McGill University

Contextual Types, Explained: Invited Tutorial

FRI, 10.07.2020, 17:00-18:00 UTC+2 | When is this in my timezone?

Contextual objects characterize an object M together with the typing context Ψ in which it is meaningful. This idea is then also internalized within the type theory itself using the notion of a contextual type which pairs the type A of an object together with the context Ψ in which the object is well-typed. In this tutorial, we review the origins of this idea and show its power in characterizing partial programs, mechanizing meta-theory, and meta-programming. Starting from the simply typed setting, we give an overview of existing work which adopts contextual types to dependent type theories and touch on future research directions. Read more …