From: Marco Bernardo <bernardo@sti.uniurb.it>
To: agents@cs.umbc.edu, caml-list@inria.fr, categories@mta.ca,
concurrency@listserver.tue.nl, ecoop-info@ecoop.org,
events@fmeurope.org, fmics@inrialpes.fr,
isabelle-users@cl.cam.ac.uk, logic-list@helsinki.fi,
moca-announce@list.it.uu.se, mycolleagues@mailman.ufsc.br,
papm@informatics.ed.ac.uk, performance@merlot.usc.edu,
petrinet@informatik.uni-hamburg.de, prog-lang@diku.dk,
pvs@csl.sri.com, qest-announce@iti.uiuc.edu,
seworld@sigsoft.org, theorem-provers@ai.mit.edu,
theory-logic@cs.cmu.edu, theorynt@listserv.nodak.edu,
types-announce@lists.seas.upenn.edu
Cc: Alessandro Aldini <alessandro.aldini@uniurb.it>
Subject: [Caml-list] ICTCS 2018 @ Urbino - last call for participation
Date: Thu, 6 Sep 2018 18:44:10 +0200 (CEST) [thread overview]
Message-ID: <alpine.DEB.2.02.1809061842580.13961@dechirico> (raw)
[-- Attachment #1: Type: TEXT/PLAIN, Size: 2162 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, late (after August 31, 2018): 360 euros
- Junior, late (after August 31, 2018): 300 euros
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, social dinner, and EATCS membership.
========
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
reply other threads:[~2018-09-06 16:46 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=alpine.DEB.2.02.1809061842580.13961@dechirico \
--to=bernardo@sti.uniurb.it \
--cc=agents@cs.umbc.edu \
--cc=alessandro.aldini@uniurb.it \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=concurrency@listserver.tue.nl \
--cc=ecoop-info@ecoop.org \
--cc=events@fmeurope.org \
--cc=fmics@inrialpes.fr \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=logic-list@helsinki.fi \
--cc=marco.bernardo@uniurb.it \
--cc=moca-announce@list.it.uu.se \
--cc=mycolleagues@mailman.ufsc.br \
--cc=papm@informatics.ed.ac.uk \
--cc=performance@merlot.usc.edu \
--cc=petrinet@informatik.uni-hamburg.de \
--cc=prog-lang@diku.dk \
--cc=pvs@csl.sri.com \
--cc=qest-announce@iti.uiuc.edu \
--cc=seworld@sigsoft.org \
--cc=theorem-provers@ai.mit.edu \
--cc=theory-logic@cs.cmu.edu \
--cc=theorynt@listserv.nodak.edu \
--cc=types-announce@lists.seas.upenn.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).