Todos estão convidados ao seminário conjunto LoLITA & ForAll! Joao Marcos
* * * Title: Concurrent Constraint Programming and Temporal, Spatial, and Epistemic Modalities http://goo.gl/lWpvv Speakers: Elaine Pimentel UFMG http://lattes.cnpq.br/3298246411086415 & Carlos Olarte Pontifícia Universidade Javeriana, Colombia http://lattes.cnpq.br/1198550954813139 Location: Sala de reuniões do DIMAp Time: 17:00-18:00 Abstract: Concurrent Constraint Programming (ccp) has emerged as a simple and powerful formalism for modelling computational systems. Several extensions of the model have been proposed to deal with notions such as time, non-determinism, linearity, mobility, etc. On the other hand, subexponentials add expressiveness to linear logic so that a wide variety of computational systems can be encoded and verified. In this talk, we will show that, giving a proper structure to a subexponential signature, we can capture several phenomena in concurrency. Namely, locations for distributed computing, hierarchy of spatial locations, epistemic reasoning and timed behavior. Moreover, we plan on showing a strong adequacy between the operational semantics in ccp calculi and the derivation in the proposed focusing system. This provides the machinery required for verifying properties of the modeled systems. The talk will be given at basic level, hence no prior knowledge on linear logic or concurrent programming will be assumed. _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
