Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

December 13, 2016 ยท The Ethereal ยท ๐Ÿ› EPTCS 233, 2016

๐Ÿ”ฎ THE ETHEREAL: The Ethereal
Pure theory โ€” exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Jan Bouda, Lukรกลก Holรญk, Jan Kofroลˆ, Jan Strejฤek, Adam Rambousek arXiv ID 1612.04037 Category cs.LO: Logic in CS Cross-listed cs.DS, cs.SE Citations 0 Venue EPTCS 233, 2016 Last Checked 5 months ago
Abstract
MEMICS provides a forum for doctoral students interested in applications of mathematical and engineering methods in computer science. Besides a rich technical programme (including invited talks, regular papers, and presentations), MEMICS also offers friendly social activities and exciting opportunities for meeting like-minded people. MEMICS submissions traditionally cover all areas of computer science (such as parallel and distributed computing, computer networks, modern hardware and its design, non-traditional computing architectures, information systems and databases, multimedia and graphics, verification and testing, computer security, as well as all related areas of theoretical computer science).
Community shame:
Not yet rated
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

๐Ÿ“œ Similar Papers

In the same crypt โ€” Logic in CS