equal
deleted
inserted
replaced
145 Many groups working on ITP, summerschool on Coq, never has been hosted |
145 Many groups working on ITP, summerschool on Coq, never has been hosted |
146 in China, several centres (Shanghai, Beijing, ...) |
146 in China, several centres (Shanghai, Beijing, ...) |
147 |
147 |
148 Good food, conference trip |
148 Good food, conference trip |
149 |
149 |
|
150 <H4>Timing and programme</H4> |
|
151 |
|
152 As is tradition, the conference will consist of 4 days of research |
|
153 presentations, invited talks and possibly poster sessions. As informal |
|
154 discussions are central to the conference, we will plan for ample time |
|
155 between the formal sessions for attendees to mingle and converse. We |
|
156 expect workshops to take place during one or two days before or after the |
|
157 main conference. |
|
158 |
150 <H4>Not updated</H4> |
159 <H4>Not updated</H4> |
151 |
160 |
152 |
161 |
153 <p> |
162 <p> |
154 We expect the conference will consist of four days of fully refereed |
163 We expect the conference will consist of four days of fully refereed |