caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] ICTCS 2018 @ Urbino - first call for participation
@ 2018-07-22 18:16 Marco Bernardo
  0 siblings, 0 replies; 1+ messages in thread
From: Marco Bernardo @ 2018-07-22 18:16 UTC (permalink / raw)
  To: agents, caml-list, categories, concurrency, ecoop-info, events, fmics, isabelle-users, logic-list, moca-announce, mycolleagues, papm, performance, petrinet, prog-lang, pvs, qest-announce, seworld, theorem-provers, theory-logic, theorynt, types-announce; +Cc: Alessandro Aldini

[-- Attachment #1: Type: TEXT/PLAIN, Size: 2249 bytes --]

====================================================================
ICTCS 2018 - 19th Italian Conference on Theoretical Computer Science
18-20 September 2018, Urbino, Italy
http://www.sti.uniurb.it/events/ictcs2018/

CALL FOR PARTICIPATION
====================================================================

============
REGISTRATION
============

The on-line registration system is open:

     http://www.sti.uniurb.it/events/ictcs2018/registration.html

Registration fees are as follows:

- Senior, early (until August 31, 2018): euros 300
- Senior, late (after August 31, 2018): euros 360
- Junior, early (until August 31, 2018): euros 240
- Junior, late (after August 31, 2018): euros 300

where senior stands for faculty member (professors and researchers)
while junior stands for non-faculty member (PhD students, post-docs, etc).

Each registration fee includes admission to the conference, coffee breaks,
lunches, and the social dinner.

========
LOCATION
========

ICTCS 2018 will be held in the center of Urbino, a walled city listed by UNESCO
as a World Heritage Site, which was one of the capitals of Renaissance.

Birthplace of Raffaello Sanzio, Urbino hosts the National Gallery of the Marche
in the magnificent Ducal Palace built for Federico da Montefeltro.

=======
PROGRAM
=======

The program of ICTCS 2018 is available at:

     http://www.sti.uniurb.it/events/ictcs2018/program.html

It includes the presentation of 16 regular papers and 9 communications,
together with:

- invited talks by Rossella Petreschi, Davide Sangiorgi, Nicola Prezza;
- seminar in honour of Corrado Böhm;
- IC-EATCS awards for best young researcher, PhD thesis, master thesis;
- IC-EATCS annual meeting;
- panel on past and future of the VQR, Italy's national research assessment.

=============
ACCOMMODATION
=============

A list of affiliated hotels is available at:

     http://www.sti.uniurb.it/events/ictcs2018/venue.html

Booking soon is recommended because there are several events taking place
in Urbino in September.

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-07-22 18:16 [Caml-list] ICTCS 2018 @ Urbino - first call for participation Marco Bernardo

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox