
#ComputerScience EFnet  Computer Science Chat Room
Chat room #ComputerScience on IRC network EFnet was registered at 20170929 and automically assigned to group Computer Science Chat Rooms. Registration of this chat room was based on web requests.
to, from 
topic 
20171223, 20171110   none  
20171109, 20170929  Welcome to #ComputerScience @ EFnet. CS is the study of the theory, experimentation, and engineering that form the basis for the design and use of computers. 
More Computer Science Chat Rooms49 users – 117 minutes ago – Welcome to ##ComputerScience, the channel where you can discuss semantics, type systems, parallelism, complexity theory, quantum computing, cryptography, data structures, algorithmics, logic, AI, machine learning, operations research, data compression and even hardware design.  Ask your questions clearly, please.  Math questions? Try #math  Linux question? Try ##linuxchat category: Computer Science – network: freenode – irc2go: ##computerscience 3 users – 117 minutes ago – In computer science, the Satisfiability Modulo Theories (SMT) problem is a decision problem for logical formulas with respect to combinations of background theories expressed in classical firstorder logic with equality.  http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories  All talk about SMT or any other automated reasoning procedures on interesting theories is welcome!network: freenode – irc2go: ##smt 4 users – 117 minutes ago – Welcome, this channel is supposed to gather ideas, projects and people interested in science, engineering, ask and maybe someone will help or debate Feel Free to invite new guests that could find this interesting %%%% NEWS: Siliccon Quantum Chip READY! https://www.sciencealert.com/newdesigncompletesiliconprocessorquantumcomputernetwork: freenode – irc2go: ##raskolnikov 66 users – 117 minutes ago – Computer Science & Discrete Math  DON'T ASK TO ASK, JUST ASK!  For math: #math, stats: ##statistics, programming: ##programming  CS StackExchange: http://cs.stackexchange.com/ CS Research: http://cstheory.stackexchange.com/  Algorithm of the $(TIME): http://en.wikipedia.org/wiki/Shor%27s_algorithmnetwork: freenode – irc2go: ##cs

 
