caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] ICTCS 2018 @ Urbino - second call for participation
@ 2018-08-20 14:04 Marco Bernardo
  2018-08-27 16:21 ` [Caml-list] RTIS 2018 conference
  0 siblings, 1 reply; 2+ messages in thread
From: Marco Bernardo @ 2018-08-20 14:04 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: 2263 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): 300 euros
- Senior, late (after August 31, 2018): 360 euros
- Junior, early (until August 31, 2018): 240 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

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

* [Caml-list] RTIS 2018
  2018-08-20 14:04 [Caml-list] ICTCS 2018 @ Urbino - second call for participation Marco Bernardo
@ 2018-08-27 16:21 ` conference
  0 siblings, 0 replies; 2+ messages in thread
From: conference @ 2018-08-27 16:21 UTC (permalink / raw)
  To: marco.bernardo, Marco Bernardo; +Cc: 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, Alessandro Aldini

Third International Conference on Real-Time Intelligence Systems (RTIS 
2018)
Taipei, Taiwan
November 13-15, 2018
http://www.socio.org.uk/rtis
Springer Series in Lecture Notes in Real-Time Intelligent Systems
(http://www.springer.com/series/11156)
The higest downloaded Springer volume

Real-Time Computing covers a broad spectrum of the intensively 
developing area of low-latency priority-driven system responsiveness 
under certain time constrains to essential and decisive human-computer 
interactions with constantly incoming data stream. Research on real-time 
intelligent systems is of a multi-disciplinary nature, exploiting 
concepts from the areas as diverse as signal processing technologies, 
computational intelligence, location systems, data processing, digital 
document processing and embedded system design. To accomplish its 
real-time performance, systematic analysis is carried out when the 
systems are working.

Therefore, over the last few years real-time intelligent computing has 
radically transformed human life style. In the today’s competitive and 
highly dynamic environment, analyzing data in real time is a must to 
understand in detail how the systems are processing the data and to 
reason the outputs and anticipate the trends in intelligent computing, 
has become critical.
To leverage the full potential of the opportunity build complex real 
time systems, intense research is required and this conference will 
serve as one such platform to manifest the ongoing research in the real 
time intelligence system.
The conference welcomes theoretically grounded, methodologically sound 
research papers from academia and industry that address variety of 
aspects and innovations related to real-time computing systems.

The scope of the conference includes, but is not limited to the 
following areas:

Streaming data, streaming engines
Big Data systems and applications for high-velocity data
Analysis in advanced domains such as energy, sensors, etc
Artificial Intelligence
Broadband Intelligence
Cloud Computing and Intelligence
Collaborative Intelligence
Crowdsourcing and crowd intelligence
Data capture in real-time
Intelligent Database Systems
Data mining
Intelligent Data Analysis
OLAP for real-time decision support
Data quality and cleansing
Intelligent Fuzzy Systems
Event-driven analytics
Visualizing real-time data and information
Intelligent Soft Computing
Privacy and security in Intelligence
Architectures for Intelligence
Internet of Things
Intelligent Robotic Systems
Smart Services and Platforms
Intelligent Transportation Systems
Mobile Smart Systems
Trace-based intelligent real-time services (eye-tracking, image 
tracking)
Real-time intelligent alert systems
Machine translation in real time
Multilingual information access
Multiagent Intelligent Systems
Intelligent Information Systems
Adaptive vision algorithms
Real-time Intelligent Network solutions
Real-time distributed coding
Real-time modelling user’s information needs
Real-time noise removal systems
Real-time intelligent communication
Real-time remote access systems
Decision support systems in real time
Real-time multiprocessor systems

RTIS 2018 has workshops, tutorials, Doctoral Consortium, Mentorship 
Programme and Proofread and Translation Program.

Modified versions of the RTIS will appear in many indexed journals.

1. Future Internet
2. Journal of Medical Internet Research
3. Machine Learning
4. Virtual Reality
5. The Journal of Intelligent Systems

BEST PAPER AWARD
The best paper presented in the RTIS will be given a cash award of 500 
Swiss Francs by the MDPI Publishers, Switzerland. Besides a gold 
certification will be given.

Committee

Honorary General Chair
Jolanta Mizera-Pietraszko, Opole University, Poland

General Chair
Yao-Liang Chung, National Taiwan Ocean University, Taiwan

Program Chairs
Pit Pichappan, Digital Information Research Lab., India
Simon Fong, University of Macau, Macau

The Proceedings will be published by Springer in the  Proceedings of the 
3rd International Conference on Real-Time Intelligent Systems, Volume 3 
RTIS 2018.  (http://www.springer.com/series/11156 )

For the series information please see-

http://www.springer.com/gp/book/9783319607436

Important Dates

Paper Submission:	 August 31,  2018
Paper Notification:	September 20, 2018
Camera ready:	October 10, 2018
Early registration:	November 01, 2018
Full-rate registration:	November 10, 2018
Conference Dates:	November 13-15, 2018

Contact: rtis@socio.org.uk


-- 
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] 2+ messages in thread

end of thread, back to index

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-08-20 14:04 [Caml-list] ICTCS 2018 @ Urbino - second call for participation Marco Bernardo
2018-08-27 16:21 ` [Caml-list] RTIS 2018 conference

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