\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\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 P rogramme Committee encourages researchers to atten d and\n present their best work, be it alread y published or not, at the\n Highlights confe rence. The submission deadline is June 3,\n 2 016. As you submit a proposal for a presentation, not a paper,\n submissions should have a sing le author, who is the speaker (the\n abstract , of 1-2 pages, may include a list of coauthors).\ n

\n