-
Notifications
You must be signed in to change notification settings - Fork 0
/
cfwtc.html
executable file
·100 lines (75 loc) · 3.46 KB
/
cfwtc.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1" />
<link href='https://fonts.googleapis.com/css?family=Lora' rel='stylesheet' type='text/css'>
<link href='https://fonts.googleapis.com/css?family=Bree+Serif' rel='stylesheet' type='text/css'>
<link rel="stylesheet" href="style2.css">
<title>Call for Papers, CADE-26</title>
</head>
<body>
<pre>
<b>CALL FOR WORKSHOPS, TUTORIALS, SYSTEM COMPETITIONS</b>
<b>The 26th International Conference on Automated Deduction (CADE-26)
Gothenburg, Sweden</b>
6-11 August 2017
<a href="http://www.cade-26.info">http://www.cade-26.info</a>
CALL FOR WORKSHOPS
Workshop proposals for CADE-26 are solicited. The workshops will take
place on August 6-7 2017, before the main conference. Both
well-established workshops and newer ones are encouraged. Similarly,
proposals for workshops with a tight focus on a core automated
reasoning specialization, as well as those with a broader, more
applied focus, are very welcome.
Please provide the following information in your application document:
+ Workshop title.
+ Names and affiliations of organizers.
+ Proposed workshop duration (from half a day to two days) and preferred
day(s).
+ Brief description of the goals and the scope of the workshop. Why is the
workshop relevant for CADE?
+ Is the workshop new or has it met previously? In the latter case
information on previous meetings should be given (e.g., links to the
program, number of submissions, number of participants).
+ What are the plans for publication?
CALL FOR TUTORIALS
Tutorial proposals for CADE-26 are solicited. Tutorials are expected
to be either half-day or full-day events, with a theoretical or
applied focus, on a topic of interest for CADE-26. Proposals should
provide the following information:
+ Tutorial title.
+ Names and affiliations of organizers.
+ Proposed tutorial duration (from half a day to one days) and the
preferred day.
+ Brief description of the tutorial's goals and topics to be covered.
+ Whether or not a version of the tutorial has been given previously.
CADE will take care of printing and distributing notes for tutorials that
would like this service.
CALL FOR SYSTEM COMPETITIONS
The CADE ATP System Competition (CASC), which evaluates automated theorem
proving systems for classical logics, has become an integral part of the
CADE conferences.
Further system competition proposals are solicited. The goal is to foster
the development of automated reasoning systems in all areas relevant for
automated deduction in a broader sense. Proposals should include the
following information:
+ Competition title.
+ Names and affiliations of organizers.
+ Duration and schedule of the competition.
+ Room/space requirements.
+ Description of the competition task and the evaluation procedure.
+ Is the competition new or has it been organized before?
In the latter case information on previous competitions should be given.
+ What computing resources are required and how will they be provided?
IMPORTANT DATES
Workshop/Tutorials/System Competitions:
Submission deadline: 5 December 2016
Notification: 19 December 2016
SUBMISSION INSTRUCTIONS
Proposals for workshops, tutorials, and system competitions should be
uploaded via
<a href="https://easychair.org/conferences/?conf=cade26wtc">https://easychair.org/conferences/?conf=cade26wtc</a>
</pre>
</body>
</html>