#DATE2025 - team from #Bremen at #DATEconf in #Lyon
@unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social
0
0
0
0
Hashtag
#dateconf
Advertisement · 728 × 90
#DATE2025 - list of accepted paper is #online; with four papers from @unibremen.bsky.social / @dfki.bsky.social #CPS www.date-conference.com #DateConf
0
0
0
0
#DATE2024 - Lennart Weingarten from @unibremen.bsky.social presenting on "Complete and Efficient Verification for a RISC-V Processor using Formal Verification" agra.informatik.uni-bremen.de/doc/konf/DAT... @dfki.bsky.social @dsc-ub.bsky.social #dateconf #riscv #PolynomialFormalVerification #PolyVer
0
0
0
0
#DATE2024 - Sajjad Parvin from @unibremen.bsky.social presenting on "Hidden Cost of Circuit Design with RFETs" agra.informatik.uni-bremen.de/doc/konf/DAT... @dfki.bsky.social @dsc-ub.bsky.social
#dateconf
0
0
0
0
#DATE2024 - Khushboo Qayyum from @dfki.bsky.social #CPS presenting on "LLM-guided Formal Verification Coupled with Mutation Testing" agra.informatik.uni-bremen.de/doc/konf/202... @dsc-ub.bsky.social @unibremen.bsky.social #LLMs #ChatGPT #DeepLearning #testing #dateconf
0
0
0
0
#DATE2024 - our team from @unibremen.bsky.social and
@dfki.bsky.social #CPS at #dateconf in #Valencia
@dsc-ub.bsky.social
0
0
0
0
#DATE2024 - books on display at the booth of #Springer at #dateconf
@unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social
0
0
0
0
#DATE2024 - presentation by Caroline Dominik showing that #PolynomialFormalVerification can be carried out not only for #combinational but also for #sequential circuits
agra.informatik.uni-bremen.de/doc/konf/DAT...
@unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social #PolyVer #dateconf
0
0
0
0
#DATE2024 - Workshop on #NanoSecurity: From Nano-Electronics to Secure Systems; lot of interest in presentations from @unibremen.bsky.social / @dfki.bsky.social #CPS date24.date-conference.com/programme#W03
@dsc-ub.bsky.social #dateconf #security
0
0
0
0
#DATE2024 - Abhoy Kole presenting our paper on "Dynamic Realization of Multiple Control Toffoli Gate" - a Best Paper Award candidate agra.informatik.uni-bremen.de/doc/konf/DAT...
@unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social #dateconf @DateConference
0
0
0
0
0
0
0
0
#DATE2024 - arriving in #Valencia for #DateConference
#dateconf @unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social
0
0
0
0