About Formal Methods Update Meeting

The Update Meetings of the Working Group on Logic in Computer Science are intended as a forum for Indian researchers and students in theoretical computer science to update themselves on current trends and to explore new research areas. Thus, the nature of presentations is that of technical surveys and advanced tutorials.