๐ฎ
๐ฎ
The Ethereal
Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
December 13, 2016 ยท The Ethereal ยท ๐ EPTCS 233, 2016
"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 Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Logic in CS
๐ฎ
๐ฎ
The Ethereal
Safe Reinforcement Learning via Shielding
๐ฎ
๐ฎ
The Ethereal
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
๐ฎ
๐ฎ
The Ethereal
Heterogeneous substitution systems revisited
๐ฎ
๐ฎ
The Ethereal
Omega-Regular Objectives in Model-Free Reinforcement Learning
๐ฎ
๐ฎ
The Ethereal