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 07:28
[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.

Programme | LICS 2020

Programme

timezone:
UTC+2
12:00-12:30
12:30-13:00
13:00-13:30
13:30-14:00
14:00-14:30
14:30-15:00
15:00-15:30
15:30-16:00
16:00-16:30
16:30-17:00
17:00-17:30
17:30-18:00
18:00-18:30
18:30-19:00
Mon
06.07.2020
Workshops
This is just a placeholder – please check the websites of the individual workshops for their exact schedules:

LCC:
Logic and Computational Complexity

LMW:
Logic Mentoring Workshop

PRiML:
Programming Research in Mainstream Languages

Tue
07.07.2020
Workshops
This is just a placeholder – please check the websites of the individual workshops for their exact schedules:

AATG:
Algorithmic Aspects of Temporal Graphs

INFINITY:
Verification of Infinite-State Systems

Wed
08.07.2020
Invited Talk (LICS/ICALP) Andrew Yao

when is this in my timezone?
Opening Ceremony (LICS/ICALP) and Best Video Awards

when is this in my timezone?
Break
Q/A Session A
ICALP-A: A1-A3
ICALP-B: A4
LICS: A5-A6

click to see detailed paper schedule

when is this in my timezone?
Break
Invited Talk (ICALP-A) Virginia Vassilevska Williams

when is this in my timezone?
Break
Q/A Session B
ICALP-A: B1-B3
ICALP-B: B4
LICS: B5-B6

click to see detailed paper schedule

when is this in my timezone?
Thu
09.07.2020
Invited Talk (LICS/ICALP) Jerome Leroux

when is this in my timezone?
Break
Tutorial (LICS/ICALP) Erich Grädel

when is this in my timezone?
Break
Q/A Session C
ICALP-A: C1-C3
ICALP-B: C4
LICS: C5-C6

click to see detailed paper schedule

when is this in my timezone?
Break
Q/A Session D
ICALP-A: D1-D3
ICALP-B: D4
LICS: D5-D6

click to see detailed paper schedule

when is this in my timezone?
EATCS Award (ICALP) and Best Paper Announcement

when is this in my timezone?
Fri
10.07.2020
Invited Talk (ICALP-B) Stefan Kiefer

when is this in my timezone?
Break
Award Session (LICS/ICALP) Presburger Award, Gödel Prize, Test of Time (LICS)

when is this in my timezone?
Break
Q/A Session E
ICALP-A: E1-E3
ICALP-B: E4
LICS: E5-E6

click to see detailed paper schedule

when is this in my timezone?
Break
Tutorial (LICS) Brigitte Pientka

when is this in my timezone?
Sat
11.07.2020
Invited Talk (LICS) Mariangiola Dezani

when is this in my timezone?
Break
Q/A Session F
ICALP-A: F1-F2
ICALP-B: F3
LICS: F4-F5

click to see detailed paper schedule

when is this in my timezone?
Break
Invited Talk (ICALP-A) Robert Krauthgamer

when is this in my timezone?
Break
Business Meetings

LICS Business Meeting
EATCS General Assembly

when is this in my timezone?