Bersama dengan ini, kami umumkan kegiatan Seminar Reboan yang dilaksanakan pada:
| Tanggal | : | Rabu, 19 Juni 2019 |
| Waktu | : | 13:00 – 15:00 WIB |
| Tempat | : | Ruang 1213 Gedung A lantai 2, Fasilkom UI Depok |
| Topik | : | Automated Planning by Constraint Programming
|
| Pembicara | : | Prof. Dr. Jussi Rintanen (Aalto University, Helsinki, Finland) |
Talk Session: Synthesis of Software Systems from High-Level Specifications
Shortage of software developers, increasing complexity of software systems, and the difficulty of producing large software systems cost-effectively, reliably and quickly, calls for new approaches to software development.
We have proposed and prototyped a new approach to developing data-intensive software systems in a broad class of applications, including information systems and web applications. It is based on abstract high-level specifications which declaratively describe functionalities of a system, and which can be implemented fully automatically at all levels of common software stacks, including database interfaces, applications’ internal logic, and user interfaces (excluding layout and the look of the UI). The framework also enables automated validation and analytics methods which haven’t earlier been generally applicable to software code.
Tutorial Session: SAT-Based State-Space Search Methods
State-space search is one of the important technologies widely used in computer-aided verification and validation (model-checking, reachability analysis, deadlock detection), intelligent decision-making and planning, as well as other forms of analytics of dynamic systems, including diagnosis.
This tutorial explains the foundations of SAT-based analysis and reasoning methods developed in the past three decades, and some of their applications in AI and CS more generally. We will cover basic representations of state-space search problems in the propositional logic, encodings with partially ordered actions/events, parallelized SAT solving, as well as SAT-based methods for timed systems and systems with uncertainty and incomplete information.
Apabila ada diantara bapak/ibu yang berminat hadir, kami persilahkan mendaftarkan diri (RSVP) pada : https://bit.ly/rsvpfasilkomui-1
Jika ada pertanyaan silahkan disamapikan ke email: humasfasilkom[at]cs.ui.ac.id