equal
deleted
inserted
replaced
124 |
124 |
125 <H4>Timing and Tentative Programme</H4> |
125 <H4>Timing and Tentative Programme</H4> |
126 |
126 |
127 The conference will be held in the last week of August (24th - 27th |
127 The conference will be held in the last week of August (24th - 27th |
128 August 2015). We intend to organise an Isabelle tutorial before the |
128 August 2015). We intend to organise an Isabelle tutorial before the |
129 main conference and host any workshops on the 28th August, provided |
129 conference and host any workshops on the 28th August, provided |
130 there is interest. |
130 there is interest. |
131 <p> |
131 <p> |
132 |
132 |
133 As is the tradition, the conference consists of 4 days of research presentations |
133 As is the tradition, the conference consists of 4 days of research presentations |
134 and invited talks. Like in previous conferences, we would allow ample time |
134 and invited talks. Like in previous conferences, we would allow ample time |