\n

HIGHL IGHTS 2016 is the fourth conference on Highlights of\n Logic, Games and Automata which aims at integrating the\n community working in these fields. Papers from these areas are\n dispers ed across many conferences, which makes them diffi cult to\n follow. A visit to Highlights confe rence should offer a wide\n picture of the la test research in the field and a chance to meet\n everybody in the community, not just those wh o happen to publish\n in one particular proce edings volume.\n

\nThe conferenc e itself is three days long (Sept. 7-9) and it\n is preceeded by the Highlights tutorial day\n (Sept. 6). Representative areas include, but are not restricted\n to: logic and finite mod el theory, automata theory, games for\n logic and verification. The contributed talks are arou nd ten\n minutes. Ideally, they let participa nts learn something new, and\n enable them to understand the objective/problem/question and the \n result, and to get an idea of the techniqu e.\n

\n \n \nDetailed in formation about Highlights 2016 are \n avai lable at http://highlights-conference.org .\n

\n

URL:/NewsandEvents/Archives/2016/newsitem/7382/6-9
-September-2016-Highlights-of-Logic-Games-and-Auto
mata-HIGHLIGHTS-2016-Brussels-Belgium
END:VEVENT
END:VCALENDAR
The Program me Committee encourages researchers to attend and\ n present their best work, be it already publ ished or not, at the\n Highlights conference. The submission deadline is June 3,\n 2016. A s you submit a proposal for a presentation, not a paper,\n submissions should have a single aut hor, who is the speaker (the\n abstract, of 1 -2 pages, may include a list of coauthors).\n

\n