CS595A: Logic and Applications for Services
Software systems are widely used in enterprises to
help with their business services.
However, there is a serious lack
of fundamental techniques and methods to aid the design of
services constituting of data, workflows and business processes.
In this seminar,
we will focus on formal aspects and foundations of
various issues concerning service design and analysis.
Time:
Organizational meeting: 3pm-3:30pm, Monday, January 22
Regular meeting times will be decided at the organizational meeting