logo
computability

会议结果 (4)

International Symposium on Fundamentals of Computation Theory (FCT)

Rank: BOffline
University of Wrocław, Wrocław, Poland
Sep 15, 2025 - Sep 17, 2025
AlgorithmsComplexityFormal Methods+52 更多

International Symposium on Algorithms and Experiments for Wireless Networks (Algosensors)

Rank: COffline
Warsaw, Poland
Sep 18, 2025 - Sep 19, 2025
AlgorithmicsWireless NetworksSensor Networks+43 更多

Current Trends in Theory and Practice of Computer Science (SOFSEM)

Rank: BOffline
Bratislava, Slovakia
Jan 20, 2025 - Jan 23, 2025
AI-based algorithms and techniquesalgorithmsautomata+36 更多

Annual Conference on Computer Science Logic (CSL)

Rank: BOffline
Paris, France
Feb 23, 2026 - Feb 28, 2026
automated deduction and interactive theorem provingconcurrency and distributed computationconstructive mathematics and type theory+27 更多